Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Carrying
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Carrying Transfer) | Merge.kif 11642-11642 | Carrying is a subclass of transfer |
| (documentation Carrying EnglishLanguage "Transfer from one point to another by means of an Animal or Human.") | Merge.kif 11644-11645 | Carrying is a subclass of transfer |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL)))) |
Merge.kif 11647-11652 | If X is an instance of carrying, then there exists Y such that Y is an instance of animal and Y is an instrument for X |
| consequent |
|
|
| (=> (instance ?GUN ArtilleryGun) (not (exists (?A ?C) (and (instance ?A Human) (instance ?C Carrying) (instrument ?C ?A) (objectTransferred ?C ?GUN))))) |
Mid-level-ontology.kif 1889-1897 | If X is an instance of artillery gun, then there don't exist Y, Z such that Y is an instance of human, Z is an instance of carrying, Y is an instrument for Z, and the object transferred in Z is X |
| (=> (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 1924-1940 | If X is an instance of firearm, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is a subclass of carrying (4) W is an instance of Z (5) the object transferred in W is X (6) Y is capable of doing Z as a instrument (7) there doesn't exist V such that V is an instance of human (8) equal Y (9) V (10) V is an instrument for W |
| (=> (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 4935-4946 | If X is an instance of saddle, then there exists Y such that X is capable of doing the class described by Y as a instrument |
| (=> (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 4954-4963 | If X is an instance of animal guiding, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of animal (3) W is an agent of X (4) Z is an instance of carrying (5) Y is an agent of Z (6) the object transferred in Z is W (7) Y is an instrument for X |
| (=> (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 22843-22865 | If All of the following hold: (1) waiter is an attribute of X (2) X is an instance of human (3) Y employs X (4) Y is an instance of restaurant (5) Y is a customer of Z (6) Z is located at W (7) W is an instance of table, then All of the following hold: (1) there exist V, U,, , T (2) S such that Y possesses S (3) S is an instance of kitchen area (4) V is an instance of dining area (5) W is located at V (6) X has the purpose U is an instance of carrying (7) X is an agent of U (8) U originates at S (9) U ends up at W (10) T is a patient of U (11) T is an instance of food for human |
| (=> (instance ?FE FireExtinguisher) (exists (?PERSON) (and (instance ?PERSON Human) (capability Carrying instrument ?PERSON)))) |
Mid-level-ontology.kif 27793-27798 | If X is an instance of fire extinguisher, then there exists Y such that Y is an instance of human and Y is capable of doing carrying as a instrument |
| (=> (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 32150-32158 | If X is an instance of portable computer, then X has the purpose there exist Y, Z such that Y is an instance of carrying, Z is an instance of human, X is a patient of Y, and Z is an agent of Y |
| (=> (instance ?HT HandTool) (capability Carrying objectTransferred ?HT)) |
Cars.kif 4368-4370 | If X is an instance of hand tool, then X is capable of doing carrying as a object transferred |
| (=> (attribute ?X Porter) (hasPurpose ?X (exists (?LUGGAGE ?CARRY) (and (instance ?LUGGAGE TravelContainer) (instance ?CARRY Carrying) (agent ?CARRY ?X))))) |
Hotel.kif 2401-2408 | If porter is an attribute of X, then X has the purpose there exist Y, Z such that Y is an instance of travel container, Z is an instance of carrying, and X is an agent of Z |
| (=> (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 2410-2425 | If All of the following hold: (1) X is a customer of Y (2) X employs Z (3) traveler accommodation is an attribute of X (4) porter is an attribute of Z (5) Y possesses W (6) W is an instance of travel container, then there exist V, U such that V is an instance of hotel unit, U is an instance of carrying, Z is an agent of U, and U ends up at V or U originates at V |
| (=> (instance ?P MilitaryPlatform) (hasPurpose ?P (exists (?C ?W ?S) (and (instance ?C Carrying) (instrument ?C ?P) (objectTransferred ?S ?W) (instance ?W Weapon))))) |
Military.kif 132-140 | If X is an instance of military platform, then X has the purpose there exist Y, Z, W such that Y is an instance of carrying, X is an instrument for Y, the object transferred in W is Z, and Z is an instance of weapon |
| (=> (instance ?D GuidedMissileDestroyer) (hasPurpose ?D (exists (?C ?G) (and (instance ?C Carrying) (instrument ?C ?D) (patient ?C ?G) (instance ?G GuidedMissile))))) |
Military.kif 328-336 | If X is an instance of guided missile destroyer, then X has the purpose there exist Y, Z such that Y is an instance of carrying, X is an instrument for Y, Z is a patient of Y, and Z is an instance of guided missile |
| (=> (canCarry ?ROBOT ?OBJECT) (modalAttribute (exists (?CARRY) (and (instance ?CARRY Carrying) (instrument ?CARRY ?ROBOT) (patient ?CARRY ?OBJECT))) Possibility)) |
Robot.kif 14-21 | If canCarry X and Y, then the statement there exists Z such that Z is an instance of carrying, X is an instrument for Z, and Y is a patient of Z has the modal force of possibility |
|