TreeView Knowledge Base Browser

appearance as argument number 1

(documentation carries EnglishLanguage "(carries ?AGENT ?OBJECT) means that an AutonomousAgent ?AGENT transfers an Object ?OBJECT from one point to another")	Mid-level-ontology.kif 4364-4365
(domain carries 1 AutonomousAgent)	Mid-level-ontology.kif 4361-4361	carries の数値 1 引数は AutonomousAgent の instance では %n
(domain carries 2 Object)	Mid-level-ontology.kif 4362-4362	carries の数値 2 引数はオブジェクトの instance では %n
(instance carries BinaryPredicate)	Mid-level-ontology.kif 4360-4360	carries は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage carries "%1 carries %2 ")	domainEnglishFormat.kif 2962-2962
(format ChineseTraditionalLanguage carries "%1 carries %2 ")	domainEnglishFormat.kif 2961-2961
(format EnglishLanguage carries "%1 carries %2")	domainEnglishFormat.kif 2960-2960
(termFormat EnglishLanguage carries "carries")	Mid-level-ontology.kif 4366-4366

antecedent

(=>
    (carries ?AGENT ?OBJECT)
    (exists (?CARRYING)
        (and
            (instrument ?CARRYING ?AGENT)
            (patient ?CARRYING ?OBJECT))))

Mid-level-ontology.kif 4367-4372

carries AutonomousAgent and オブジェクト
工程 AutonomousAgent は工程の instrument では %n オブジェクトは工程の patient では %n

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

KB Term:			Term intersection

English Word: