Carrying - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Carrying ChineseLanguage "这是由 Animal 或 Human 从一点 Transfer 到另外一点的过程。")	chinese_format.kif 3029-3030
(documentation Carrying EnglishLanguage "Transfer from one point to another by means of an Animal or Human.")	Merge.kif 11414-11415
(documentation Carrying JapaneseLanguage "Animal または Human によってある所から別の所へ Transfer 。")	japanese_format.kif 1797-1798
(subclass Carrying Transfer)	Merge.kif 11412-11412	Carrying is a subclass of transfer

appearance as argument number 2

(termFormat ChineseLanguage Carrying "携带")	domainEnglishFormat.kif 13366-13366
(termFormat ChineseTraditionalLanguage Carrying "攜帶")	domainEnglishFormat.kif 13365-13365
(termFormat EnglishLanguage Carrying "carrying")	domainEnglishFormat.kif 13364-13364

antecedent

(=>
    (instance ?CARRY Carrying)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (instrument ?CARRY ?ANIMAL))))

Merge.kif 11417-11422

If a process is an instance of carrying,
then there exists an object such that the object is an instance of animal and the object is an instrument for the process

consequent

(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human)))))))	Mid-level-ontology.kif 20859-20881	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other entity is a patient of the entity and the other entity is an instance of food for human
(=> (and (customer ?CUST ?AGENT) (employs ?AGENT ?X) (attribute ?AGENT TravelerAccommodation) (attribute ?X Porter) (possesses ?CUST ?LUGGAGE) (instance ?LUGGAGE TravelContainer)) (exists (?ROOM ?CARRY) (and (instance ?ROOM HotelUnit) (instance ?CARRY Carrying) (agent ?CARRY ?X) (or (destination ?CARRY ?ROOM) (origin ?CARRY ?ROOM)))))	Hotel.kif 2392-2407	If an agent is a customer of a cognitive agent and the agent employs another cognitive agent and traveler accommodation is an attribute of the agent and porter is an attribute of the other cognitive agent and the cognitive agent possesses an object and the object is an instance of travel container, then there exist another object and a process such that the other object is an instance of hotel unit and the process is an instance of carrying and the other cognitive agent is an agent of the process and the process ends up at the other object or the process originates at the other object
(=> (attribute ?X Porter) (hasPurpose ?X (exists (?LUGGAGE ?CARRY) (and (instance ?LUGGAGE TravelContainer) (instance ?CARRY Carrying) (agent ?CARRY ?X)))))	Hotel.kif 2383-2390	If porter is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of travel container and the other entity is an instance of carrying and the object is an agent of the other entity
(=> (instance ?AG AnimalGuiding) (exists (?A ?C ?H) (and (instance ?A Animal) (agent ?AG ?H) (instance ?C Carrying) (agent ?C ?A) (objectTransferred ?C ?H) (instrument ?AG ?A))))	Mid-level-ontology.kif 4338-4347	If a process is an instance of animal guiding, then there exist an agent, a transfer and another agent such that the agent is an instance of animal and the other agent is an agent of the process and the transfer is an instance of carrying and the agent is an agent of the transfer and the object transferred in the transfer is the other agent and the agent is an instrument for the process
(=> (instance ?FE FireExtinguisher) (exists (?PERSON) (and (instance ?PERSON Human) (capability Carrying instrument ?PERSON))))	Mid-level-ontology.kif 25778-25783	If an entity is an instance of fire extinguisher, then there exists an object such that the object is an instance of human and the object is capable of doing carrying as a instrument
(=> (instance ?HT HandTool) (capability Carrying objectTransferred ?HT))	Cars.kif 4461-4463	If an object is an instance of hand tool, then the object is capable of doing carrying as a object transferred
(=> (instance ?PC PortableComputer) (hasPurpose ?PC (exists (?T ?H) (and (instance ?T Carrying) (instance ?H Human) (patient ?T ?PC) (agent ?T ?H)))))	Mid-level-ontology.kif 29818-29826	If a physical is an instance of portable computer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of carrying and the other entity is an instance of human and the physical is a patient of the entity and the other entity is an agent of the entity
(=> (instance ?SADDLE Saddle) (exists (?RIDE) (capability (KappaFn ?RIDE (exists (?HUMAN ?HORSE) (and (instance ?RIDE Carrying) (patient ?RIDE ?HUMAN) (instance ?HUMAN Human) (agent ?RIDE ?HORSE) (instance ?HORSE Horse)))) instrument ?SADDLE)))	Mid-level-ontology.kif 4319-4330	If an object is an instance of saddle, then there exists a symbolic string such that the object is capable of doing the class described by the symbolic string as a instrument

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: