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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TurkeyBird

 Sigma KEE - TurkeyBird
TurkeyBird(turkey bird)
Meleagris, Meleagris_gallopavo, genus_Meleagris, turkey

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 803-803
No TPTP formula. May not be expressible in strict first order. Economy.kif 4921-4921 Turkey bird is a subclass of poultry

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2047-2047 Turkey meat is the meat of turkey bird
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65626-65626


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