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 子類 植物物質 and BodySubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8670-8670 子類 生物鹼 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 9246-9246 子類 纖維素 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 20426-20426 子類 乾草 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 9258-9258 子類 花蜜 and 植物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9371-9371 子類 鴉片 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 4594-4594 子類 PlantWicker and 植物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9207-9207 子類 橡膠 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 9189-9189 子類 木 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 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