| GroupOfAnimals | |
| appearance as argument number 1 |
|
|
| (documentation GroupOfAnimals EnglishLanguage "Any Group which contains exclusively non-human members.") | Mid-level-ontology.kif 8644-8645 | |
| (subclass GroupOfAnimals Group) | Mid-level-ontology.kif 8643-8643 | GroupOfAnimals は グループ の subclass では |
| appearance as argument number 2 |
|
|
| (subclass AnimalTeam GroupOfAnimals) | Mid-level-ontology.kif 8681-8681 | AnimalTeam は GroupOfAnimals の subclass では |
| (subclass Brood GroupOfAnimals) | Mid-level-ontology.kif 8656-8656 | Brood は GroupOfAnimals の subclass では |
| (termFormat ChineseLanguage GroupOfAnimals "一群动物") | domainEnglishFormat.kif 26819-26819 | Brood は GroupOfAnimals の subclass では |
| (termFormat ChineseTraditionalLanguage GroupOfAnimals "一群動物") | domainEnglishFormat.kif 26818-26818 | Brood は GroupOfAnimals の subclass では |
| (termFormat EnglishLanguage GroupOfAnimals "group of animals") | domainEnglishFormat.kif 26817-26817 | Brood は GroupOfAnimals の subclass では |
| antecedent |
|
|
| (=> (instance ?GROUP GroupOfAnimals) (forall (?MEMBER) (=> (member ?MEMBER ?GROUP) (and (instance ?MEMBER Animal) (not (instance ?MEMBER Human)))))) |
Mid-level-ontology.kif 8647-8654 |
|
|
|