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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VolcanicCone
VolcanicCone(volcanic cone)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4088-4090
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3027-3027
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3269-3269
No TPTP formula. May not be expressible in strict first order. Geography.kif 4085-4085 Volcanic cone is a subclass of hill
No TPTP formula. May not be expressible in strict first order. Geography.kif 4086-4086 Volcanic cone is a subclass of volcano

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61887-61887
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61886-61886
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61885-61885


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