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 11473-11474
(documentation Carrying JapaneseLanguage "Animal または Human によってある所から別の所へ Transfer 。")	japanese_format.kif 1797-1798
(subclass Carrying Transfer)	Merge.kif 11471-11471	子類攜帶 and 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 11476-11481

例 Process and 攜帶
Object 例 Object and Animal 儀器 Process and Object

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 22225-22247	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and 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	AutonomousAgent 是 CognitiveAgent 的 customer 採用 AutonomousAgent and CognitiveAgent attribute AutonomousAgent and 旅客住宿 attribute CognitiveAgent and Porter 擁有 CognitiveAgent and Object 例 Object and 旅行集裝箱 Object Process 例 Object and HotelUnit 例 Process and 攜帶 agent Process and CognitiveAgent 目的地 Process and Object 起源 Process and Object
(=> (attribute ?X Porter) (hasPurpose ?X (exists (?LUGGAGE ?CARRY) (and (instance ?LUGGAGE TravelContainer) (instance ?CARRY Carrying) (agent ?CARRY ?X)))))	Hotel.kif 2383-2390	attribute Object and Porter 有目的 Object and entity entity 例 entity and 旅行集裝箱例 entity and 攜帶 agent entity and Object
(=> (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 4814-4823	例 Process and AnimalGuiding AutonomousAgent Transfer and AutonomousAgent 例 AutonomousAgent and Animal agent Process and AutonomousAgent 例 Transfer and 攜帶 agent Transfer and AutonomousAgent objectTransferred Transfer and AutonomousAgent 儀器 Process and AutonomousAgent
(=> (instance ?FE FireExtinguisher) (exists (?PERSON) (and (instance ?PERSON Human) (capability Carrying instrument ?PERSON))))	Mid-level-ontology.kif 27159-27164	例 Entity and 滅火器 Object 例 Object and Human 能力攜帶, 儀器 and Object
(=> (instance ?GUN ArtilleryGun) (not (exists (?A ?C) (and (instance ?A Human) (instance ?C Carrying) (instrument ?C ?A) (objectTransferred ?C ?GUN)))))	Mid-level-ontology.kif 1826-1834	例 Object and 火砲槍 Object Transfer 例 Object and Human 例 Transfer and 攜帶儀器 Transfer and Object objectTransferred Transfer and 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 1861-1877	例 Physical and 火器有目的 Physical and entity entity and entity 例 entity and Human 子類 entity and 攜帶例 entity and entity objectTransferred entity and Physical 能力 entity, 儀器 and entity entity 例 entity and Human 等於 entity and entity 儀器 entity and entity
(=> (instance ?HT HandTool) (capability Carrying objectTransferred ?HT))	Cars.kif 4537-4539	例 Object and HandTool 能力攜帶, objectTransferred and Object
(=> (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 31199-31207	例 Physical and PortableComputer 有目的 Physical and entity entity 例 entity and 攜帶例 entity and Human 患者 entity and Physical agent entity and 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 4795-4806	例 Object and 鞍 SymbolicString 能力卡帕 SymbolicString and entity entity 例 SymbolicString and 攜帶患者 SymbolicString and entity 例 entity and Human agent SymbolicString and entity 例 entity and 馬, 儀器 and Object

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: