TreeView Knowledge Base Browser

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 15904-15905
(domain commentator 1 AutonomousAgent)	Mid-level-ontology.kif 15902-15902	Die Zahl 1 Argument von commentator ist ein fall von AutonomousAgent %n{nicht}
(domain commentator 2 Process)	Mid-level-ontology.kif 15903-15903	Die Zahl 2 Argument von commentator ist ein fall von Process %n{nicht}
(instance commentator BinaryPredicate)	Mid-level-ontology.kif 15901-15901	commentator ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage commentator "%1 comments 关于 %2 ")	domainEnglishFormat.kif 3046-3046
(format ChineseTraditionalLanguage commentator "%1 comments 關於 %2 ")	domainEnglishFormat.kif 3045-3045
(format EnglishLanguage commentator "%1 comments about %2")	domainEnglishFormat.kif 3044-3044
(termFormat EnglishLanguage commentator "commentator")	Mid-level-ontology.kif 15906-15906

antecedent

(=>
    (commentator ?AGENT ?PROCESS)
    (exists (?COMMENTING)
        (and
            (instance ?COMMENTING Commenting)
            (agent ?COMMENTING ?AGENT)
            (patient ?COMMENTING ?PROCESS))))

Mid-level-ontology.kif 15907-15913

Wenn commentator AutonomousAgent and Process,
dann es gibt ** Process um ** ** Process ist ein fall von Commenting %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Process ist ein patient von ** ** Process %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: