more pictures...
| Giving
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Giving ChineseLanguage "这是一组 ChangeOfPossession 的 subclass，它是 当 agent 把一些东西给 destination 时。 ") | chinese_format.kif 3073-3074 | |
| (documentation Giving EnglishLanguage "The subclass of ChangeOfPossession where the agent gives the destination something.") | Merge.kif 11503-11504 | |
| (externalImage Giving "http://upload.wikimedia.org/wikipedia/commons/0/01/ Gift_giving_ceremony.jpg") | pictureList.kif 11100-11100 | |
| (externalImage Giving "http://upload.wikimedia.org/wikipedia/commons/2/29/ Morgan_giving_lecture.png") | pictureList.kif 11101-11101 | |
| (externalImage Giving "http://upload.wikimedia.org/wikipedia/commons/6/62/ Gifts_xmas.jpg") | pictureList.kif 10044-10044 | |
| (externalImage Giving "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Mumbai-street-kids.jpg") | pictureList.kif 11103-11103 | |
| (externalImage Giving "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Fairbanks_Robin_Hood_giving_Marian_a_dagger.jpg") | pictureList.kif 11102-11102 | |
| (externalImage Giving "http://upload.wikimedia.org/wikipedia/en/d/dc/Love_gift_-_Calyx_krater_Aegisthos_painter_ca_460_BCE.jpg") | pictureList.kif 11099-11099 | |
| (subclass Giving ChangeOfPossession) | Merge.kif 11501-11501 |
| appearance as argument number 2 |
|
|
| (subclass DistributeProducts Giving) | MilitaryProcesses.kif 1211-1211 | |
| (subclass Feeding Giving) | Mid-level-ontology.kif 11054-11054 | |
| (subclass FoodDistributionOperation Giving) | Military.kif 50-50 | |
| (subclass Funding Giving) | Merge.kif 11526-11526 | |
| (subclass GivingBack Giving) | Merge.kif 11590-11590 | |
| (subclass Lending Giving) | Merge.kif 11557-11557 | |
| (subclass UnilateralGiving Giving) | Merge.kif 11542-11542 | |
| (termFormat ChineseLanguage Giving "给予") | chinese_format.kif 1133-1133 | |
| (termFormat EnglishLanguage Giving "giving") | english_format.kif 1483-1483 |
| antecedent |
|
|
| (=> (and (instance ?Check PayCheck) (issuedBy ?Check ?Organization) (instance ?Give Giving) (destination ?Give ?Agent)) (employs ?Agent ?Organization)) |
FinancialOntology.kif 171-177 | |
| (=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT)) (origin ?GIVE ?AGENT)) |
Merge.kif 11520-11524 | |
| (=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 Agent) (patient ?GIVE ?OBJ)) (exists (?GET) (and (instance ?GET Getting) (agent ?GET ?AGENT2) (origin ?GET ?AGENT1) (patient ?GET ?OBJ)))) |
Merge.kif 11506-11518 |
| consequent |
|
|
| (=> (and (instance ?RETURN GivingBack) (agent ?RETURN ?AGENT) (destination ?RETURN ?DEST)) (exists (?GIVE) (and (instance ?GIVE Giving) (agent ?GIVE ?DEST) (destination ?GIVE ?AGENT) (earlier (WhenFn ?GIVE) (WhenFn ?RETURN))))) |
Merge.kif 11596-11606 | |
| (=> (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 17935-17948 | |
| (=> (instance ?AOC AOCnumber) (exists (?G ?AIRLINE) (and (instance ?G Giving) (agent ?G FederalAviationAdministration) (destination ?G ?AIRLINE) (patient ?G ?AOC)))) |
Transportation.kif 3186-3193 | |
| (=> (instance ?FD FoodDistributionOperation) (exists (?GI ?GE) (and (instance ?GI Giving) (instance ?GI Getting) (subProcess ?GI ?FD) (subProcess ?GE ?FD)))) |
Military.kif 53-60 | |
| (=> (instance ?TRANS Transaction) (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2) (and (instance ?GIVE1 Giving) (instance ?GIVE2 Giving) (subProcess ?GIVE1 ?TRANS) (subProcess ?GIVE2 ?TRANS) (agent ?GIVE1 ?AGENT1) (agent ?GIVE2 ?AGENT2) (patient ?GIVE1 ?OBJ1) (patient ?GIVE2 ?OBJ2) (destination ?GIVE1 ?AGENT2) (destination ?GIVE2 ?AGENT1) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?OBJ1 ?OBJ2))))) |
Merge.kif 11648-11665 |
|
|
|