more pictures...
| Giving(giving)
more pictures... | | abdicate, abnegate, accommodate, accommodation, accord, accordance, accordance_of_rights, accoutered, accoutred, administer, advantage, alcoholize, alienation, aliment, alimony, allocate, allocation, allot, allotment, allowance, apanage, appanage, apportion, apportioning, apportionment, armored, assignation, assignment, back, bail, bailment, bankroll, banquet, barrack, befuddle, benefice, board, bonus, bottlefeed, breakfast, breastfeed, bring_in, bung, cast-off, cater, cede, ceding, certificate, cession, chuck... |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Check PayCheck) (issuedBy ?Check ?Organization) (instance ?Give Giving) (destination ?Give ?Agent)) (employs ?Agent ?Organization)) |
FinancialOntology.kif 173-179 | If X is an instance of pay check, Y is an issued by of X, Z is an instance of giving, and Z ends up at W, then W employs Y |
| (=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 AutonomousAgent) (patient ?GIVE ?OBJ)) (exists (?GET) (and (instance ?GET Getting) (agent ?GET ?AGENT2) (origin ?GET ?AGENT1) (patient ?GET ?OBJ)))) |
Merge.kif 11843-11855 | If X is an instance of giving, Y is an agent of X, X ends up at Z, Z is an instance of agent, and W is a patient of X, then there exists V such that V is an instance of getting, Z is an agent of V, V originates at Y, and W is a patient of V |
| (=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT)) (origin ?GIVE ?AGENT)) |
Merge.kif 11857-11861 | If X is an instance of giving and Y is an agent of X, then X originates at Y |
| 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 11933-11943 | If X is an instance of giving back, Y is an agent of X, and X ends up at Z, then there exists W such that W is an instance of giving, Z is an agent of W, W ends up at Y, and the time of existence of W happens earlier than the time of existence of X |
| (=> (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 11985-12002 | If X is an instance of transaction, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that W is an instance of giving (3) V is an instance of giving (4) W is a subprocess of X (5) V is a subprocess of X (6) Y is an agent of W (7) Z is an agent of V (8) U is a patient of W (9) T is a patient of V (10) W ends up at Z (11) V ends up at Y (12) equal Y (13) Z (14) equal U (15) T |
| (=> (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 20472-20485 | If X is an instance of sharing, Y is an agent of X, X ends up at Z, and W is a patient of X, then All of the following hold: (1) there exist V (2) U such that V is an instance of giving (3) V is a subprocess of X (4) U is a patient of V (5) U is a proper part of W (6) Y is an agent of V (7) V ends up at Z |
| (=> (instance ?FD FoodDistributionOperation) (exists (?GI ?GE) (and (instance ?GI Giving) (instance ?GI Getting) (subProcess ?GI ?FD) (subProcess ?GE ?FD)))) |
Military.kif 53-60 | If X is an instance of food distribution operation, then there exist Y, Z such that Y is an instance of giving, Y is an instance of getting, Y is a subprocess of X, and Z is a subprocess of X |
| (=> (instance ?AOC AOCnumber) (exists (?G ?AIRLINE) (and (instance ?G Giving) (agent ?G FederalAviationAdministration) (destination ?G ?AIRLINE) (patient ?G ?AOC)))) |
Transportation.kif 4601-4608 | If X is an instance of AOC number, then there exist Y, Z such that Y is an instance of giving, Federal Aviation Administration is an agent of Y, Y ends up at Z, and X is a patient of Y |
|
|
|