TreeView Knowledge Base Browser

appearance as argument number 1

(instance carries BinaryPredicate)	Mid-level-ontology.kif 4976-4976	carries is an instance of binary predicate
(domain carries 1 AutonomousAgent)	Mid-level-ontology.kif 4977-4977	The number 1 argument of carries is an instance of agent
(domain carries 2 Object)	Mid-level-ontology.kif 4978-4978	The number 2 argument of carries is an instance of object
(documentation carries EnglishLanguage "(carries ?AGENT ?OBJECT) means that an AutonomousAgent ?AGENT transfers an Object ?OBJECT from one point to another")	Mid-level-ontology.kif 4980-4981	The number 2 argument of carries is an instance of object

appearance as argument number 2

(termFormat EnglishLanguage carries "carries")	Mid-level-ontology.kif 4982-4982
(format EnglishLanguage carries "%1 carries %2")	domainEnglishFormat.kif 2956-2956
(format ChineseTraditionalLanguage carries "%1 carries %2 ")	domainEnglishFormat.kif 2957-2957
(format ChineseLanguage carries "%1 carries %2 ")	domainEnglishFormat.kif 2958-2958

antecedent

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

Mid-level-ontology.kif 4983-4988

If X carries Y, then there exists Z such that X is an instrument for Z and Y is a patient of Z

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

KB Term:			Term intersection

English Word: