| Sharing(sharing) | | osculate, parcel, partake, partake_in, portion, share |
| appearance as argument number 1 |
|
|
| (subclass Sharing ChangeOfPossession) | Mid-level-ontology.kif 20491-20491 | 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 20492-20493 | 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 20495-20508 | 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 |
|
|
|