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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasAward

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

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

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


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


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

Show without tree


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