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 18560-18561 | |
(subclass Sharing ChangeOfPossession) | Mid-level-ontology.kif 18559-18559 | Sharing e' uma sub-classe de Mudanca de Dono |
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 18563-18576 |
|