Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BirdEgg(bird egg)
|  | Easter_egg, albumen, baked_egg, boiled_egg, coddled_egg, deviled_egg, dropped_egg, egg, egg_en_cocotte, egg_white, eggs, fried_egg, hard-boiled_egg, hard-cooked_egg, ovalbumin, poached_egg, shirred_egg, stuffed_egg, white |
| appearance as argument number 1 |
|
|
| (subclass BirdEgg Egg) | Mid-level-ontology.kif 26355-26355 | Bird egg is a subclass of egg |
| (documentation BirdEgg EnglishLanguage "Any Egg that is produced by a Bird.") | Mid-level-ontology.kif 26356-26356 | Bird egg is a subclass of egg |
| (externalImage BirdEgg "http://upload.wikimedia.org/wikipedia/commons/9/ 9e/ Senegal_egg_10s06.JPG") | pictureList.kif 1659-1659 | Bird egg is a subclass of egg |
| (externalImage BirdEgg "http://upload.wikimedia.org/wikipedia/en/3/36/Murre_Eggs.jpg") | pictureList.kif 2112-2112 | Bird egg is a subclass of egg |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?E BirdEgg) (exists (?SR ?B) (and (instance ?SR SexualReproduction) (agent ?SR ?B) (instance ?B Bird) (result ?SR ?E)))) |
Mid-level-ontology.kif 26358-26365 | If X is an instance of bird egg, then there exist Y, Z such that Y is an instance of sexual reproduction, Z is an agent of Y, Z is an instance of bird, and X is a result of Y |
|