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 13227-13228
(domain attends 1 Demonstrating) Merge.kif 13225-13225 attends の数値 1 引数は Demonstratinginstance では
(domain attends 2 Human) Merge.kif 13226-13226 attends の数値 2 引数は 人[人間]instance では
(instance attends CaseRole) Merge.kif 13223-13223 attends格役割instance では
(instance attends PartialValuedRelation) Merge.kif 13224-13224 attends部分的価値関係instance では
(subrelation attends experiencer) Merge.kif 13222-13222 attendsexperiencersubrelation では

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


(format ChineseLanguage attends "%2 attends %1 ") domainEnglishFormat.kif 2830-2830
(format ChineseTraditionalLanguage attends "%2 attends %1 ") domainEnglishFormat.kif 2829-2829
(format EnglishLanguage attends "%2 attends %1") domainEnglishFormat.kif 2828-2828
(termFormat ChineseLanguage attends "出席") domainEnglishFormat.kif 8983-8983
(termFormat ChineseTraditionalLanguage attends "出席") domainEnglishFormat.kif 8982-8982
(termFormat EnglishLanguage attends "attends") domainEnglishFormat.kif 8981-8981

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


(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))
Merge.kif 13217-13220


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 3.0 is open source software produced by Articulate Software and its partners