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

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


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

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


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


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