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