Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AirTransportation
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AirTransportation Transportation) | Mid-level-ontology.kif 19605-19605 | Air transportation is a subclass of transportation |
| (documentation AirTransportation EnglishLanguage "Any instance of Transportation where the instrument is an Aircraft and which is through an AtmosphericRegion.") | Mid-level-ontology.kif 19606-19607 | Air transportation is a subclass of transportation |
| (externalImage AirTransportation "http://articulatesoftware.com/SUMOpictures/ signs_symbol/ BW/ air_transportation.png") | pictureList.kif 211-211 | Air transportation is a subclass of transportation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TRANSPORT AirTransportation) (exists (?CRAFT ?REGION) (and (instance ?CRAFT Aircraft) (instance ?REGION AtmosphericRegion) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?REGION)))) |
Mid-level-ontology.kif 19609-19616 | If X is an instance of air transportation, then there exist Y, Z such that Y is an instance of aircraft, Z is an instance of atmospheric region, Y is an instrument for X, and X is located at Z |
| (=> (and (instance ?T AirTransportation) (path ?T ?P)) (instance ?P AirTransitway)) |
Transportation.kif 1259-1263 | If X is an instance of air transportation and Y is path along which X occurs, then Y is an instance of air transitway |
| consequent |
|
|
| (=> (instance ?FLY FlyingAircraft) (exists (?FLIGHT) (and (instance ?FLIGHT AirTransportation) (subProcess ?FLY ?FLIGHT)))) |
Mid-level-ontology.kif 19729-19734 | If X is an instance of flying, then there exists Y such that Y is an instance of air transportation and X is a subprocess of Y |
| (=> (instance ?CRAFT Aircraft) (capability AirTransportation instrument ?CRAFT)) |
Mid-level-ontology.kif 19742-19744 | If X is an instance of aircraft, then X is capable of doing air transportation as a instrument |
| (=> (instance ?SERVICE AirTransportationService) (exists (?AIRCRAFT ?AIR) (and (instance ?AIR AirTransportation) (subProcess ?AIR ?SERVICE) (instrument ?AIR ?AIRCRAFT) (instance ?AIRCRAFT Aircraft)))) |
Transportation.kif 5042-5049 | If X is an instance of Air Transportation Service, then there exist Y, Z such that Z is an instance of air transportation, Z is a subprocess of X, Y is an instrument for Z, and Y is an instance of aircraft |
|
