GroupOfAnimals(group of animals) | animal_group, caste, cloud, clowder, colony, field, gam, herd, infestation, pack, plague, pod, pride, remuda, school, shoal, swarm, wolf_pack |
appearance as argument number 1 |
(documentation GroupOfAnimals EnglishLanguage "Any Group which contains exclusively non-human members.") | Mid-level-ontology.kif 7695-7696 | |
(subclass GroupOfAnimals Group) | Mid-level-ontology.kif 7694-7694 | Group of animals is a subclass of group |
appearance as argument number 2 |
(subclass AnimalTeam GroupOfAnimals) | Mid-level-ontology.kif 7732-7732 | Animal team is a subclass of group of animals |
(subclass Brood GroupOfAnimals) | Mid-level-ontology.kif 7707-7707 | Brood is a subclass of group of animals |
(termFormat ChineseLanguage GroupOfAnimals "一群动物") | domainEnglishFormat.kif 26837-26837 | Brood is a subclass of group of animals |
(termFormat ChineseTraditionalLanguage GroupOfAnimals "一群動物") | domainEnglishFormat.kif 26836-26836 | Brood is a subclass of group of animals |
(termFormat EnglishLanguage GroupOfAnimals "group of animals") | domainEnglishFormat.kif 26835-26835 | Brood is a subclass of group of animals |
antecedent |
(=> (instance ?GROUP GroupOfAnimals) (forall (?MEMBER) (=> (member ?MEMBER ?GROUP) (and (instance ?MEMBER Animal) (not (instance ?MEMBER Human)))))) |
Mid-level-ontology.kif 7698-7705 |
|