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 | 分享 是 改变所有权 的 subclass |
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 |