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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlantLeaf

Sigma KEE - PlantLeaf
PlantLeaf

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9470-9471
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9469-9469 PlantLeaf器官subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9468-9468 PlantLeaf植物解剖结构subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65324-65324

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6438-6438 sheddingLeaves 的 2 数量 是 PlantLeafinstance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6548-6553
No TPTP formula. May not be expressible in strict first order. Geography.kif 6393-6404
No TPTP formula. May not be expressible in strict first order. Economy.kif 4239-4243
No TPTP formula. May not be expressible in strict first order. Economy.kif 4214-4218

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9561-9574


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