Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Feeding
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Feeding Giving) | Mid-level-ontology.kif 13073-13073 | Feeding is a subclass of giving |
| (documentation Feeding EnglishLanguage "Giving Food to a Human or Animal.") | Mid-level-ontology.kif 13074-13074 | Feeding is a subclass of giving |
| (externalImage Feeding "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Python_sebae.jpg") | pictureList.kif 6007-6007 | Feeding is a subclass of giving |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal))) |
Mid-level-ontology.kif 13076-13080 | If X is an instance of feeding and Y is a patient of X, then Y is an instance of food for animal |
| (=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 13082-13086 | If X is an instance of feeding and X ends up at Y, then Y is an instance of animal |
|
