Runway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Runway

Runway(runway)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1371-1375
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1370-1370	Runway is a subclass of land transitway

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1384-1384	Paved runway is a subclass of runway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1622-1622	Unpaved runway is a subclass of runway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50635-50635	Unpaved runway is a subclass of runway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50634-50634	Unpaved runway is a subclass of runway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50633-50633	Unpaved runway is a subclass of runway

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1396-1401	If a self connected object is an instance of runway and another self connected object is a surface of the self connected object and the other self connected object is an instance of asphalt, then the self connected object is an instance of paved runway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1403-1408	If a self connected object is an instance of runway and another self connected object is a surface of the self connected object and the other self connected object is an instance of concrete, then the self connected object is an instance of paved runway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1377-1382	If a physical is an instance of runway, then there exists a length measure such that the length measure is an instance of length measure and the length of the physical is the length measure

consequent

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 1421-1428	If a physical is an instance of taxiway, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of runway and the other entity is an instance of airport apron and the physical connects the entity and the other entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1442-1449	If an airport has an integer &umberOfRunways$"Runways", then there exist an object and a collection such that the object is an instance of runway and the object is a part of the airport and the object is a member of the collection and the integer is a member count of the collection

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