Awarding(awarding) | award, bestow, confer, decorate, grant, present |
appearance as argument number 1 |
(documentation Awarding EnglishLanguage "Giving to any AutonomousAgent for doing some Process.") | Mid-level-ontology.kif 18642-18642 | |
(subclass Awarding UnilateralGiving) | Mid-level-ontology.kif 18641-18641 | Awarding is a subclass of unilateral giving |
appearance as argument number 2 |
(termFormat EnglishLanguage Awarding "awarding") | Mid-level-ontology.kif 18643-18643 |
antecedent |
(=> (instance ?A Awarding) (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD) (and (instance ?RECIPIENT AutonomousAgent) (instance ?GIVER AutonomousAgent) (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 18645-18657 |
|
consequent |
(=> (hasAward ?RECIPIENT ?AWARD) (exists (?A) (and (instance ?A Awarding) (destination ?A ?RECIPIENT) (patient ?A ?AWARD)))) |
Mid-level-ontology.kif 18666-18672 |
|