| Sharing | |
| appearance as argument number 1 |
|
|
| (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 18819-18820 | |
| (subclass Sharing ChangeOfPossession) | Mid-level-ontology.kif 18818-18818 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sharing "分享") | domainEnglishFormat.kif 52472-52472 | |
| (termFormat ChineseTraditionalLanguage Sharing "分享") | domainEnglishFormat.kif 52471-52471 | |
| (termFormat EnglishLanguage Sharing "sharing") | domainEnglishFormat.kif 52470-52470 |
| 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 18822-18835 |
|
|
|