Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PavedRunway
PavedRunway(paved runway)paved_runway, 鋪好的跑道, 铺好的跑道

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1485-1485 Paved runway is disjoint from unpaved runway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1302-1303
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1301-1301 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 44767-44767 "铺好的跑道" is the printable form of paved runway in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44766-44766 "鋪好的跑道" is the printable form of paved runway in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44765-44765 "paved runway" is the printable form of paved runway in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1305-1311

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1266-1276 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 the nonnegative integer is a cardinality of the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1346-1353
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1313-1318
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1320-1325
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1278-1285


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners