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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plateau
Plateau

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4137-4138
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 731-731
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 732-732
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1215-1215
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 730-730
No TPTP formula. May not be expressible in strict first order. Geography.kif 4135-4135 Plateau e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order. Geography.kif 4136-4136 Plateau e' uma sub-classe de UplandArea

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46226-46226
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46225-46225
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46224-46224

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4140-4144
No TPTP formula. May not be expressible in strict first order. Geography.kif 4146-4152


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