Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasAward
hasAward

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 18689-18690
(domain hasAward 1 AutonomousAgent) Mid-level-ontology.kif 18687-18687
(domain hasAward 2 Object) Mid-level-ontology.kif 18688-18688
(instance hasAward BinaryPredicate) Mid-level-ontology.kif 18686-18686

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 18691-18691

antecedent
-------------------------


(=>
    (hasAward ?RECIPIENT ?AWARD)
    (exists (?A)
        (and
            (instance ?A Awarding)
            (destination ?A ?RECIPIENT)
            (patient ?A ?AWARD))))
Mid-level-ontology.kif 18693-18699


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners