Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Chicken Poultry) Mid-level-ontology.kif 22474-22474 Chicken is a subclass of poultry
(documentation Chicken EnglishLanguage "A subclass of Bird that is raised for its meat and for its eggs.") Mid-level-ontology.kif 22475-22476 Chicken is a subclass of poultry
(externalImage Chicken "http://articulatesoftware.com/SUMOpictures/holiday/ easter/ chicken.png") pictureList.kif 338-338 Chicken is a subclass of poultry

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


(subclass Hen Chicken) Mid-level-ontology.kif 22478-22478 Hen is a subclass of chicken
(subclass Rooster Chicken) Mid-level-ontology.kif 22487-22487 Rooster is a subclass of chicken
(meatOfAnimal ChickenMeat Chicken) Mid-level-ontology.kif 22612-22612 Chicken meat is the meat of chicken
(termFormat EnglishLanguage Chicken "chicken") domainEnglishFormat.kif 14418-14418 Chicken meat is the meat of chicken
(termFormat ChineseTraditionalLanguage Chicken "雞") domainEnglishFormat.kif 14419-14419 Chicken meat is the meat of chicken
(termFormat ChineseLanguage Chicken "鸡") domainEnglishFormat.kif 14420-14420 Chicken meat is the meat of chicken

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


(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 22481-22485 X is an instance of hen if, only if X is an instance of chicken, and female is an attribute of X
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 22490-22494 X is an instance of rooster if, only if X is an instance of chicken, and male is an attribute of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners