|
|
   Awarding
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Awarding EnglishLanguage "Giving to any AutonomousAgent for doing some Process.") | Mid-level-ontology.kif 18641-18641 | |
| (subclass Awarding UnilateralGiving) | Mid-level-ontology.kif 18640-18640 | Awarding est une sous-classe de donnation unilat�rale |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Awarding "awarding") | Mid-level-ontology.kif 18642-18642 |
| 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 18644-18656 |
|
| consequent |
|
|
| (=> (hasAward ?RECIPIENT ?AWARD) (exists (?A) (and (instance ?A Awarding) (destination ?A ?RECIPIENT) (patient ?A ?AWARD)))) |
Mid-level-ontology.kif 18665-18671 |
|
|
|