| (=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 798-820 | If All of the following hold: (1) function room amenity X and Y (2) Z is an instance of X (3) Z is an element of belongings of W (4) V is an instance of Renting (5) Z is a patient of V (6) W is an agent of V (7) V ends up at U (8) Y is a subclass of object, then the statement there exist T, S such that T is an instance of Y, S is an instance of process, T is a resource for S, T is an instrument for S, T is a patient of S, and U is an agent of S, or U experiences S has the modal force of Possibility |
| (=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINST ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINST ?OBJ)) (modalAttribute (agent ?PROCESSINST ?AGENT) Possibility)) |
Catalog.kif 99-109 | If All of the following hold: (1) offers X and Y (2) catalogItem Z and Y (3) Z is a subclass of object (4) W is an instance of V (5) V is a subclass of process (6) U is an instance of Z (7) U is a patient of W, then the statement X is an agent of W has the modal force of Possibility |
| (=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (exists (?R ?O) (and (instance ?R (DeadFn ?ORG)) (part ?R ?O) (instance ?O ?ORG)))) |
Economy.kif 5097-5107 | If equal X and Object made from Y and X is a subclass of object, then there exist Z, W such that Z is an instance of DeadFn Y, Z is a part of W, and W is an instance of Y |
| (=> (and (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (forall (?R) (=> (instance ?R ?ROOM) (exists (?O) (and (instance ?R ?ROOM) (instance ?O ?OBJ) (located ?O ?R)))))) |
Hotel.kif 270-281 | If room amenity X and Y and Y is a subclass of object, then For all Object Z: if Z is an instance of X, then there exists W such that Z is an instance of X, W is an instance of Y, and W is located at Z |
| (=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight ?HOTEL ?CUST (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))))))) |
Hotel.kif 283-303 | If All of the following hold: (1) guest X and Y (2) stays X and Z (3) Z is an element of belongings of Y (4) Z is an instance of W (5) room amenity W and V (6) V is a subclass of object, then there exists U such that U is an instance of V, U is located at Z, X allows there exists T such that X is an agent of T, and U is an instrument for T or U is a patient of T or U is a resource for T to perform task of the type Y |
| (=> (and (paidRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (located ?P ?R) (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (exists (?PRICE ?U) (and (price ?O (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 387-409 | If All of the following hold: (1) paid room amenity X and Y (2) Y is a subclass of object (3) Z is an instance of X (4) stays W and Z (5) Z is an element of belongings of V (6) U is an instance of Y (7) U is located at Z (8) T is an instance of process (9) W is an agent of T (10) At least one of the following holds: (1) T is located at Z (2) U is a patient of T (3) U is an instrument for T (4) U is a resource for T, then there exist S and R such that price U, S R(s) and W and R is an instance of UnitOfCurrency and S is greater than 0 |
| (=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ)) (exists (?AGENTCLASS) (and (instance ?AGENT ?AGENTCLASS) (holdsDuring ?TIMEINT (capability ?PROCESS agent ?AGENTCLASS))))) |
Catalog.kif 141-154 | If All of the following hold: (1) offersAtTime X, Y and Z (2) catalogItem W and Y (3) W is a subclass of object (4) V is an instance of U (5) U is a subclass of process (6) T is an instance of W (7) T is a patient of V, then there exists S such that X is an instance of S and S is capable of doing U as a agent holds during Z |
| (=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight ?AGENT ?CUST (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))))) |
Hotel.kif 493-509 | If customer X and Y, property amenity Y and Z, Z is a subclass of object, and W is an instance of Z, then X allows there exists V such that V is an instance of process, W is a resource for V, W is an instrument for V, W is a patient of V, and X is an agent of V, or X experiences V to perform task of the type Y |
| (=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ ?T ?H ?HARM) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 20245-20266 | If X is an instance of Protecting, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of object, object is a patient of X, V is a subclass of the class described by W, X prevents the occurrence of V or hinders X, and V |
| (=> (instance ?T Truck) (exists (?L) (and (subclass ?L Object) (cargoType ?T ?L)))) |
Transportation.kif 1935-1940 | If X is an instance of Truck, then there exists Y such that Y is a subclass of object, cargoType X, and Y |
| (=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5088-5095 | If equal X and Object made from Y and X is a subclass of object, then Y is a subclass of organism or Y is a subclass of anatomical structure |
| (=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X)))) |
Hotel.kif 1428-1441 | If duty free is an attribute of X and X is an instance of Store, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of geopolitical area (3) X is located at Y (4) W is a subclass of object (5) importCommodityType Y (6) W (7) Z is an instance of W (8) V is an instance of selling (9) Z is a patient of V (10) V is located at X |
| (=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 335-352 | If All of the following hold: (1) free room amenity X and Y (2) Y is a subclass of object (3) Z is an instance of X (4) stays W and Z (5) Z is an element of belongings of V (6) U is an instance of Y (7) U is located at Z (8) T is an instance of process (9) W is an agent of T (10) At least one of the following holds: (1) U is a patient of T (2) U is an instrument for T (3) U is a resource for T, then price U, 0 UnitedStatesDollar(s) and W |
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Object)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA)))) |
Geography.kif 3444-3451 | If naturalHazardTypeInArea X and Y and Y is a subclass of object, then there exists Z such that Z is an instance of Y and Z is located at X |
| (subclass Object Physical) | Merge.kif 771-771 | Object is a subclass of physical |
| (subclass TornadoDamage Object) | Weather.kif 2881-2881 | Tornado damage is a subclass of object |
| (subclass Shrapnel Object) | MilitaryDevices.kif 2253-2253 | Shrapnel is a subclass of object |
| (subclass TwoDimensionalObject Object) | Mid-level-ontology.kif 5349-5349 | TwoDimensionalObject is a subclass of object |
| (subclass TransitwayObstacle Object) | Mid-level-ontology.kif 16762-16762 | TransitwayObstacle is a subclass of object |
| (subclass SphericalObject Object) | Mid-level-ontology.kif 27874-27874 | SphericalObject is a subclass of object |
| (subclass SelfConnectedObject Object) | Merge.kif 778-778 | Self connected object is a subclass of object |
| (subclass Region Object) | Merge.kif 1152-1152 | Region is a subclass of object |
| (subclass AutonomousAgent Object) | Merge.kif 1394-1394 | Agent is a subclass of object |
| (subclass AstronomicalBody Object) | Merge.kif 13274-13274 | Astronomical body is a subclass of object |
| (subclass Artifact Object) | Merge.kif 14643-14643 | Artifact is a subclass of object |
| (subclass ContactSite Object) | Merge.kif 14728-14728 | Contact site is a subclass of object |
| (subclass Magnet Object) | Cars.kif 3434-3434 | Magnet is a subclass of object |