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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - attends
attends

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


(documentation attends ChineseLanguage "(attends ?DEMO ?PERSON)的意思是 ?PERSON 出席 ?DEMO 演出活动,即是成为听众。") chinese_format.kif 3247-3248
(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 12111-12112
(domain attends 1 Demonstrating) Merge.kif 12109-12109 domain attends, 1 and Demonstrating
(domain attends 2 Human) Merge.kif 12110-12110 domain attends, 2 and Human
(instance attends CaseRole) Merge.kif 12107-12107 instance attends and CaseRole
(instance attends PartialValuedRelation) Merge.kif 12108-12108 instance attends and PartialValuedRelation
(subrelation attends experiencer) Merge.kif 12106-12106 subrelation attends and experiencer

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


(format ChineseLanguage attends "%2 attends %1 ") domainEnglishFormat.kif 2831-2831
(format ChineseTraditionalLanguage attends "%2 attends %1 ") domainEnglishFormat.kif 2830-2830
(format EnglishLanguage attends "%2 attends %1") domainEnglishFormat.kif 2829-2829
(termFormat ChineseLanguage attends "出席") domainEnglishFormat.kif 8995-8995
(termFormat ChineseTraditionalLanguage attends "出席") domainEnglishFormat.kif 8994-8994
(termFormat EnglishLanguage attends "attends") domainEnglishFormat.kif 8993-8993

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


(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))
Merge.kif 12101-12104


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