Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Lamb
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Lamb Sheep) | Mid-level-ontology.kif 22432-22432 | Lamb is a subclass of sheep |
| (documentation Lamb EnglishLanguage "A young Sheep, i.e. a Sheep that is NonFullyFormed.") | Mid-level-ontology.kif 22433-22433 | Lamb is a subclass of sheep |
| (externalImage Lamb "http://articulatesoftware.com/SUMOpictures/animals/ L/ lamb_1.png") | pictureList.kif 548-548 | Lamb is a subclass of sheep |
| appearance as argument number 2 |
|
|
| (meatOfAnimal LambMeat Lamb) | Economy.kif 5303-5303 | Lamb meat is the meat of lamb |
| (termFormat EnglishLanguage Lamb "lamb") | domainEnglishFormat.kif 33171-33171 | Lamb meat is the meat of lamb |
| (termFormat ChineseTraditionalLanguage Lamb "羔羊") | domainEnglishFormat.kif 33172-33172 | Lamb meat is the meat of lamb |
| (termFormat ChineseLanguage Lamb "羔羊") | domainEnglishFormat.kif 33173-33173 | Lamb meat is the meat of lamb |
| antecedent |
|
|
| (<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 22435-22439 | X is an instance of lamb if, only if X is an instance of sheep, and non fully formed is an attribute of X |
| consequent |
|
|
| (=> (attribute ?S Udhiyah) (exists (?UR) (and (instance ?S Lamb) (instance ?UR UdhiyahRitual) (patient ?UR ?S)))) |
ArabicCulture.kif 259-265 | If udhiyah is an attribute of X, then there exists Y such that X is an instance of lamb, Y is an instance of udhiyah ritual, and X is a patient of Y |
| (=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Lambskin) (subclass ?O Skin)) (initialPart ?O Lamb)) |
Economy.kif 5390-5395 | If equal X and Object made from Y, X is a subclass of lambskin, and Y is a subclass of skin, then every Y is initially part of a lamb |
|
