Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AnimalGuiding(animal guiding) |  | ride, ride_herd, sit |
| appearance as argument number 1 |
|
|
| (documentation AnimalGuiding EnglishLanguage "A Carrying where the instrument of the Carrying is an Animal and that objectTransferred in the Carrying is the AutonomousAgent of the Guiding.") | Mid-level-ontology.kif 4948-4950 | |
| (subclass AnimalGuiding Guiding) | Mid-level-ontology.kif 4952-4952 | Animal guiding is a subclass of guiding |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?AG AnimalGuiding) (exists (?A ?C ?H) (and (instance ?A Animal) (agent ?AG ?H) (instance ?C Carrying) (agent ?C ?A) (objectTransferred ?C ?H) (instrument ?AG ?A)))) |
Mid-level-ontology.kif 4954-4963 | If X is an instance of animal guiding, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of animal (3) W is an agent of X (4) Z is an instance of carrying (5) Y is an agent of Z (6) the object transferred in Z is W (7) Y is an instrument for X |
|