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 5029-5030
(externalImage Pelt "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Fur_redfox.jpg") pictureList.kif 10186-10186
(subclass Pelt AnimalProduct) Economy.kif 5026-5026 PeltAnimalProductsubclass では %n

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


(names "hide" Pelt) Economy.kif 5028-5028 Pelt は "hide" の name を 持って %n{ない}
(names "pelt" Pelt) Economy.kif 5027-5027 Pelt は "pelt" の name を 持って %n{ない}
(subclass Lambskin Pelt) Economy.kif 5038-5038 LambskinPeltsubclass では %n
(subclass Sheepskin Pelt) Economy.kif 5048-5048 SheepskinPeltsubclass では %n
(termFormat ChineseLanguage Pelt "毛皮") domainEnglishFormat.kif 44976-44976
(termFormat ChineseTraditionalLanguage Pelt "毛皮") domainEnglishFormat.kif 44975-44975
(termFormat EnglishLanguage Pelt "pelt") domainEnglishFormat.kif 44974-44974

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


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


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