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 18952-18953
(domain hasAward 1 AutonomousAgent) Mid-level-ontology.kif 18950-18950 The number 1 argument of has award is an instance of agent
(domain hasAward 2 Object) Mid-level-ontology.kif 18951-18951 The number 2 argument of has award is an instance of object
(instance hasAward BinaryPredicate) Mid-level-ontology.kif 18949-18949 has award is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage hasAward "%1 收到 award %2 ") domainEnglishFormat.kif 3600-3600
(format ChineseTraditionalLanguage hasAward "%1 收到 award %2 ") domainEnglishFormat.kif 3599-3599
(format EnglishLanguage hasAward "%1 received award %2") domainEnglishFormat.kif 3598-3598
(termFormat EnglishLanguage hasAward "has award") Mid-level-ontology.kif 18954-18954

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


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


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