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 13088-13089
(domain attends 1 Demonstrating) Merge.kif 13086-13086 出席 的 1 数量 是 示范 的 instance
(domain attends 2 Human) Merge.kif 13087-13087 出席 的 2 数量 是 人类 的 instance
(instance attends CaseRole) Merge.kif 13084-13084 出席 是 格角色 的 instance
(instance attends PartialValuedRelation) Merge.kif 13085-13085 出席 是 部分值关系 的 instance
(subrelation attends experiencer) Merge.kif 13083-13083 出席 是 经历者 的 subrelation

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


(format ChineseLanguage attends "%2 attends %1 ") domainEnglishFormat.kif 2834-2834
(format ChineseTraditionalLanguage attends "%2 attends %1 ") domainEnglishFormat.kif 2833-2833
(format EnglishLanguage attends "%2 attends %1") domainEnglishFormat.kif 2832-2832
(termFormat ChineseLanguage attends "出席") domainEnglishFormat.kif 8982-8982
(termFormat ChineseTraditionalLanguage attends "出席") domainEnglishFormat.kif 8981-8981
(termFormat EnglishLanguage attends "attends") domainEnglishFormat.kif 8980-8980

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


(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))		 Merge.kif 13078-13081


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