PavedRunway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PavedRunway

PavedRunway(paved runway)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1629-1629	Paved runway is disjoint from unpaved runway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1385-1386	Paved runway is disjoint from unpaved runway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1384-1384	Paved runway is a subclass of runway

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44846-44846
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44845-44845
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44844-44844

antecedent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 1388-1394

If a self connected object is an instance of paved runway and another self connected object is a surface of the self connected object,
then the other self connected object is an instance of asphalt or the other self connected object is an instance of concrete

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 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 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 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