Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Brood
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Brood GroupOfAnimals) | Mid-level-ontology.kif 8810-8810 | Brood is a subclass of group of animals |
| (documentation Brood EnglishLanguage "A GroupOfAnimals that are all born at the same time and to the same parents.") | Mid-level-ontology.kif 8811-8812 | Brood is a subclass of group of animals |
| (externalImage Brood "http://upload.wikimedia.org/wikipedia/commons/9/9c/ Frog_in_frogspawn.jpg") | pictureList.kif 9916-9916 | Brood is a subclass of group of animals |
| (externalImage Brood "http://upload.wikimedia.org/wikipedia/commons/5/54/ Day_old_chick_black_background.jpg") | pictureList.kif 10554-10554 | Brood is a subclass of group of animals |
| (externalImage Brood "http://upload.wikimedia.org/wikipedia/commons/d/d2/ Chikies_17apr06.jpg") | pictureList.kif 10555-10555 | Brood is a subclass of group of animals |
| (externalImage Brood "http://upload.wikimedia.org/wikipedia/commons/3/37/ Bienenwabe_mit_Eiern_und_Brut_5.jpg") | pictureList.kif 10556-10556 | Brood is a subclass of group of animals |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?BROOD Brood) (member ?MEMBER1 ?BROOD) (member ?MEMBER2 ?BROOD)) (sibling ?MEMBER1 ?MEMBER2)) |
Mid-level-ontology.kif 8814-8819 | If X is an instance of brood, Y is a member of X, and Z is a member of X, then Y is a sibling of Z |
| (=> (instance ?BROOD Brood) (exists (?TIME) (forall (?MEMBER) (=> (member ?MEMBER ?BROOD) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?MEMBER) (equal ?TIME (WhenFn ?BIRTH)))))))) |
Mid-level-ontology.kif 8823-8833 | If X is an instance of brood, then there exists Y such that Z Z is a member of Xthere exists W such that W is an instance of birth, Z experiences W, equal Y, and the time of existence of W |
|
