|
|
   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 11288-11289 | |
| (subclass Carrying Transfer) | Merge.kif 11286-11286 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Carrying "携带") | domainEnglishFormat.kif 13348-13348 | |
| (termFormat ChineseTraditionalLanguage Carrying "攜帶") | domainEnglishFormat.kif 13347-13347 | |
| (termFormat EnglishLanguage Carrying "carrying") | domainEnglishFormat.kif 13346-13346 |
| antecedent |
|
|
| (=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL)))) |
Merge.kif 11291-11296 |
| 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 20383-20405 | |
| (=> (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 4305-4314 | |
| (=> (instance ?FE FireExtinguisher) (exists (?PERSON) (and (instance ?PERSON Human) (capability Carrying instrument ?PERSON)))) |
Mid-level-ontology.kif 25386-25391 | |
| (=> (instance ?HT HandTool) (capability Carrying objectTransferred ?HT)) |
Cars.kif 4476-4478 | |
| (=> (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 29450-29458 | |
| (=> (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 4286-4297 |
|
|
|