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 蔬菜 是 水果或蔬菜 的 subclass

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 卷心菜 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4262-4262 菜花 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2425-2425 Celery 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4220-4220 黄瓜 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4271-4271 茄子 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4464-4464 生姜 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4210-4210 绿叶蔬菜 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4333-4333 南瓜屬 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4334-4334 甜菜 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4352-4352 甘蔗 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4332-4332 甜椒 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3647-3647 WaterChestnut 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3649-3649 Zucchini 是 蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61304-61304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61303-61303
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61302-61302


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