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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeafyGreenVegetable

 Sigma KEE - LeafyGreenVegetable
LeafyGreenVegetable(绿叶蔬菜)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1440-1440
No TPTP formula. May not be expressible in strict first order. Economy.kif 4210-4210 绿叶蔬菜 是 蔬菜 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2121-2121 Arugula 是 绿叶蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2564-2564 Endive 是 绿叶蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2619-2619 Lettuce 是 绿叶蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3321-3321 Radicchio 是 绿叶蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3334-3334 RomaineLettuce 是 绿叶蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3474-3474 Spinach 是 绿叶蔬菜 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33671-33671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33670-33670
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33669-33669

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4214-4218


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