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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlantSubstance
PlantSubstance(植物物質)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3475-3475
No TPTP formula. May not be expressible in strict first order. Merge.kif 14824-14825
No TPTP formula. May not be expressible in strict first order. Merge.kif 14823-14823 子類 植物物質 and BodySubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8643-8643 子類 生物鹼 and 植物物質
No TPTP formula. May not be expressible in strict first order. Economy.kif 6236-6236 子類 AloeveraGel and 植物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9219-9219 子類 纖維素 and 植物物質
No TPTP formula. May not be expressible in strict first order. Economy.kif 4687-4687 子類 可可豆 and 植物物質
No TPTP formula. May not be expressible in strict first order. Food.kif 2310-2310 子類 FleshOrPulp and 植物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20399-20399 子類 乾草 and 植物物質
No TPTP formula. May not be expressible in strict first order. Food.kif 2153-2153 子類 Herb and 植物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9231-9231 子類 花蜜 and 植物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9344-9344 子類 鴉片 and 植物物質
No TPTP formula. May not be expressible in strict first order. Food.kif 2296-2296 子類 PeelOrRind and 植物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4599-4599 子類 PlantWicker and 植物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9180-9180 子類 橡膠 and 植物物質
No TPTP formula. May not be expressible in strict first order. Economy.kif 4707-4707 子類 茶樹空中部分 and 植物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9162-9162 子類 木 and 植物物質
No TPTP formula. May not be expressible in strict first order. Economy.kif 5226-5226 子類 WoodProduct and 植物物質
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46134-46134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46133-46133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46132-46132

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14827-14832


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