| Livestock(livestock)
|
| appearance as argument number 1 |
|
| (documentation Livestock EnglishLanguage "Livestock is the class of live animals raised as AgriculturalProducts.") | Economy.kif 5099-5100 | |
| (externalImage Livestock "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Sheep_in_field_with_other_livestock.jpg") | pictureList.kif 955-955 | |
| (subclass Livestock DomesticAnimal) | Economy.kif 5097-5097 | Livestock is a subclass of domestic animal |
| appearance as argument number 2 |
|
|
| (subclass WaterBuffalo Livestock) | Economy.kif 5118-5118 | Water buffalo is a subclass of livestock |
| (termFormat ChineseLanguage Livestock "家畜") | domainEnglishFormat.kif 34797-34797 | Water buffalo is a subclass of livestock |
| (termFormat ChineseTraditionalLanguage Livestock "家畜") | domainEnglishFormat.kif 34796-34796 | Water buffalo is a subclass of livestock |
| (termFormat EnglishLanguage Livestock "livestock") | domainEnglishFormat.kif 34795-34795 | Water buffalo is a subclass of livestock |
| antecedent |
|
|
| (=> (instance ?ITEM Livestock) (instance ?ITEM Animal)) |
Economy.kif 5102-5104 |
| consequent |
|
|
| (=> (instance ?SHIP LivestockCarrierShip) (cargoType ?SHIP Livestock)) |
Transportation.kif 2503-2505 |
|
| (=> (instance ?T LivestockPen) (hasPurpose ?T (exists (?C ?L) (and (instance ?L Livestock) (instance ?C Confining) (instrument ?C ?T) (patient ?C ?L))))) |
Mid-level-ontology.kif 4726-4734 |
|
|
|
|