| Awarding | |
| appearance as argument number 1 |
|
|
| (documentation Awarding EnglishLanguage "Giving to any Agent for doing some Process.") | Mid-level-ontology.kif 17993-17993 | |
| (subclass Awarding UnilateralGiving) | Mid-level-ontology.kif 17992-17992 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Awarding "awarding") | Mid-level-ontology.kif 17994-17994 |
| antecedent |
|
|
| (=> (instance ?A Awarding) (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD) (and (instance ?RECIPIENT Agent) (instance ?GIVER Agent) (instance ?PROCESS Process) (instance ?AWARD Object) (agent ?PROCESS ?RECIPIENT) (agent ?A ?GIVER) (patient ?A ?AWARD) (destination ?A ?RECIPIENT) (causes ?PROCESS ?A)))) |
Mid-level-ontology.kif 17996-18008 |
| consequent |
|
|
| (=> (hasAward ?RECIPIENT ?AWARD) (exists (?A) (and (instance ?A Awarding) (destination ?A ?RECIPIENT) (patient ?A ?AWARD)))) |
Mid-level-ontology.kif 18017-18023 |
|
|
|