|
|
   Awarding
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Awarding EnglishLanguage "Giving to any AutonomousAgent for doing some Process.") | Mid-level-ontology.kif 18669-18669 | |
| (subclass Awarding UnilateralGiving) | Mid-level-ontology.kif 18668-18668 | Awarding e' uma sub-classe de Doacao Unilateral |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Awarding "awarding") | Mid-level-ontology.kif 18670-18670 |
| 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 18672-18684 |
|
| consequent |
|
|
| (=> (hasAward ?RECIPIENT ?AWARD) (exists (?A) (and (instance ?A Awarding) (destination ?A ?RECIPIENT) (patient ?A ?AWARD)))) |
Mid-level-ontology.kif 18693-18699 |
|
|
|