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 14846-14847
No TPTP formula. May not be expressible in strict first order. Merge.kif 14845-14845 子類 植物物質 and BodySubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8642-8642 子類 生物鹼 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 9218-9218 子類 纖維素 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 20398-20398 子類 乾草 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 9230-9230 子類 花蜜 and 植物物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9343-9343 子類 鴉片 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 9179-9179 子類 橡膠 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 9161-9161 子類 木 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 14849-14854


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