TreeView Knowledge Base Browser

appearance as argument number 1

(instance Potter OccupationalTrade)	Mid-level-ontology.kif 23106-23106	Potter is an instance of occupational trade
(documentation Potter EnglishLanguage "Any occupation that involves the creation of Pottery.")	Mid-level-ontology.kif 23107-23107	Potter is an instance of occupational trade

appearance as argument number 2

(termFormat EnglishLanguage Potter "potter")	domainEnglishFormat.kif 46903-46903
(termFormat ChineseTraditionalLanguage Potter "製陶工人")	domainEnglishFormat.kif 46904-46904
(termFormat ChineseLanguage Potter "制陶工人")	domainEnglishFormat.kif 46905-46905

antecedent

(=>
    (attribute ?H Potter)
    (exists (?M ?P)
        (and
            (instance ?P Pottery)
            (instance ?M Making)
            (agent ?M ?H)
            (result ?M ?P))))

If potter is an attribute of X, then there exist Y, Z such that Z is an instance of pottery, Y is an instance of making, X is an agent of Y, and Z is a result of Y