![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Sheepskin
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sheepskin Pelt) | Economy.kif 5397-5397 | Sheepskin is a subclass of pelt |
| (documentation Sheepskin EnglishLanguage "A Pelt of hide made from the Skin of a Sheep.") | Economy.kif 5398-5398 | Sheepskin is a subclass of pelt |
| (externalImage Sheepskin "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Sheep_%28edited_version%29.jpg") | pictureList.kif 6848-6848 | Sheepskin is a subclass of pelt |
| (externalImage Sheepskin "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Denim.jpg") | pictureList.kif 7831-7831 | Sheepskin is a subclass of pelt |
| (externalImage Sheepskin "http://upload.wikimedia.org/wikipedia/commons/ f/ ff/ Parchment_from_goatskin.jpg") | pictureList.kif 11809-11809 | Sheepskin is a subclass of pelt |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep)) |
Economy.kif 5400-5405 | If equal X and Object made from Y, X is a subclass of sheepskin, and Y is a subclass of skin, then every Y is initially part of a sheep |