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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlantSubstance

 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 14870-14871
No TPTP formula. May not be expressible in strict first order. Merge.kif 14869-14869 植物物质 是 身体物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8670-8670 生物碱 是 植物物质 的 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 9246-9246 纤维素 是 植物物质 的 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 20426-20426 干草 是 植物物质 的 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 9258-9258 花蜜 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9371-9371 鸦片 是 植物物质 的 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 4594-4594 PlantWicker 是 植物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9207-9207 橡胶 是 植物物质 的 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 9189-9189 木 是 植物物质 的 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 46136-46136
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46135-46135
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46134-46134

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14873-14878


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