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 19864-19864
(instance Potter OccupationalTrade) Mid-level-ontology.kif 19863-19863

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


(termFormat ChineseLanguage Potter "制陶工人") domainEnglishFormat.kif 46893-46893
(termFormat ChineseTraditionalLanguage Potter "製陶工人") domainEnglishFormat.kif 46892-46892
(termFormat EnglishLanguage Potter "potter") domainEnglishFormat.kif 46891-46891

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


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


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