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

Formal Language: 



KB Term:  Term intersection
English Word: 

  attends

 Sigma KEE - attends
attends

appearance as argument number 1
-------------------------


(documentation attends ChineseLanguage "(attends ?DEMO ?PERSON)的意思是 ?PERSON 出席 ?DEMO 演出活动，即是成为听众。") Merge.kif 13034-13035
(documentation attends EnglishLanguage "(attends ?DEMO ?PERSON) means that ?PERSON attends, i.e. is a member of the audience, of the performance event ?DEMO.") Merge.kif 13032-13033
(domain attends 1 Demonstrating) Merge.kif 13030-13030
(domain attends 2 Human) Merge.kif 13031-13031
(instance attends CaseRole) Merge.kif 13028-13028
(instance attends PartialValuedRelation) Merge.kif 13029-13029
(subrelation attends experiencer) Merge.kif 13027-13027

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


(format EnglishLanguage attends "%2 attends %1") domainEnglishFormat.kif 717-717
(termFormat EnglishLanguage attends "attends") domainEnglishFormat.kif 1932-1932

consequent
-------------------------


(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))		 Merge.kif 13022-13025


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners