Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - carries
carries

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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners