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 演出活动，即是成为听众。") 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 12842-12843
(domain attends 1 Demonstrating) Merge.kif 12840-12840 The number 1 argument of attends is an instance of demonstrating
(domain attends 2 Human) Merge.kif 12841-12841 The number 2 argument of attends is an instance of human
(instance attends CaseRole) Merge.kif 12838-12838 attends is an instance of case role
(instance attends PartialValuedRelation) Merge.kif 12839-12839 attends is an instance of partial valued relation
(subrelation attends experiencer) Merge.kif 12837-12837 attends is a subrelation of experiencer

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


(format ChineseLanguage attends "%2 attends %1 ") domainEnglishFormat.kif 2835-2835
(format ChineseTraditionalLanguage attends "%2 attends %1 ") domainEnglishFormat.kif 2834-2834
(format EnglishLanguage attends "%2 attends %1") domainEnglishFormat.kif 2833-2833
(termFormat ChineseLanguage attends "出席") domainEnglishFormat.kif 8991-8991
(termFormat ChineseTraditionalLanguage attends "出席") domainEnglishFormat.kif 8990-8990
(termFormat EnglishLanguage attends "attends") domainEnglishFormat.kif 8989-8989

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


(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))		 Merge.kif 12832-12835


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