Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Potter
Potter

appearance as argument number 1
-------------------------


(documentation Potter EnglishLanguage "Any occupation that involves the creation of Pottery.") Mid-level-ontology.kif 22482-22482
(instance Potter OccupationalTrade) Mid-level-ontology.kif 22481-22481 Potter est une instance de OccupationalTrade

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Potter "制陶工人") domainEnglishFormat.kif 46912-46912
(termFormat ChineseTraditionalLanguage Potter "製陶工人") domainEnglishFormat.kif 46911-46911
(termFormat EnglishLanguage Potter "potter") domainEnglishFormat.kif 46910-46910

antecedent
-------------------------


(=>
    (attribute ?H Potter)
    (exists (?M ?P)
        (and
            (instance ?P Pottery)
            (instance ?M Making)
            (agent ?M ?H)
            (result ?M ?P))))
Mid-level-ontology.kif 22484-22491


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners