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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - commentator
commentator

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


(documentation commentator EnglishLanguage "(commentator ?AGENT ?PROCESS) means that some Agent ?AGENT is Looking at some Process ?PROCESS and Speaking about it simultaneously.") Mid-level-ontology.kif 13588-13589
(domain commentator 1 Agent) Mid-level-ontology.kif 13586-13586
(domain commentator 2 Process) Mid-level-ontology.kif 13587-13587
(instance commentator BinaryPredicate) Mid-level-ontology.kif 13585-13585

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


(format ChineseLanguage commentator "%1 comments 关于 %2 ") domainEnglishFormat.kif 3051-3051
(format ChineseTraditionalLanguage commentator "%1 comments 關於 %2 ") domainEnglishFormat.kif 3050-3050
(format EnglishLanguage commentator "%1 comments about %2") domainEnglishFormat.kif 3049-3049
(termFormat EnglishLanguage commentator "commentator") Mid-level-ontology.kif 13590-13590

antecedent
-------------------------


(=>
    (commentator ?AGENT ?PROCESS)
    (exists (?COMMENTING)
        (and
            (instance ?COMMENTING Commenting)
            (agent ?COMMENTING ?AGENT)
            (patient ?COMMENTING ?PROCESS))))
Mid-level-ontology.kif 13591-13597


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