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 植物物质 是 身体物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8643-8643 生物碱 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 6236-6236 AloeveraGel 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9219-9219 纤维素 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4687-4687 可可豆 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2310-2310 FleshOrPulp 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20399-20399 干草 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2153-2153 Herb 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9231-9231 花蜜 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9344-9344 鸦片 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2296-2296 PeelOrRind 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4599-4599 PlantWicker 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9180-9180 橡胶 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4707-4707 茶树空中部分 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9162-9162 木 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5226-5226 WoodProduct 是 植物物质 的 subclass
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