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 1299-1303
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1298-1298	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 1312-1312	Paved runway is a subclass of runway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1493-1493	Unpaved runway is a subclass of runway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50625-50625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50624-50624
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50623-50623

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1324-1329	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 1331-1336	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 1305-1310	If a physical is an instance of runway, then there exists an entity such that the entity is an instance of length measure and the length of the physical is the entity

consequent

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

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