![]() |
![]() ![]() ![]()
|
![]() |
|
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 11201-11202 | |
(subclass Carrying Transfer) | Merge.kif 11199-11199 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Carrying "携带") | domainEnglishFormat.kif 13353-13353 | |
(termFormat ChineseTraditionalLanguage Carrying "攜帶") | domainEnglishFormat.kif 13352-13352 | |
(termFormat EnglishLanguage Carrying "carrying") | domainEnglishFormat.kif 13351-13351 |
antecedent |
![]() |
(=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL)))) |
Merge.kif 11204-11209 |
consequent |
![]() |
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (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 19919-19940 | |
(=> (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 2365-2380 | |
(=> (attribute ?X Porter) (hasPurpose ?X (exists (?LUGGAGE ?CARRY) (and (instance ?LUGGAGE TravelContainer) (instance ?CARRY Carrying) (agent ?CARRY ?X))))) |
Hotel.kif 2356-2363 | |
(=> (instance ?AG AnimalGuiding) (exists (?A ?C) (and (instance ?A Animal) (agent ?AG ?H) (instance ?C Carrying) (agent ?C ?A) (objectTransferred ?C ?H) (instrument ?AG ?A)))) |
Mid-level-ontology.kif 4235-4244 | |
(=> (instance ?FE FireExtinguisher) (exists (?PERSON ?CARRY) (and (instance ?PERSON Human) (capability Carrying instrument ?PERSON)))) |
Mid-level-ontology.kif 24844-24849 | |
(=> (instance ?HT HandTool) (capability Carrying objectTransferred ?HT)) |
Cars.kif 4479-4481 | |
(=> (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 28922-28930 | |
(=> (instance ?SADDLE Saddle) (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 4217-4227 |
![]() |
![]() |