GroupOfAnimals - Sigma Knowledge base Browser

appearance as argument number 1

(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 8797-8797	Group of animals is a subclass of group
(documentation GroupOfAnimals EnglishLanguage "Any Group which contains exclusively non-human members.")	Mid-level-ontology.kif 8798-8799	Group of animals is a subclass of group

appearance as argument number 2

(subclass Brood GroupOfAnimals)	Mid-level-ontology.kif 8810-8810	Brood is a subclass of group of animals
(subclass AnimalTeam GroupOfAnimals)	Mid-level-ontology.kif 8835-8835	Animal team is a subclass of group of animals
(termFormat EnglishLanguage GroupOfAnimals "group of animals")	domainEnglishFormat.kif 26810-26810	Animal team is a subclass of group of animals
(termFormat ChineseTraditionalLanguage GroupOfAnimals "一群動物")	domainEnglishFormat.kif 26811-26811	Animal team is a subclass of group of animals
(termFormat ChineseLanguage GroupOfAnimals "一群动物")	domainEnglishFormat.kif 26812-26812	Animal team is a subclass of group of animals

antecedent

(=>
    (and
        (instance ?GROUP GroupOfAnimals)
        (member ?MEMBER ?GROUP))
    (and
        (instance ?MEMBER Animal)
        (not
            (instance ?MEMBER Human))))

If X is an instance of group of animals and Y is a member of X, then Y is an instance of animal and Y is not an instance of human