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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Pelt
Pelt

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


(documentation Pelt EnglishLanguage "Pelt is the subclass of AnimalProduct that comprises the pelts or hides of animals that are used in the manufacture of wearable or household items.") Economy.kif 5370-5371
(externalImage Pelt "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Fur_redfox.jpg") pictureList.kif 10184-10184
(subclass Pelt AnimalProduct) Economy.kif 5367-5367

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


(names "hide" Pelt) Economy.kif 5369-5369
(names "pelt" Pelt) Economy.kif 5368-5368
(subclass Lambskin Pelt) Economy.kif 5379-5379
(subclass Sheepskin Pelt) Economy.kif 5389-5389
(termFormat ChineseLanguage Pelt "毛皮") domainEnglishFormat.kif 44978-44978
(termFormat ChineseTraditionalLanguage Pelt "毛皮") domainEnglishFormat.kif 44977-44977
(termFormat EnglishLanguage Pelt "pelt") domainEnglishFormat.kif 44976-44976

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


(=>
    (and
        (equal ?P
            (OrganicObjectFn ?S))
        (subclass ?P Pelt))
    (subclass ?S Skin))
Economy.kif 5373-5377


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