Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Confining
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sharing ChangeOfPossession) | Mid-level-ontology.kif 20479-20479 | Sharing is a subclass of change of possession |
| (documentation Sharing EnglishLanguage "The subclass of ChangeOfPossession where a properPart of the patient is given by the agent or the destination.") | Mid-level-ontology.kif 20480-20481 | Sharing is a subclass of change of possession |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SHARE Sharing) (agent ?SHARE ?AGENT1) (destination ?SHARE ?AGENT2) (patient ?SHARE ?OBJ)) (exists (?GIVE ?PART) (and (instance ?GIVE Giving) (subProcess ?GIVE ?SHARE) (patient ?GIVE ?PART) (properPart ?PART ?OBJ) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2)))) |
Mid-level-ontology.kif 20483-20496 | If X is an instance of sharing, Y is an agent of X, X ends up at Z, and W is a patient of X, then All of the following hold: (1) there exist V (2) U such that V is an instance of giving (3) V is a subprocess of X (4) U is a patient of V (5) U is a proper part of W (6) Y is an agent of V (7) V ends up at Z |
|