Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SavingsAccount
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Livestock DomesticAnimal) | Economy.kif 5224-5224 | Livestock is a subclass of domestic animal |
| (documentation Livestock EnglishLanguage "Livestock is the class of live animals raised as AgriculturalProducts.") | Economy.kif 5227-5228 | 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 5231-5233 | 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))))) |
Economy.kif 5235-5243 | 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 2513-2515 | If X is an instance of livestock carrier ship, then livestock is a cargo type of X |
|
