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 11503-11504
(documentation Carrying JapaneseLanguage "Animal または Human によってある所から別の所へ Transfer 。")	japanese_format.kif 1797-1798
(subclass Carrying Transfer)	Merge.kif 11501-11501	Carrying is a subclass of transfer

appearance as argument number 2

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

antecedent

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

Merge.kif 11506-11511

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 22235-22257	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 2403-2418	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 2394-2401	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 4807-4816	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 27171-27176	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 ?GUN ArtilleryGun) (not (exists (?A ?C) (and (instance ?A Human) (instance ?C Carrying) (instrument ?C ?A) (objectTransferred ?C ?GUN)))))	Mid-level-ontology.kif 1819-1827	If an object is an instance of artillery gun, then there don't exist another object and a transfer such that the other object is an instance of human and the transfer is an instance of carrying and the other object is an instrument for the transfer and the object transferred in the transfer is the object
(=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?CARRY ?C) (and (instance ?A Human) (subclass ?CARRY Carrying) (instance ?C ?CARRY) (objectTransferred ?C ?GUN) (capability ?CARRY instrument ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (instrument ?C ?A2))))))))	Mid-level-ontology.kif 1854-1870	If a physical is an instance of firearm, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is a subclass of carrying and the third entity is an instance of the other entity and the object transferred in the third entity is the physical and the entity is capable of doing the other entity as a instrument and there doesn't exist the entity2 such that the entity2 is an instance of human and the entity is not equal to the entity2 and the entity2 is an instrument for the third entity
(=> (instance ?HT HandTool) (capability Carrying objectTransferred ?HT))	Cars.kif 4537-4539	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 31212-31220	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 4788-4799	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: