TreeView 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 13359-13359
(termFormat ChineseTraditionalLanguage Carrying "攜帶")	domainEnglishFormat.kif 13358-13358
(termFormat EnglishLanguage Carrying "carrying")	domainEnglishFormat.kif 13357-13357

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 22218-22240	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 4788-4797	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 27154-27159	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 1820-1828	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 1855-1871	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 ?P MilitaryPlatform) (hasPurpose ?P (exists (?C ?W) (and (instance ?C Carrying) (instrument ?C ?P) (objectTransferred ?S ?W) (instance ?W Weapon)))))	Military.kif 130-138	If a physical is an instance of military platform, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of carrying and the physical is an instrument for the entity and the object transferred in a third entity is the other entity and the other entity is an instance of weapon
(=> (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 31455-31463	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 4769-4780	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: