TreeView Knowledge Base Browser

appearance as argument number 1

(subclass CriminalGang GroupOfPeople)	Mid-level-ontology.kif 17704-17704	Criminal gang is a subclass of group of people
(documentation CriminalGang EnglishLanguage "A GroupOfPeople which exists (partially or wholly) for the purpose of CriminalAction.")	Mid-level-ontology.kif 17705-17706	Criminal gang is a subclass of group of people

appearance as argument number 2

(termFormat EnglishLanguage CriminalGang "criminal gang")	domainEnglishFormat.kif 17844-17844
(termFormat ChineseTraditionalLanguage CriminalGang "犯罪團伙")	domainEnglishFormat.kif 17845-17845
(termFormat ChineseLanguage CriminalGang "犯罪团伙")	domainEnglishFormat.kif 17846-17846

antecedent

(=>
    (instance ?G CriminalGang)
    (hasPurpose ?G
        (exists (?A)
            (and
                (instance ?A CriminalAction)
                (agent ?A ?G)))))

If X is an instance of criminal gang, then X has the purpose there exists Y such that Y is an instance of criminal action and X is an agent of Y