TreeView Knowledge Base Browser - Airport

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 2081-2081
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.	domainEnglishFormat.kif 6222-6222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6221-6221
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6220-6220

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1357-1364	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 1371-1378	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 1445-1457	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 1426-1438	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 1407-1419	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 1464-1474	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 1391-1400	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 2624-2626	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 1277-1287	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 1482-1491	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.	Hotel.kif 2071-2080	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 1289-1296	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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