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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClassIIRailroad

 Sigma KEE - Legume
Legume(豆科植物)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4337-4339
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1441-1441
No TPTP formula. May not be expressible in strict first order. Economy.kif 4336-4336 子類 豆科植物 and FruitOrVegetable

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4831-4831 子類 苜蓿 and 豆科植物
No TPTP formula. May not be expressible in strict first order. Economy.kif 4340-4340 子類 豆 and 豆科植物
No TPTP formula. May not be expressible in strict first order. Economy.kif 4845-4845 子類 苜 and 豆科植物
No TPTP formula. May not be expressible in strict first order. Economy.kif 4348-4348 子類 牛豌豆 and 豆科植物
No TPTP formula. May not be expressible in strict first order. Economy.kif 4347-4347 子類 豌豆 and 豆科植物
No TPTP formula. May not be expressible in strict first order. Economy.kif 4349-4349 子類 脈動 and 豆科植物
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33929-33929
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33928-33928
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33927-33927


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