GroupOfAnimals | ![]() |
appearance as argument number 1 |
![]() |
(documentation GroupOfAnimals EnglishLanguage "Any Group which contains exclusively non-human members.") | Mid-level-ontology.kif 7187-7188 | |
(subclass GroupOfAnimals Group) | Mid-level-ontology.kif 7186-7186 |
appearance as argument number 2 |
![]() |
(subclass AnimalTeam GroupOfAnimals) | Mid-level-ontology.kif 7224-7224 | |
(subclass Brood GroupOfAnimals) | Mid-level-ontology.kif 7199-7199 | |
(termFormat ChineseLanguage GroupOfAnimals "一群动物") | domainEnglishFormat.kif 26737-26737 | |
(termFormat ChineseTraditionalLanguage GroupOfAnimals "一群動物") | domainEnglishFormat.kif 26736-26736 | |
(termFormat EnglishLanguage GroupOfAnimals "group of animals") | domainEnglishFormat.kif 26735-26735 |
antecedent |
![]() |
(=> (instance ?GROUP GroupOfAnimals) (forall (?MEMBER) (=> (member ?MEMBER ?GROUP) (and (instance ?MEMBER Animal) (not (instance ?MEMBER Human)))))) |
Mid-level-ontology.kif 7190-7197 |
![]() |
![]() |