From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/Communications.gf | 157 ---------------------------------------- 1 file changed, 157 deletions(-) delete mode 100644 examples/SUMO/Communications.gf (limited to 'examples/SUMO/Communications.gf') diff --git a/examples/SUMO/Communications.gf b/examples/SUMO/Communications.gf deleted file mode 100644 index 64c735611..000000000 --- a/examples/SUMO/Communications.gf +++ /dev/null @@ -1,157 +0,0 @@ -abstract Communications = MidLevelOntology, Geography ** { - - -- An AMRadioStation is an - -- engineeringSubcomponent of an AMRadioSystem. - fun AMRadioStation : Class ; - fun AMRadioStation_Class : SubClass AMRadioStation RadioStation ; - - -- An AMRadioSystem consists of Radios, - -- AMRadioStations, and other components that work together to make - -- AM radio broadcasting possible in a given area. - fun AMRadioSystem : Class ; - fun AMRadioSystem_Class : SubClass AMRadioSystem RadioSystem ; - - -- An ArtificialSatellite is a Device - -- that orbits the earth in space and performs various functions such as - -- aiding in communication, photographing the earth's surface, and others. - fun ArtificialSatellite : Class ; - fun ArtificialSatellite_Class : SubClass ArtificialSatellite (both EngineeringComponent Satellite) ; - - -- A BroadcastingStation is - -- an engineeringSubcomponent of either a TelevisionSystem or - -- a RadioStation. - fun BroadcastingStation : Class ; - fun BroadcastingStation_Class : SubClass BroadcastingStation (both CommunicationDevice (both EngineeringComponent StationaryArtifact)) ; - - -- A CableTelevisionSystem - -- is a CommunicationSystem for cable television. - fun CableTelevisionSystem : Class ; - fun CableTelevisionSystem_Class : SubClass CableTelevisionSystem CommunicationSystem ; - - -- Relatively low power broadcasting - -- devices designed for voice communication among specialized groups - -- in which each receiver also has the power to transmit, unlike - -- broadcast radio where most components transmitting or receiving on - -- a given frequency or set of frequencies are receivers only. This - -- includes unlicensed walkie_talkies, public safety radios, military - -- communication systems and CB radios. - fun CommunicationRadio : Class ; - fun CommunicationRadio_Class : SubClass CommunicationRadio CommunicationDevice ; - - -- A CommunicationSatellite is an - -- ArtificialSatellite that serves as one engineeringSubcomponent of a - -- CommunicationSystem. - fun CommunicationSatellite : Class ; - fun CommunicationSatellite_Class : SubClass CommunicationSatellite (both ArtificialSatellite CommunicationDevice) ; - - -- An Eutelsat is one type of - -- CommunicationSatellite. - fun Eutelsat : Class ; - fun Eutelsat_Class : SubClass Eutelsat CommunicationSatellite ; - - -- A FMRadioStation is an - -- engineeringSubcomponent of an FMRadioSystem. - fun FMRadioStation : Class ; - fun FMRadioStation_Class : SubClass FMRadioStation RadioStation ; - - -- A FMRadioSystem consists of Radios, - -- FMRadioStations, and other components that work together to make - -- FM radio broadcasting possible in a given area. - fun FMRadioSystem : Class ; - fun FMRadioSystem_Class : SubClass FMRadioSystem RadioSystem ; - - -- An Inmarsat is one type of - -- CommunicationSatellite. - fun Inmarsat : Class ; - fun Inmarsat_Class : SubClass Inmarsat CommunicationSatellite ; - - -- An Intelsat is one type of - -- CommunicationSatellite. - fun Intelsat : Class ; - fun Intelsat_Class : SubClass Intelsat CommunicationSatellite ; - - -- The Internet is a CommunicationSystem - -- for the rapid delivery of information between computers. - fun Internet : Ind CommunicationSystem ; - - -- An InternetServiceProvider serves as an engineeringSubcomponent of - -- the Internet for a given area. - fun InternetServiceProvider : Class ; - fun InternetServiceProvider_Class : SubClass InternetServiceProvider CommunicationSystem ; - - -- An InternetUser is an individual who - -- uses the Internet. - fun InternetUser : Ind SocialRole ; - - -- An Intersputnik is one type of - -- CommunicationSatellite. - fun Intersputnik : Class ; - fun Intersputnik_Class : SubClass Intersputnik CommunicationSatellite ; - - -- A MainTelephoneLine is one - -- engineeringSubcomponent of a TelephoneSystem used for voice communication - -- or computer data transfer. - fun MainTelephoneLine : Class ; - fun MainTelephoneLine_Class : SubClass MainTelephoneLine CommunicationDevice ; - - -- A Telephone that can be used without - -- connection to a MainTelephoneLine. - fun MobileCellPhone : Class ; - fun MobileCellPhone_Class : SubClass MobileCellPhone Telephone ; - - -- An Orbita is one type of - -- CommunicationSatellite. - fun Orbita : Class ; - fun Orbita_Class : SubClass Orbita CommunicationSatellite ; - - -- A RadioStation is an - -- engineeringSubcomponent of a RadioSystem. - fun RadioStation : Class ; - fun RadioStation_Class : SubClass RadioStation BroadcastingStation ; - - -- A RadioSystem consists of Radios, - -- RadioStations, and other components that work together to make - -- radio broadcasting possible in a given area. - fun RadioSystem : Class ; - fun RadioSystem_Class : SubClass RadioSystem CommunicationSystem ; - - -- A ShortwaveRadioStation - -- is an engineeringSubcomponent of a ShortwaveRadioSystem. - fun ShortwaveRadioStation : Class ; - fun ShortwaveRadioStation_Class : SubClass ShortwaveRadioStation RadioStation ; - - -- A ShortwaveRadioSystem consists - -- of Radios, ShortwaveRadioStations, and other components that work - -- together to make shortwave radio broadcasting possible in a given area. - fun ShortwaveRadioSystem : Class ; - fun ShortwaveRadioSystem_Class : SubClass ShortwaveRadioSystem RadioSystem ; - - -- A TelephoneSystem consists of a complete - -- interconnection of Telephones, MainTelephoneLines, and other components - -- that work together to make telephonic communication possible from point to - -- point in a given area. - fun TelephoneSystem : Class ; - fun TelephoneSystem_Class : SubClass TelephoneSystem CommunicationSystem ; - - -- A TelevisionStation is an - -- engineeringSubcomponent of a TelevisionSystem. - fun TelevisionStation : Class ; - fun TelevisionStation_Class : SubClass TelevisionStation BroadcastingStation ; - - -- A system for Broadcasting and - -- receiving television signals. - fun TelevisionSystem : Class ; - fun TelevisionSystem_Class : SubClass TelevisionSystem CommunicationSystem ; - - -- The expression - -- (communicationSatelliteForArea ?AREA ?SATELLITE ?INTEGER) means that - -- ?INTEGER number of CommunicationSatellites of the type ?SATELLITE serve - -- as an engineeringSubcomponent of a TelephoneSystem of the GeopoliticalArea ?AREA. - fun communicationSatelliteForArea: El GeopoliticalArea -> Desc Satellite -> El Integer -> Formula ;-- replaced-- - - -- (internetCountryCode ?AREA ?CODE) - -- relates a GeopoliticalArea to the SymbolicString ?CODE used to - -- identify the ?AREA on internet websites. - fun internetCountryCode : El GeopoliticalArea -> El SymbolicString -> Formula ; - -} -- cgit v1.2.3