AnimalTeam - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AnimalTeam EnglishLanguage "A GroupOfAnimals which are Pulling something.")	Mid-level-ontology.kif 7206-7206
(subclass AnimalTeam GroupOfAnimals)	Mid-level-ontology.kif 7205-7205

appearance as argument number 2

(termFormat ChineseLanguage AnimalTeam "动物团队")	domainEnglishFormat.kif 7637-7637
(termFormat ChineseTraditionalLanguage AnimalTeam "動物團隊")	domainEnglishFormat.kif 7636-7636
(termFormat EnglishLanguage AnimalTeam "animal team")	domainEnglishFormat.kif 7635-7635

antecedent

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

Mid-level-ontology.kif 7207-7212