| Object(object)
| | acantha, accessory, add-on, adulterator, agent, air_mass, alluvial_deposit, alluvial_sediment, alluvion, alluvium, antimatter, appendage, appendicle, appurtenance, archeological_remains, arm, assay, attachment, backup, ballast, barreled, barrelled, base, basic, bed, bezel, bight, bit, block, blockage, bodily, bond, border, bottom, branch, building_block, burden, bushing, catch, cell, chip, clog, closed_universe, closure, coast, coffee_grounds, communication, composition, computer_backup, conjunction... |
| appearance as argument number 1 |
|
|
| (subclass Object Physical) | Merge.kif 839-839 | Object is a subclass of physical |
| (documentation Object EnglishLanguage "Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of Processes, the complement of Objects in the Physical class. In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis.") | Merge.kif 840-845 | Object is a subclass of physical |
| (externalImage Object "http://upload.wikimedia.org/wikipedia/en/thumb/e/ ee/ Elaborate_wood_box_Tom_Tanaka.JPG/ 180px_Elaborate_wood_box_Tom_Tanaka.JPG") | pictureList.kif 1204-1204 | Object is a subclass of physical |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINST ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINST ?OBJ)) (capability ?PROCESS agent ?AGENT)) |
Catalog.kif 98-107 | If All of the following hold: (1) X offers items for sale in Y (2) Z is in 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 X is capable of doing V as a agent |
| (=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?PROCESS agent ?AGENT ?TIME)) |
Catalog.kif 139-150 | If All of the following hold: (1) X offers items for sale in Y during Z (2) W is in 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 (8) Z is an instance of S (9) S is a subclass of timeframe, then X is capable of being a agent in U during S |
| (=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5594-5601 | 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 (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (exists (?R ?O) (and (instance ?R (DeadFn ?ORG)) (part ?R ?O) (instance ?O ?ORG)))) |
Economy.kif 5603-5612 | 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 a dead Y, Z is a part of W, and W is an instance of Y |
| (=> (and (instance ?L Lathe) (instance ?OBJ Object) (instrument ?PROC ?L) (patient ?PROC ?OBJ)) (exists (?R) (and (instance ?R Rotating) (subProcess ?PROC ?R) (patient ?R ?OBJ) (agent ?R ?L)))) |
Economy.kif 6393-6404 | If X is an instance of lathe, Y is an instance of object, X is an instrument for Z, and Y is a patient of Z, then there exists W such that W is an instance of rotating, Z is a subprocess of W, Y is a patient of W, and X is an agent of W |
| (=> (and (instance ?O Object) (attribute ?O ForSale)) (exists (?ME) (and (instance ?ME MarketEconomics) (member ?O MarketEconomics)))) |
Economy.kif 6689-6696 | If X is an instance of object and for sale is an attribute of X, then there exists Y such that Y is an instance of market and X is a member of market |
| (=> (and (instance ?B Object) (roastedToTemperature ?B ?T)) (exists (?H) (and (instance ?H Heating) (patient ?H ?B) (holdsDuring (EndFn (WhenFn ?H)) (measure ?B (MeasureFn ?T CelsiusDegree)))))) |
Food.kif 468-478 | If X is an instance of object and Y is the temperature at which X is roasted to, then there exists Z such that Z is an instance of heating and X is a patient of Z and the measure of X is Y celsius degree(s) holds during the end of the time of existence of Z |
| (=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?B ?SC) (and (instance ?B Breaking) (causes ?C ?B) (subProcess ?B ?SC) (instance ?SC ShapeChange) (patient ?B ?O) (patient ?SC ?O)))) |
Food.kif 981-993 | If X is an instance of crushing, Y is a patient of X, and Y is an instance of object, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of breaking (3) X causes Z (4) Z is a subprocess of W (5) W is an instance of shape change (6) Y is a patient of Z (7) Y is a patient of W |
| (=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?SC) (and (result ?C ?SC) (instance ?SC ShapeChange) (patient ?SC ?O)))) |
Food.kif 995-1004 | If X is an instance of crushing, Y is a patient of X, and Y is an instance of object, then there exists Z such that Z is a result of X, Z is an instance of shape change, and Y is a patient of Z |
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Object)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA)))) |
Geography.kif 3726-3733 | If X is a natural hazard type in area of Y and X is a subclass of object, then there exists Z such that Z is an instance of X and Z is located at 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 281-292 | If X is an amenity in Y and X is a subclass of object, then For all Object Z: if Z is an instance of Y, then there exists W such that Z is an instance of Y, W is an instance of X, 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 (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))) ?HOTEL ?CUST)))) |
Hotel.kif 294-313 | If All of the following hold: (1) X is a guest at Y (2) X stays at Z (3) Z is an element of belongings of Y (4) Z is an instance of W (5) V is an amenity in W (6) V is a subclass of object, then there exists U such that U is an instance of V, U is located at Z, Y allows X to perform task of the type 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 |
| (=> (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 346-361 | If All of the following hold: (1) use of X is free for Y (2) X is a subclass of object (3) Z is an instance of Y (4) W stays at Z (5) Z is an element of belongings of V (6) U is an instance of X (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 U is price 0 united states dollar(s) for W |
| (=> (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 396-417 | If All of the following hold: (1) renters of X can pay to use Y (2) Y is a subclass of object (3) Z is an instance of X (4) W stays at 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 U is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
| (=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))) ?AGENT ?CUST)) |
Hotel.kif 504-520 | If X is a customer of Y, X has Z, Z is a subclass of object, and W is an instance of Z, then X allows Y to perform task of the type 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 Y is an agent of V, or Y experiences V |
| (=> (and (freePropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 548-563 | If use of X is free for Y, Z is an instance of X, Y is a customer of W, and Z is an instance of process and W is an agent of Z or W experiences Z or Y possesses Z, Z is an instance of object, and W uses Z, then Z is price 0 united states dollar(s) for Y |
| (=> (and (paidPropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (exists (?PRICE ?U) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 573-593 | If renters of X can pay to use Y, Z is an instance of Y, X is a customer of W, and Z is an instance of process and W is an agent of Z or W experiences Z or X possesses Z, Z is an instance of object, and W uses Z, then there exist V and U such that Z is price V U(s) for X and U is an instance of unit of currency and V is greater than 0 |
| (=> (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 815-836 | If All of the following hold: (1) use of X is free for Y (2) Z is an instance of Y (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) X is a subclass of object, then the statement there exist T, S such that T is an instance of X, 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 (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 847-868 | If All of the following hold: (1) X is free for customers renting Y (2) Z is an instance of Y (3) Z is an element of belongings of W (4) V is an instance of renting (5) Z is a patient of V (6) V ends up at U (7) T is an instance of X (8) W possesses T (9) W is a customer of U (10) T is an instance of process and U is an agent of T or U experiences T or W possesses T, T is an instance of object, and U uses T, then T is price 0 united states dollar(s) for W |
| (=> (and (paidFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (exists (?PRICE ?U) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 879-905 | If All of the following hold: (1) renters of X can pay to use 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) V ends up at U (7) T is an instance of Y (8) W possesses T (9) W is a customer of U (10) T is an instance of process and U is an agent of T or U experiences T or W possesses T, T is an instance of object, and U uses T, then there exist S and R such that T is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
| (=> (and (instance ?SEEING Seeing) (patient ?SEEING ?OBJ) (agent ?SEEING ?AGENT) (instance ?OBJ Object) (time ?SEEING ?TIME) (holdsDuring ?TIME (located ?OBJ ?PLACE))) (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)) |
Justice.kif 61-69 | If All of the following hold: (1) X is an instance of seeing (2) Y is a patient of X (3) Z is an agent of X (4) Y is an instance of object (5) X exists during W (6) Y is located at V holds during W, then Y is observed at time in place Z for W with V |
| (=> (instance ?O Object) (capability Translocation origin ?O)) |
Merge.kif 847-849 | If X is an instance of object, then X is capable of doing translocation as a origin |
| (=> (instance ?O Object) (capability Translocation destination ?O)) |
Merge.kif 851-853 | If X is an instance of object, then X is capable of doing translocation as a destination |
| (=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2812-2817 | If X wants Y and Y is an instance of object, then X desires X possesses Y |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 4098-4102 | If X is an instance of object and X is partly located in Y, then X and Y overlapsSpatially |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (and (instance ?X Region) (attribute ?X Vacuum)) (not (exists (?O) (and (instance ?O Object) (located ?O ?X))))) |
Cars.kif 368-376 | If X is an instance of region and vacuum is an attribute of X, then there doesn't exist Y such that Y is an instance of object and Y is located at X |
| (=> (instance ?GUIDE GuidingMotion) (exists (?MOVED) (and (patient ?GUIDE ?MOVED) (instance ?MOVED Object)))) |
ComputerInput.kif 78-83 | If X is an instance of guiding motion, then there exists Y such that Y is a patient of X and Y is an instance of object |
| (=> (instance ?PROCESS (OperatingFn ComputerMouse)) (exists (?SURFACE) (and (instance ?SURFACE Object) (attribute ?SURFACE Flat) (eventLocated ?PROCESS ?SURFACE)))) |
ComputerInput.kif 389-396 | If X is an instance of the operating of computer mouse, then there exists Y such that Y is an instance of object, flat is an attribute of Y, and X is located at Y |
| (=> (instance ?EXPORT Exporting) (exists (?ITEM) (and (instance ?ITEM Object) (patient ?EXPORT ?ITEM)))) |
Economy.kif 2640-2645 | If X is an instance of exporting, then there exists Y such that Y is an instance of object and Y is a patient of X |
| (=> (instance ?IMPORT Importing) (exists (?ITEM) (and (instance ?ITEM Object) (patient ?IMPORT ?ITEM)))) |
Economy.kif 2806-2811 | If X is an instance of importing, then there exists Y such that Y is an instance of object and Y is a patient of X |
| (=> (instance ?PLANER Planer) (hasPurpose ?PLANER (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2) (and (instance ?CUT Cutting) (instrument ?CUT ?PLANER) (resource ?CUT ?OBJ1) (instance ?OBJ1 Object) (material ?OBJ1 Wood) (result ?CUT ?OBJ2) (instance ?OBJ2 Object) (material Wood ?OBJ2) (attribute ?OBJ2 Flat) (instance ?U UnitOfLength) (height ?OBJ1 (MeasureFn ?H1 ?U)) (height ?OBJ2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 ?H2))))) |
Economy.kif 6410-6429 | If X is an instance of planer, then X has the purpose there exist Y, Z,, , W,, , V,, , U and T such that Y is an instance of cutting and X is an instrument for Y and Z is a resource for Y and Z is an instance of object and wood is made of Z and W is a result of Y and W is an instance of object and W is made of wood and flat is an attribute of W and V is an instance of unit of length and the height of Z is U V(s) and the height of W is T V(s) and U is greater than T |
| (=> (attribute ?OBJECT ForSale) (exists (?CA ?S) (and (instance ?CA CognitiveAgent) (instance ?OBJECT Object) (capability Selling agent ?CA) (capability Selling patient ?OBJECT) (desires ?CA (and (instance ?S Selling) (agent ?S ?CA) (patient ?S ?OBJECT)))))) |
Economy.kif 6660-6672 | If for sale is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) X is an instance of object (4) Y is capable of doing selling as a agent (5) X is capable of doing selling as a patient (6) Y desires Z is an instance of selling (7) Y is an agent of Z (8) X is a patient of Z |
| (=> (instance ?ME MarketEconomics) (exists (?ME ?O) (and (instance ?O Object) (member ?O ?ME) (attribute ?O ForSale)))) |
Economy.kif 6681-6687 | If X is an instance of market, then there exist X, Y such that Y is an instance of object, Y is a member of X, and for sale is an attribute of Y |
| (=> (instance ?X WetBar) (exists (?SINK ?OBJ) (and (instance ?SINK WashBasin) (part ?SINK ?X) (instance ?OBJ Object) (attribute ?OBJ Flat) (hasPurpose ?OBJ (exists (?PREP ?FOOD) (and (instance ?PREP Making) (result ?PREP ?FOOD) (or (instance ?FOOD PreparedFood) (instance ?FOOD Beverage)) (eventLocated ?PREP ?OBJ)))) (part ?OBJ ?X)))) |
Food.kif 331-348 | If X is an instance of wet bar, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of wash basin (3) Y is a part of X (4) Z is an instance of object (5) flat is an attribute of Z (6) Z has the purpose there exist W (7) V such that W is an instance of making (8) V is a result of W (9) V is an instance of prepared food or V is an instance of beverage (10) W is located at Z (11) Z is a part of X |
| (=> (instance ?C Crushing) (exists (?I ?CO ?O) (and (instance ?I Impacting) (subProcess ?C ?I) (instance ?CO Compressing) (patient ?I ?O) (patient ?CO ?O) (instance ?O Object)))) |
Food.kif 970-979 | If X is an instance of crushing, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of impacting (3) X is a subprocess of Y (4) Z is an instance of compressing (5) W is a patient of Y (6) W is a patient of Z (7) W is an instance of object |
| (=> (instance ?BRAND Brand) (exists (?OBJ) (and (instance ?OBJ Object) (productBrand ?BRAND ?OBJ)))) |
Hotel.kif 1294-1299 | If X is an instance of brand, then there exists Y such that Y is an instance of object and X is the brand of Y |
| (=> (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 1489-1502 | 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) W is an import commodity type of Y (6) Z is an instance of W (7) V is an instance of selling (8) Z is a patient of V (9) V is located at X |
| (=> (instance ?X BusinessCenter) (hasPurpose ?X (exists (?PERSON ?WORK ?OBJ) (and (attribute ?PERSON BusinessPerson) (instance ?WORK Working) (instance ?OBJ Object) (located ?OBJ ?X) (agent ?WORK ?PERSON) (or (instrument ?WORK ?OBJ) (resource ?WORK ?OBJ) (patient ?WORK ?OBJ)))))) |
Hotel.kif 1666-1679 | If X is an instance of business center, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that business person is an attribute of Y (3) Z is an instance of working (4) W is an instance of object (5) W is located at X (6) Y is an agent of Z (7) W is an instrument for Z or W is a resource for Z or W is a patient of Z |
| (=> (changesLocation ?EVENT ?OBJ) (and (instance ?EVENT Translocation) (instance ?OBJ Object) (or (patient ?EVENT ?OBJ) (agent ?EVENT ?OBJ) (experiencer ?EVENT ?OBJ)))) |
Merge.kif 11161-11169 | If X is a changes location of Y, then Y is an instance of translocation, X is an instance of object, and At least one of the following holds: (1) X is a patient of Y (2) X is an agent of Y (3) X experiences Y |
| (=> (instance ?MOTION Motion) (exists (?OBJ) (and (instance ?OBJ Object) (moves ?MOTION ?OBJ)))) |
Merge.kif 11176-11181 | If X is an instance of motion, then there exists Y such that Y is an instance of object and Y moves during X |
| (=> (instance ?T Translocation) (exists (?O ?D ?P) (and (instance ?O Object) (instance ?D Object) (instance ?P Object) (path ?T ?P) (origin ?T ?O) (destination ?T ?D)))) |
Merge.kif 11739-11748 | If X is an instance of translocation, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of object (3) Z is an instance of object (4) W is an instance of object (5) W is path along which X occurs (6) X originates at Y (7) X ends up at Z |
| (=> (instance ?PURSUE Pursuing) (exists (?OBJ) (and (instance ?OBJ Object) (patient ?PURSUE ?OBJ)))) |
Merge.kif 13054-13059 | If X is an instance of pursuing, then there exists Y such that Y is an instance of object and Y is a patient of X |
| (=> (instance ?S Searching) (exists (?AGENT ?OBJ ?LOC) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?OBJ Physical) (patient ?S ?OBJ) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT)))) |
Merge.kif 13146-13158 | If X is an instance of searching, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Y is an agent of X (4) Z is an instance of physical (5) Z is a patient of X (6) W is an instance of object (7) Z is located at W (8) X has the purpose Y knows Z is located at W for Y |
| (=> (and (instance ?S Searching) (patient ?S ?OBJ) (instance ?OBJ Physical)) (exists (?LOC ?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT)))) |
Merge.kif 13160-13173 | If X is an instance of searching, Y is a patient of X, and Y is an instance of physical, then there exist Z, W such that W is an instance of cognitive agent, W is an agent of X, Z is an instance of object, Y is located at Z, and X has the purpose W knows Y is located at Z for W |
| (=> (relativeAngle ?L1 ?L2 ?M) (and (instance ?L1 Object) (attribute ?L1 LongAndThin) (instance ?L2 Object) (attribute ?L2 LongAndThin) (connected ?L1 ?L2) (not (equal ?L1 ?L2)))) |
Merge.kif 18097-18106 | If the relative angle between X and Y is Z, then All of the following hold: (1) X is an instance of object (2) long and thin is an attribute of X (3) Y is an instance of object (4) long and thin is an attribute of Y (5) X is connected to Y (6) equal X and Y |
| (=> (instance ?VM VendingMachine) (hasPurpose ?VM (exists (?H ?O ?V) (and (instance ?V Vending) (instance ?H Human) (instance ?O Object) (objectTransferred ?V ?O) (instrument ?V ?VM) (origin ?V ?VM) (not (instance ?O Currency)) (destination ?V ?H))))) |
Mid-level-ontology.kif 2440-2453 | If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of vending (3) Y is an instance of human (4) Z is an instance of object (5) the object transferred in W is Z (6) X is an instrument for W (7) W originates at X (8) Z is not an instance of currency (9) W ends up at Y |
| (=> (attribute ?X Locked) (instance ?X Object)) |
Mid-level-ontology.kif 3196-3198 | If locked is an attribute of X, then X is an instance of object |
| (=> (instance ?PD PaintingDevice) (hasPurpose ?PD (exists (?STUFF ?COVER ?SURF ?OBJ) (and (instance ?STUFF Substance) (instance ?COVER Covering) (instance ?OBJ Object) (surface ?SURF ?OBJ) (agent ?COVER ?PD) (instrument ?COVER ?STUFF) (patient ?COVER ?SURF))))) |
Mid-level-ontology.kif 3722-3733 | If X is an instance of painting device, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) Z is an instance of covering (4) V is an instance of object (5) W is a surface of V (6) X is an agent of Z (7) Y is an instrument for Z (8) W is a patient of Z |
| (=> (instance ?X Sculpting) (exists (?SC ?OBJ) (and (instance ?OBJ Object) (patient ?X ?OBJ) (instance ?SC ShapeChange) (subProcess ?SC ?X) (patient ?SC ?OBJ)))) |
Mid-level-ontology.kif 3740-3748 | If X is an instance of sculpting, then there exist Y, Z such that Z is an instance of object, Z is a patient of X, Y is an instance of shape change, Y is a subprocess of X, and Z is a patient of Y |
| (=> (instance ?BAG Bag) (hasPurpose ?BAG (exists (?T ?OBJ) (and (instance ?T Transfer) (instance ?OBJ Object) (contains ?BAG ?OBJ) (instrument ?T ?BAG) (patient ?T ?OBJ))))) |
Mid-level-ontology.kif 4923-4932 | If X is an instance of bag, then X has the purpose there exist Y, Z such that Y is an instance of transfer, Z is an instance of object, X contains Z, X is an instrument for Y, and Z is a patient of Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|