Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Hen
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Hen Chicken) | Mid-level-ontology.kif 22478-22478 | Hen is a subclass of chicken |
| (documentation Hen EnglishLanguage "A Female Chicken.") | Mid-level-ontology.kif 22479-22479 | Hen is a subclass of chicken |
| (externalImage Hen "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 54/ Light_sussex_hen.jpg/ 300px_Light_sussex_hen.jpg") | pictureList-ImageNet.kif 31-31 | Hen is a subclass of chicken |
| (externalImage Hen "http://upload.wikimedia.org/wikipedia/commons/a/a5/Hen_chicken.jpg") | pictureList-ImageNet.kif 32-32 | Hen is a subclass of chicken |
| (externalImage Hen "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 41/ Groninger_Meeuw_Goudpel_Hen.JPG/ 250px_Groninger_Meeuw_Goudpel_Hen.JPG") | pictureList-ImageNet.kif 33-33 | Hen is a subclass of chicken |
| (externalImage Hen "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Barred_Rock_hen_in_backyard.jpg/ 300px_Barred_Rock_hen_in_backyard.jpg") | pictureList-ImageNet.kif 34-34 | Hen is a subclass of chicken |
| (externalImage Hen "http://articulatesoftware.com/SUMOpictures/animals/birds/ _Miscellaneous/ hen_01.png") | pictureList.kif 499-499 | Hen is a subclass of chicken |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (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 |
|
