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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cave

 Sigma KEE - Cave
Cave(洞穴)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6015-6018
No TPTP formula. May not be expressible in strict first order. pictureList.kif 852-852
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 629-629
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 628-628
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 627-627
No TPTP formula. May not be expressible in strict first order. Geography.kif 6013-6013 洞穴 是 地理区域 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6012-6012 洞穴 是 洞 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13542-13542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13541-13541
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13540-13540

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6060-6065
No TPTP formula. May not be expressible in strict first order. Geography.kif 6020-6025
No TPTP formula. May not be expressible in strict first order. Geography.kif 6053-6058


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