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 attends の数値 1 引数は Demonstrating の instance では %n
(domain attends 2 Human) Merge.kif 13087-13087 attends の数値 2 引数は 人［人間］ の instance では %n
(instance attends CaseRole) Merge.kif 13084-13084 attends は 格役割 の instance では %n
(instance attends PartialValuedRelation) Merge.kif 13085-13085 attends は 部分的価値関係 の instance では %n
(subrelation attends experiencer) Merge.kif 13083-13083 attends は experiencer の subrelation では %n

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

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