Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Awarding(awarding) |  | award, bestow, confer, decorate, grant, present |
| appearance as argument number 1 |
|
|
| (subclass Awarding UnilateralGiving) | Mid-level-ontology.kif 20563-20563 | Awarding is a subclass of unilateral giving |
| (documentation Awarding EnglishLanguage "Giving to any AutonomousAgent for doing some Process.") | Mid-level-ontology.kif 20564-20564 | Awarding is a subclass of unilateral giving |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Awarding "awarding") | Mid-level-ontology.kif 20565-20565 |
| 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 20567-20579 | If X is an instance of awarding, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of agent (3) Z is an instance of agent (4) W is an instance of process (5) V is an instance of object (6) Y is an agent of W (7) Z is an agent of X (8) V is a patient of X (9) X ends up at Y (10) W causes X |
| consequent |
|
|
| (=> (hasAward ?RECIPIENT ?AWARD) (exists (?A) (and (instance ?A Awarding) (destination ?A ?RECIPIENT) (patient ?A ?AWARD)))) |
Mid-level-ontology.kif 20588-20594 | If X received award Y, then there exists Z such that Z is an instance of awarding, Z ends up at X, and Y is a patient of Z |
|