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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pottery

Sigma KEE - Pottery
Pottery

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


(documentation Pottery EnglishLanguage "Household Artifacts that are made out of baked Clay.") Mid-level-ontology.kif 3602-3602
(externalImage Pottery "http://upload.wikimedia.org/wikipedia/commons/5/ 50/ KinjoPot1656.jpg") pictureList.kif 4802-4802
(subclass Pottery Artifact) Mid-level-ontology.kif 3601-3601

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


(termFormat ChineseLanguage Pottery "陶器") domainEnglishFormat.kif 46898-46898
(termFormat ChineseTraditionalLanguage Pottery "陶器") domainEnglishFormat.kif 46897-46897
(termFormat EnglishLanguage Pottery "pottery") domainEnglishFormat.kif 46896-46896

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


(=>
    (instance ?POTTERY Pottery)
    (exists (?CLAY)
        (and
            (instance ?CLAY Clay)
            (part ?CLAY ?POTTERY))))
Mid-level-ontology.kif 3604-3609

consequent
-------------------------


(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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