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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Volcano

 Sigma KEE - Volcano
Volcano(火山)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4059-4062
No TPTP formula. May not be expressible in strict first order. pictureList.kif 827-827
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3275-3275
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3276-3276
No TPTP formula. May not be expressible in strict first order. Geography.kif 4057-4057 子類 火山 and 土地形式

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4086-4086 子類 火山錐 and 火山
No TPTP formula. May not be expressible in strict first order. Geography.kif 4079-4079 子類 火山 and 火山
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61911-61911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61910-61910
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61909-61909

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1858-1863

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2436-2441
No TPTP formula. May not be expressible in strict first order. Geography.kif 4071-4076


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