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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plant
Plant(植物)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3379-3380
No TPTP formula. May not be expressible in strict first order. Merge.kif 14400-14402
No TPTP formula. May not be expressible in strict first order. pictureList.kif 875-875
No TPTP formula. May not be expressible in strict first order. pictureList.kif 151-151
No TPTP formula. May not be expressible in strict first order. Merge.kif 14399-14399 植物生物subclass

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3353-3353 PlantFn 的所得值 是 植物subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14404-14404 开花植物植物subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14408-14408 无花植物植物subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 965-965
No TPTP formula. May not be expressible in strict first order. english_format.kif 1137-1137
No TPTP formula. May not be expressible in strict first order. french_format.kif 642-642
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 173-173
No TPTP formula. May not be expressible in strict first order. terms-it.txt 176-176
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2326-2326
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 594-594
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 178-178
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 210-210
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 663-663
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 177-177

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6437-6437 sheddingLeaves 的 1 数量 是 植物instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8166-8166 栽种于 的 1 数量 是 植物subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6189-6189 植被类型 的 2 数量 是 植物subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6218-6218 植被类型模式 的 2 数量 是 植物subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14357-14357 生物 详尽无遗地 partition动物, 植物, 菌类, 和 微生物

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8154-8162
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9561-9574
No TPTP formula. May not be expressible in strict first order. Geography.kif 6201-6209
No TPTP formula. May not be expressible in strict first order. Geography.kif 6191-6199
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20516-20518

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20066-20072
No TPTP formula. May not be expressible in strict first order. naics.kif 50-72
No TPTP formula. May not be expressible in strict first order. Merge.kif 15011-15016
No TPTP formula. May not be expressible in strict first order. Merge.kif 14827-14832
No TPTP formula. May not be expressible in strict first order. Economy.kif 4214-4218
No TPTP formula. May not be expressible in strict first order. Economy.kif 4809-4818
No TPTP formula. May not be expressible in strict first order. Geography.kif 6603-6605
No TPTP formula. May not be expressible in strict first order. Economy.kif 5191-5202
No TPTP formula. May not be expressible in strict first order. Food.kif 299-306


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