AnimalTeam - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AnimalTeam GroupOfAnimals)	Mid-level-ontology.kif 8835-8835	Animal team is a subclass of group of animals
(documentation AnimalTeam EnglishLanguage "A GroupOfAnimals which are Pulling something.")	Mid-level-ontology.kif 8836-8836	Animal team is a subclass of group of animals

appearance as argument number 2

(termFormat EnglishLanguage AnimalTeam "animal team")	domainEnglishFormat.kif 7619-7619
(termFormat ChineseTraditionalLanguage AnimalTeam "動物團隊")	domainEnglishFormat.kif 7620-7620
(termFormat ChineseLanguage AnimalTeam "动物团队")	domainEnglishFormat.kif 7621-7621

antecedent

(=>
    (instance ?AT AnimalTeam)
    (exists (?P)
        (and
            (instance ?P Pulling)
            (agent ?P ?AT))))

If X is an instance of animal team, then there exists Y such that Y is an instance of pulling and X is an agent of Y