![]() |
![]() ![]() ![]()
|
![]() |
|
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 10620-10621 | |
(externalImage Carrying "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 39/ Pigeon_2007-1.jpg/ 180px-Pigeon_2007-1.jpg") | pictureList-ImageNet.kif 38-38 | |
(subclass Carrying Transfer) | Merge.kif 10618-10618 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Carrying "携带") | domainEnglishFormat.kif 13360-13360 | |
(termFormat ChineseTraditionalLanguage Carrying "攜帶") | domainEnglishFormat.kif 13359-13359 | |
(termFormat EnglishLanguage Carrying "carrying") | domainEnglishFormat.kif 13358-13358 |
antecedent |
![]() |
(=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL)))) |
Merge.kif 10623-10628 |
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 18291-18312 | |
(=> (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 2339-2354 | |
(=> (attribute ?X Porter) (hasPurpose ?X (exists (?LUGGAGE ?CARRY) (and (instance ?LUGGAGE TravelContainer) (instance ?CARRY Carrying) (agent ?CARRY ?X))))) |
Hotel.kif 2330-2337 | |
(=> (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 4819-4828 | |
(=> (instance ?FE FireExtinguisher) (exists (?PERSON ?CARRY) (and (instance ?PERSON Human) (instance ?CARRY Carrying) (patient ?CARRY ?FE) (capability ?CARRY instrument ?PERSON)))) |
Mid-level-ontology.kif 23445-23452 | |
(=> (instance ?HT HandTool) (capability Carrying objectTransferred ?HT)) |
Cars.kif 4450-4452 | |
(=> (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 27742-27750 | |
(=> (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 4801-4811 |
![]() |
![]() |