| 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 8639-8640 | |
| (subclass GroupOfAnimals Group) | Mid-level-ontology.kif 8638-8638 | Group of animals is a subclass of group |
| appearance as argument number 2 |
|
|
| (subclass AnimalTeam GroupOfAnimals) | Mid-level-ontology.kif 8676-8676 | Animal team is a subclass of group of animals |
| (subclass Brood GroupOfAnimals) | Mid-level-ontology.kif 8651-8651 | Brood is a subclass of group of animals |
| (termFormat ChineseLanguage GroupOfAnimals "一群动物") | domainEnglishFormat.kif 26818-26818 | Brood is a subclass of group of animals |
| (termFormat ChineseTraditionalLanguage GroupOfAnimals "一群動物") | domainEnglishFormat.kif 26817-26817 | Brood is a subclass of group of animals |
| (termFormat EnglishLanguage GroupOfAnimals "group of animals") | domainEnglishFormat.kif 26816-26816 | Brood is a subclass of group of animals |
| antecedent |
|
|
| (=> (and (instance ?GROUP GroupOfAnimals) (member ?MEMBER ?GROUP)) (and (instance ?MEMBER Animal) (not (instance ?MEMBER Human)))) |
Mid-level-ontology.kif 8642-8649 |
|
|
|
|