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 18561-18562 | |
(subclass Sharing ChangeOfPossession) | Mid-level-ontology.kif 18560-18560 | Sharing is a subclass of change of possession |
appearance as argument number 2 |
(termFormat ChineseLanguage Sharing "分享") | domainEnglishFormat.kif 52437-52437 | |
(termFormat ChineseTraditionalLanguage Sharing "分享") | domainEnglishFormat.kif 52436-52436 | |
(termFormat EnglishLanguage Sharing "sharing") | domainEnglishFormat.kif 52435-52435 |
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 18564-18577 |
|