TreeView Knowledge Base Browser

appearance as argument number 1

(documentation hasAward EnglishLanguage "(hasAward ?RECIPIENT ?AWARD) means the AutonomousAgent ?RECIPIENT recieved the Object ?AWARD as an award for some action they did.")	Mid-level-ontology.kif 20222-20223
(domain hasAward 1 AutonomousAgent)	Mid-level-ontology.kif 20220-20220	The number 1 argument of has award is an instance of agent
(domain hasAward 2 Object)	Mid-level-ontology.kif 20221-20221	The number 2 argument of has award is an instance of object
(instance hasAward BinaryPredicate)	Mid-level-ontology.kif 20219-20219	has award is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage hasAward "%1 收到 award %2 ")	domainEnglishFormat.kif 3604-3604
(format ChineseTraditionalLanguage hasAward "%1 收到 award %2 ")	domainEnglishFormat.kif 3603-3603
(format EnglishLanguage hasAward "%1 received award %2")	domainEnglishFormat.kif 3602-3602
(termFormat EnglishLanguage hasAward "has award")	Mid-level-ontology.kif 20224-20224

antecedent

(=>
    (hasAward ?RECIPIENT ?AWARD)
    (exists (?A)
        (and
            (instance ?A Awarding)
            (destination ?A ?RECIPIENT)
            (patient ?A ?AWARD))))

Mid-level-ontology.kif 20226-20232

If an agent received award an object,
then there exists a process such that the process is an instance of awarding and the process ends up at the agent and the object is a patient of the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: