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 Le nombre 1 argument de hasAward est une instance de AutonomousAgent
(domain hasAward 2 Object) Mid-level-ontology.kif 18660-18660 Le nombre 2 argument de hasAward est une instance de objet
(instance hasAward BinaryPredicate) Mid-level-ontology.kif 18658-18658 hasAward est une instance de pr�dicat binaire

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