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 18662-18663
(domain hasAward 1 AutonomousAgent) Mid-level-ontology.kif 18660-18660
(domain hasAward 2 Object) Mid-level-ontology.kif 18661-18661
(instance hasAward BinaryPredicate) Mid-level-ontology.kif 18659-18659

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


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