|
|
   Awarding
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Awarding EnglishLanguage "Giving to any AutonomousAgent for doing some Process.") | Mid-level-ontology.kif 18932-18932 | |
| (subclass Awarding UnilateralGiving) | Mid-level-ontology.kif 18931-18931 | Awarding 是 单方面给予 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Awarding "awarding") | Mid-level-ontology.kif 18933-18933 |
| 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 18935-18947 |
|
| consequent |
|
|
| (=> (hasAward ?RECIPIENT ?AWARD) (exists (?A) (and (instance ?A Awarding) (destination ?A ?RECIPIENT) (patient ?A ?AWARD)))) |
Mid-level-ontology.kif 18956-18962 |
|
|
|