| 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 18588-18589 | |
| (subclass Sharing ChangeOfPossession) | Mid-level-ontology.kif 18587-18587 | Sharing è una sottoclasse di CambiamentodiPossesso |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sharing "分享") | domainEnglishFormat.kif 52439-52439 | |
| (termFormat ChineseTraditionalLanguage Sharing "分享") | domainEnglishFormat.kif 52438-52438 | |
| (termFormat EnglishLanguage Sharing "sharing") | domainEnglishFormat.kif 52437-52437 |
| 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 18591-18604 |
|
|
|
|