| Carrying | |
| 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 |
| 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 |
| 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 | |
| (=> (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 | |
| (=> (attribute ?X Porter) (hasPurpose ?X (exists (?LUGGAGE ?CARRY) (and (instance ?LUGGAGE TravelContainer) (instance ?CARRY Carrying) (agent ?CARRY ?X))))) |
Hotel.kif 2383-2390 | |
| (=> (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 | |
| (=> (instance ?FE FireExtinguisher) (exists (?PERSON) (and (instance ?PERSON Human) (capability Carrying instrument ?PERSON)))) |
Mid-level-ontology.kif 27159-27164 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?HT HandTool) (capability Carrying objectTransferred ?HT)) |
Cars.kif 4537-4539 | |
| (=> (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 | |
| (=> (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 |
|
|
|