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 15932-15933
(domain commentator 1 AutonomousAgent)	Mid-level-ontology.kif 15930-15930	commentator の数値 1 引数は AutonomousAgent の instance では %n
(domain commentator 2 Process)	Mid-level-ontology.kif 15931-15931	commentator の数値 2 引数は工程の instance では %n
(instance commentator BinaryPredicate)	Mid-level-ontology.kif 15929-15929	commentator は 2進述語の instance では %n

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 15934-15934

antecedent

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

Mid-level-ontology.kif 15935-15941

commentator AutonomousAgent and 工程
工程工程は Commenting の instance では %n AutonomousAgent は工程の agent では %n 工程は工程の patient では %n

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

KB Term:			Term intersection

English Word: