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 AutonomousAgent ?AGENT is Looking at some Process ?PROCESS and Speaking about it simultaneously.") Mid-level-ontology.kif 17292-17293
(domain commentator 1 AutonomousAgent) Mid-level-ontology.kif 17290-17290
(domain commentator 2 Process) Mid-level-ontology.kif 17291-17291
(instance commentator BinaryPredicate) Mid-level-ontology.kif 17289-17289

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


(format ChineseLanguage commentator "%1 comments 关于 %2 ") domainEnglishFormat.kif 3042-3042
(format ChineseTraditionalLanguage commentator "%1 comments 關於 %2 ") domainEnglishFormat.kif 3041-3041
(format EnglishLanguage commentator "%1 comments about %2") domainEnglishFormat.kif 3040-3040
(termFormat EnglishLanguage commentator "commentator") Mid-level-ontology.kif 17294-17294

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


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


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