carries - Sigma 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 4437-4438
(domain carries 1 AutonomousAgent)	Mid-level-ontology.kif 4434-4434	The number 1 argument of carries is an instance of agent
(domain carries 2 Object)	Mid-level-ontology.kif 4435-4435	The number 2 argument of carries is an instance of object
(instance carries BinaryPredicate)	Mid-level-ontology.kif 4433-4433	carries is an instance of binary predicate

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 4440-4445

If an agent carries an object,
then there exists a process such that the agent is an instrument for the process and the object is a patient of the process

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

KB Term:			Term intersection

English Word: