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 18662-18663
(domain hasAward 1 AutonomousAgent)	Mid-level-ontology.kif 18660-18660	hasAward 的 1 数量是施事体的 instance
(domain hasAward 2 Object)	Mid-level-ontology.kif 18661-18661	hasAward 的 2 数量是客体的 instance
(instance hasAward BinaryPredicate)	Mid-level-ontology.kif 18659-18659	hasAward 是二元谓语的 instance

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 18666-18672

如果施事体收到 award 客体，
然后有存在过程这样那个过程是 Awarding 的 instance 和那个过程在那个施事体结束和那个客体是那个过程的 patient

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

KB Term:			Term intersection

English Word: