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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vegetable

 Sigma KEE - Vegetable
Vegetable(蔬菜)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4211-4212
No TPTP formula. May not be expressible in strict first order. Economy.kif 4207-4207
No TPTP formula. May not be expressible in strict first order. Economy.kif 4206-4206 子類 蔬菜 and FruitOrVegetable

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6197-6197 蔬菜 是 蔬菜種植 的 industry 產品類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 4234-4234 子類 捲心菜 and 蔬菜
No TPTP formula. May not be expressible in strict first order. Economy.kif 4262-4262 子類 菜花 and 蔬菜
No TPTP formula. May not be expressible in strict first order. Food.kif 2425-2425 子類 Celery and 蔬菜
No TPTP formula. May not be expressible in strict first order. Economy.kif 4220-4220 子類 黃瓜 and 蔬菜
No TPTP formula. May not be expressible in strict first order. Economy.kif 4271-4271 子類 茄子 and 蔬菜
No TPTP formula. May not be expressible in strict first order. Economy.kif 4464-4464 子類 生薑 and 蔬菜
No TPTP formula. May not be expressible in strict first order. Economy.kif 4210-4210 子類 綠葉蔬菜 and 蔬菜
No TPTP formula. May not be expressible in strict first order. Economy.kif 4333-4333 子類 南瓜屬 and 蔬菜
No TPTP formula. May not be expressible in strict first order. Economy.kif 4334-4334 子類 甜菜 and 蔬菜
No TPTP formula. May not be expressible in strict first order. Economy.kif 4352-4352 子類 甘蔗 and 蔬菜
No TPTP formula. May not be expressible in strict first order. Economy.kif 4332-4332 子類 甜椒 and 蔬菜
No TPTP formula. May not be expressible in strict first order. Food.kif 3647-3647 子類 WaterChestnut and 蔬菜
No TPTP formula. May not be expressible in strict first order. Food.kif 3649-3649 子類 Zucchini and 蔬菜
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61306-61306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61305-61305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61304-61304


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