| Livestock(livestock)
|
| appearance as argument number 1 |
|
| (subclass Livestock DomesticAnimal) | Economy.kif 5222-5222 | Livestock is a subclass of domestic animal |
| (documentation Livestock EnglishLanguage "Livestock is the class of live animals raised as AgriculturalProducts.") | Economy.kif 5224-5225 | Livestock is a subclass of domestic animal |
| (externalImage Livestock "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Sheep_in_field_with_other_livestock.jpg") | pictureList.kif 955-955 | Livestock is a subclass of domestic animal |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ITEM Livestock) (instance ?ITEM Animal)) |
Economy.kif 5227-5229 | If X is an instance of livestock, then X is an instance of animal |
| consequent |
|
|
| (=> (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 5120-5128 | If X is an instance of pen, then X has the purpose there exist Y, Z such that Z is an instance of livestock, Y is an instance of confining, X is an instrument for Y, and Z is a patient of Y |
| (=> (instance ?SHIP LivestockCarrierShip) (cargoType ?SHIP Livestock)) |
Transportation.kif 2508-2510 | If X is an instance of livestock carrier ship, then livestock is a cargo type of X |
|
|
|