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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirportClassification

 Sigma KEE - AirportClassification
AirportClassification(airport classification)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1339-1345
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1629-1629
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1338-1338 Airport classification is a subclass of relational attribute

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1347-1347 Airport by runway surface is a subclass of airport classification
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1380-1380 CIA airport length classification is a subclass of airport classification
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6234-6234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6233-6233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6232-6232


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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