| Lamb(lamb)
| | Persian_lamb, hog, hogg, hogget, lamb, teg |
| appearance as argument number 1 |
|
|
| (documentation Lamb EnglishLanguage "A young Sheep, i.e. a Sheep that is NonFullyFormed.") | Mid-level-ontology.kif 21273-21273 | |
| (externalImage Lamb "http://articulatesoftware.com/SUMOpictures/animals/ L/ lamb_1.png") | pictureList.kif 548-548 | |
| (subclass Lamb Sheep) | Mid-level-ontology.kif 21272-21272 | Lamb is a subclass of sheep |
| appearance as argument number 2 |
|
|
| (meatOfAnimal LambMeat Lamb) | Economy.kif 5165-5165 | Lamb meat is the meat of lamb |
| (termFormat ChineseLanguage Lamb "羔羊") | domainEnglishFormat.kif 33197-33197 | Lamb meat is the meat of lamb |
| (termFormat ChineseTraditionalLanguage Lamb "羔羊") | domainEnglishFormat.kif 33196-33196 | Lamb meat is the meat of lamb |
| (termFormat EnglishLanguage Lamb "lamb") | domainEnglishFormat.kif 33195-33195 | Lamb meat is the meat of lamb |
| antecedent |
|
|
| (<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 21275-21279 | An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object |
| consequent |
|
|
| (=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Lambskin) (subclass ?O Skin)) (initialPart ?O Lamb)) |
Economy.kif 5251-5256 |
|
| (=> (attribute ?S Udhiyah) (exists (?UR) (and (instance ?S Lamb) (instance ?UR UdhiyahRitual) (patient ?UR ?S)))) |
ArabicCulture.kif 259-265 |
|
|
|
|