Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Sheep HoofedMammal) | Mid-level-ontology.kif 22427-22427 | Sheep is a subclass of hoofed mammal |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 22428-22428 | Sheep is a subclass of domestic animal |
| (documentation Sheep EnglishLanguage "A domesticated HoofedMammal that is bred for its wool and for its meat (known as mutton).") | Mid-level-ontology.kif 22429-22430 | Sheep is a subclass of domestic animal |
| (externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ af/ Sheep_DSC04001.jpg/ 800px_Sheep_DSC04001.jpg") | pictureList-ImageNet.kif 156-156 | Sheep is a subclass of domestic animal |
| (externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 58/ Sheep_looking.jpg/ 800px_Sheep_looking.jpg") | pictureList-ImageNet.kif 157-157 | Sheep is a subclass of domestic animal |
| (externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 47/ Skye_sheep_arjecahn.jpg/ 800px_Skye_sheep_arjecahn.jpg") | pictureList-ImageNet.kif 158-158 | Sheep is a subclass of domestic animal |
| (externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cd/ Sheep_and_goats.jpg/ 800px_Sheep_and_goats.jpg") | pictureList-ImageNet.kif 160-160 | Sheep is a subclass of domestic animal |
| (externalImage Sheep "http://upload.wikimedia.org/wikipedia/en/thumb/4/46/ Sheep_Dog_Show.JPG/ 250px_Sheep_Dog_Show.JPG") | pictureList-ImageNet.kif 161-161 | Sheep is a subclass of domestic animal |
| (externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b3/ Cattle_and_sheep.jpg/ 800px_Cattle_and_sheep.jpg") | pictureList-ImageNet.kif 162-162 | Sheep is a subclass of domestic animal |
| (externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/2/2c/ Flock_of_sheep.jpg") | pictureList.kif 165-165 | Sheep is a subclass of domestic animal |
| (externalImage Sheep "http://articulatesoftware.com/SUMOpictures/cartoon/ animals_2/ sheep.png") | pictureList.kif 724-724 | Sheep is a subclass of domestic animal |
| appearance as argument number 2 |
|
|
| (subclass Lamb Sheep) | Mid-level-ontology.kif 22432-22432 | Lamb is a subclass of sheep |
| (meatOfAnimal Mutton Sheep) | Economy.kif 5308-5308 | Mutton is the meat of sheep |
| (industryProductType SheepFarming Sheep) | Economy.kif 6627-6627 | Sheep is an industry product type of sheep farming |
| (termFormat EnglishLanguage Sheep "sheep") | domainEnglishFormat.kif 52456-52456 | Sheep is an industry product type of sheep farming |
| (termFormat ChineseTraditionalLanguage Sheep "羊") | domainEnglishFormat.kif 52457-52457 | Sheep is an industry product type of sheep farming |
| (termFormat ChineseLanguage Sheep "羊") | domainEnglishFormat.kif 52458-52458 | Sheep is an industry product type of sheep farming |
| antecedent |
|
|
| (=> (and (instance ?M Mutton) (part ?M ?S) (instance ?S Sheep) (age ?S (MeasureFn ?A MonthDuration))) (greaterThanOrEqualTo ?A 12)) |
Economy.kif 5310-5316 | If X is an instance of mutton, X is a part of Y, Y is an instance of sheep, and the age of Y is Z month duration(s), then Z is greater than or equal to 12 |
| consequent |
|
|
| (=> (instance ?W Wool) (exists (?M ?H ?S) (and (instance ?M Making) (result ?M ?W) (resource ?M ?H) (part ?H ?S) (instance ?H Hair) (instance ?S Sheep)))) |
Mid-level-ontology.kif 6524-6533 | If X is an instance of wool, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) X is a result of Y (4) Z is a resource for Y (5) Z is a part of W (6) Z is an instance of hair (7) W is an instance of sheep |
| (<=> (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 |
| (=> (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 |
| (=> (and (equal ?S (OrganicObjectFn ?F)) (subclass ?S Suet) (subclass ?F FatTissue)) (or (initialPart ?F Cattle) (initialPart ?F Sheep))) |
Food.kif 2935-2943 | If equal X and Object made from Y, X is a subclass of suet, and Y is a subclass of fat tissue, then every Y is initially part of a cattle or every Y is initially part of a sheep |
|
