Airport - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Airport

Airport(airport)

aerodrome, air_terminal, airdrome, airfield, airport, airport_terminal, airstrip, drome, field, flight_strip, flying_field, landing_field, landing_strip, strip

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1268-1269
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1627-1627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2080-2080
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1022-1022
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1266-1266	Airport is a subclass of air transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1267-1267	Airport is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1265-1265	Airport is a subclass of transit terminal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2768-2768	Military airport is a subclass of airport
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6231-6231	Military airport is a subclass of airport
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6230-6230	Military airport is a subclass of airport
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6229-6229	Military airport is a subclass of airport

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1295-1295	The number 1 argument of number of aprons is an instance of airport
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1437-1437	The number 1 argument of number of runways is an instance of airport
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1454-1454	The number 1 argument of number of taxiways is an instance of airport

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1486-1493	If an object is an instance of airport and airport with paved runway is an attribute of the object, then there exists another object such that the other object is an instance of paved runway and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1500-1507	If an object is an instance of airport and airport with unpaved runway is an attribute of the object, then there exists another object such that the other object is an instance of unpaved runway and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1574-1586	If an object is an instance of airport and long runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 2438 or the real number is less than or equal to 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1555-1567	If an object is an instance of airport and medium length runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 1524 or the real number is less than or equal to 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1536-1548	If an object is an instance of airport and short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 914 or the real number is less than or equal to 1523
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1593-1603	If an object is an instance of airport and very long runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1520-1529	If an object is an instance of airport and very short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is less than 914
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3155-3157	If an object is an instance of airport, then airplane is a trafficable for traffic type of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1349-1359	A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if there exist a symbolic string and an entity such that the nonnegative integer is a cardinality of the class described by the symbolic string
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1611-1620	If a geographic area is total facility type in area the class corresponding to airport with unpaved runway for a nonnegative integer and the nonnegative integer is greater than 0, then there exist an object and another object such that the object is an instance of airport and the other object is an instance of unpaved runway and the other object is a part of the object and the object is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1275-1280	If a physical is an instance of airport apron, then there exists an object such that the object is an instance of airport and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1311-1316	If a physical is an instance of airport staging area, then there exists an object such that the object is an instance of airport and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2869-2874	If an entity is an instance of secure airfield, then there exists an object such that the object is an instance of airport and militarily secure is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2082-2091	If a process is an instance of airport shuttle, then there exist an object and another process such that the object is an instance of airport and the other process is a subprocess of the process and the other process is an instance of transportation and the other process ends up at the object or the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1414-1419	If a physical is an instance of taxiway, then there exists an object such that the object is an instance of airport and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1361-1368	If a geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer, then there exist an object and another object such that the object is an instance of airport and the other object is an instance of paved runway and the other object is a part of the object and the object is located at the geographic area

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners