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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chicken

Sigma KEE - Chicken
Chicken(chicken)
Chicken_Little, Dominick, Dominique, Gallus_gallus, Orpington, Rhode_Island_red, chicken, spring_chicken

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20226-20227
No TPTP formula. May not be expressible in strict first order. pictureList.kif 338-338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20225-20225 Chicken is a subclass of poultry

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20373-20373 Chicken meat is the meat of chicken
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20229-20229 Hen is a subclass of chicken
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20238-20238 Rooster is a subclass of chicken
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14418-14418
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14417-14417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14416-14416

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20232-20236 An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20241-20245 An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object


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