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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirportWithPavedRunway
AirportWithPavedRunway(airport with paved runway)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1342-1344
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2089-2089
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1632-1632
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2088-2088
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2086-2086
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1341-1341 Airport with paved runway is an instance of airport by runway surface

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6257-6257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6256-6256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6255-6255

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


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 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 3.0 is open source software produced by Articulate Software and its partners