| appearance as argument number 1 |
|
|
| (subclass Process Physical) | Merge.kif 1656-1656 | Process is a subclass of physical |
| (documentation Process EnglishLanguage "The class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like Pursuing and Reading, and biological processes. The formal definition is: anything that occurs in time but is not an Object. Note that a Process may have participants 'inside' it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis.") | Merge.kif 1657-1665 | Process is a subclass of physical |
| (externalImage Process "http://upload.wikimedia.org/wikipedia/commons/3/ 38/ Clepsydra_Geyser_at_Fountain_Paint_Pot_in_Yellowstone-750px.JPG") | pictureList.kif 6793-6793 | Process 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 Process)) (capability ?CLASS agent ?AGENT)) |
Catalog.kif 88-93 | If X offers items for sale in Y, Z is in Y, and Z is a subclass of process, then X is capable of doing Z as a agent |
| (=> (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 Process) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?CLASS agent ?AGENT ?TIME)) |
Catalog.kif 130-137 | If X offers items for sale in Y during Z, W is in Y, W is a subclass of process, Z is an instance of V, and V is a subclass of timeframe, then X is capable of being a agent in W during V |
| (=> (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 (subjectiveAttribute ?AGENT1 Quick ?PERSON) (subjectiveAttribute ?AGENT2 Slow ?PERSON) (instance ?PROCESS1 ?CLASS) (instance ?PROCESS2 ?CLASS) (subclass ?CLASS Process) (agent ?PROCESS1 ?AGENT1) (agent ?PROCESS2 ?AGENT2)) (and (instance ?U UnitOfDuration) (duration (WhenFn ?PROCESS1) (MeasureFn ?TIME1 ?U)) (duration (WhenFn ?PROCESS2) (MeasureFn ?TIME2 ?U)) (greaterThan ?TIME2 ?TIME1))) |
Dining.kif 1044-1059 | If All of the following hold: (1) X believes Y is quick (2) X believes Z is slow (3) W is an instance of V (4) U is an instance of V (5) V is a subclass of process (6) Y is an agent of W (7) Z is an agent of U, then T is an instance of unit of duration, duration of the time of existence of W is S T(s), duration of the time of existence of U is R T(s), and R is greater than S |
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Process)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA) (overlapsTemporally (WhenFn ?ITEM) (WhenFn ?AREA))))) |
Geography.kif 3735-3745 | If X is a natural hazard type in area of Y and X is a subclass of process, then there exists Z such that Z is an instance of X, Z is located at Y, and the time of existence of Y overlaps the time of existence of Z |
| (=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6)) |
Geography.kif 4016-4022 | If X is an instance of process, Y is a patient of X, Y is an instance of water, and the measure of Y is Z PH value(s), then Z is less than 5.6 |
| (=> (and (roomAmenity ?ROOM ?SVC) (subclass ?SVC Process)) (modalAttribute (exists (?X ?S ?HOTEL ?PROC) (and (instance ?X ?ROOM) (element ?X (PropertyFn ?HOTEL)) (agent ?S ?HOTEL) (or (instance ?S ?SVC) (and (instance ?PROC ?SVC) (subProcess ?S ?PROC))) (located ?S ?X))) Possibility)) |
Hotel.kif 317-332 | If X is an amenity in Y and X is a subclass of process, then All of the following hold: (1) the statement there exist Z, W,, , V (2) U such that Z is an instance of Y (3) Z is an element of belongings of V (4) V is an agent of W (5) W is an instance of X or U is an instance of X (6) W is a subprocess of U (7) W is located at Z has the modal force of possibility |
| (=> (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 (freeRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0.0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 364-378 | If All of the following hold: (1) use of X is free for Y (2) X is a subclass of process (3) Z is an instance of Y (4) W stays at Z (5) Z is an element of belongings of V (6) W is a patient of U (7) U is an instance of X or T is an instance of X and U is a subprocess of T (8) U is located at Z, then U is price 0.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 (paidRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (exists (?PRICE ?U) (and (price ?P (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 419-438 | If All of the following hold: (1) renters of X can pay to use Y (2) Y is a subclass of process (3) Z is an instance of X (4) W stays at Z (5) Z is an element of belongings of V (6) W is a patient of U (7) U is an instance of Y or T is an instance of Y and U is a subprocess of T (8) U is located at Z, 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 Process)) (modalAttribute (exists (?S ?LOC ?PROC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHYS) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility)) |
Hotel.kif 522-538 | If X is a customer of Y, X has Z, and Z is a subclass of process, then All of the following hold: (1) the statement there exist W, V (2) U such that V is an element of belongings of X (3) X is an agent of W (4) Y is a patient of W (5) W is an instance of Z or U is an instance of Z (6) W is a subprocess of U (7) W is located at V has the modal force of possibility |
| (=> (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 (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 ?DEVICE ElectricDevice) (instance ?BATTERY Battery) (instance ?PROC Process) (patient ?PROC Electricity) (destination ?PROC ?DEVICE) (agent ?PROC ?BATTERY)) (instance ?DEVICE BatteryPoweredDevice)) |
HouseholdAppliances.kif 53-61 | If All of the following hold: (1) X is an instance of electric device (2) Y is an instance of battery (3) Z is an instance of process (4) electricity is a patient of Z (5) Z ends up at X (6) Y is an agent of Z, then X is an instance of battery powered device |
| (=> (instance ?PROC1 Process) (exists (?PROC2) (causes ?PROC2 ?PROC1))) |
Merge.kif 3830-3833 | If X is an instance of process, then there exists Y such that Y causes X |
| (=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2)) |
Merge.kif 3947-3953 | If X is an instance of case role, X Y and Z, Y is an instance of W, and W is a subclass of process, then Z is capable of doing W as a X |
| (=> (and (instance ?P Process) (measure ?P ?Q)) (instance ?Q TimeDependentQuantity)) |
Merge.kif 7578-7582 | If X is an instance of process and the measure of X is Y, then Y is an instance of time dependent quantity |
| (=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R)))) |
Mid-level-ontology.kif 3027-3035 | If X is an instance of electric device, Y is an instance of process, and X is an instrument for Y, then there exists Z such that Z is an instance of electricity and Z is a resource for Y |
| (=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT AutonomousAgent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS)))) |
Mid-level-ontology.kif 17405-17418 | If X is an instance of commenting, Y is an instance of process, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of agent (3) W is an instance of speaking (4) V is an instance of looking (5) Z is an agent of W (6) Z is an agent of V (7) Y is a patient of V (8) W includes a reference to Y |
| (=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process) (subOrganization ?DEP ?COMP)) (inhibits ?DEP ?PHYS)) |
Mid-level-ontology.kif 20309-20314 | If equal X and Y is preventing Z, Z is a subclass of process, and X is a part of the organization Y, then X inhibits Z |
| (=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 25612-25618 | If X Y and Z, X is an instance of case role, Y is an instance of process, and Z is an instance of object, then Z plays role in event X for Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (and (instance ?TEXT DeathCertificate) (instance ?D Death) (instance ?A Human) (experiencer ?D ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N ?PROC) (and (deathdate ?A ?DAY) (instance ?DAY Day) (deathplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name) (causes ?PROC ?D) (instance ?PROC Process))))) |
Biography.kif 287-303 | If X is an instance of death certificate, Y is an instance of death, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V,, , U (2) T such that W is a deathdate of Z (3) W is an instance of day (4) V is a deathplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name (8) T causes Y (9) T is an instance of process |
| (=> (instance ?G Generator) (hasPurpose ?G (exists (?P ?E) (and (instance ?P Process) (instance ?E Electricity) (result ?P ?E) (instrument ?P ?G))))) |
Cars.kif 1194-1202 | If X is an instance of generator, then X has the purpose there exist Y, Z such that Y is an instance of process, Z is an instance of electricity, Z is a result of Y, and X is an instrument for Y |
| (=> (instance ?H HydraulicFluid) (hasPurpose ?H (exists (?P) (and (instance ?P Process) (instrument ?P ?H) (holdsDuring (WhenFn ?P) (attribute ?H Liquid)))))) |
Cars.kif 1593-1602 | If X is an instance of hydraulic fluid, then X has the purpose there exists Y such that Y is an instance of process, X is an instrument for Y, and liquid is an attribute of X holds during the time of existence of Y |
| (=> (instance ?ECM EngineControlModule) (hasPurpose ?ECM (exists (?A ?E ?P1 ?P2) (and (instance ?A Automobile) (instance ?E Engine) (instance ?P1 Process) (instance ?P2 Process) (part ?E ?A) (part ?ECM ?A) (eventLocated ?P1 ?ECM) (eventLocated ?P2 ?E) (causes ?P1 ?P2))))) |
Cars.kif 2516-2529 | If X is an instance of engine control module, 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 automobile (3) Z is an instance of engine (4) W is an instance of process (5) V is an instance of process (6) Z is a part of Y (7) X is a part of Y (8) W is located at X (9) V is located at Z (10) W causes V |
| (=> (instance ?X SafetyDevice) (hasPurpose ?X (exists (?P ?H ?I ?T) (and (instance ?H Human) (instance ?P Process) (patient ?P ?H) (instrument ?P ?X) (prevents ?P (KappaFn ?I (and (instance ?I Injuring) (=> (holdsDuring ?T (experiencer ?I ?H)) (not (holdsDuring ?T (patient ?P ?H))))))))))) |
Cars.kif 3433-3451 | If X is an instance of safety device, then X has the purpose there exist Y, Z,, , W, V such that Z is an instance of human, Y is an instance of process, Z is a patient of Y, X is an instrument for Y, and Y prevents the occurrence of the class described by W |
| (=> (and (instance ?SH SafetyHarness) (instance ?PERSON Animal) (wears ?PERSON ?SH)) (hasPurpose ?SH (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (instrument ?PROC ?SH) (patient ?PROC ?PERSON) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?F ?H ?T) (and (instance ?H Human) (experiencer ?I ?H) (instance ?F Falling) (experiencer ?F ?H) (causes ?F ?I) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ))))) |
Cars.kif 3467-3495 | If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W |
| (=> (and (instance ?HP HearingProtection) (instance ?PERSON Human) (wears ?PERSON ?HP)) (hasPurpose ?HP (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN ?T) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP))))) |
Cars.kif 3525-3554 | If X is an instance of hearing protection, Y is an instance of human, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, W is a subclass of the class described by V, Z prevents the occurrence of W, and X is an instrument for Z |
| (=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (exists (?PERSON) (and (instance ?PERSON Human) (wears ?PERSON ?PE))) (exists (?PROTECT ?EYE ?INJ ?I ?T) (and (instance ?PROTECT Process) (instrument ?PROTECT ?PE) (subclass ?INJ (KappaFn ?I (exists (?HUMAN) (and (instance ?I Injuring) (instance ?EYE Eye) (instance ?HUMAN Human) (properPart ?EYE ?HUMAN) (patient ?I ?EYE) (=> (holdsDuring ?T (patient ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROTECT ?PERSON)))))))) (prevents ?PROTECT ?INJ)))))) |
Cars.kif 3560-3587 | If X is an instance of protective eyewear, then X has the purpose there exists Y such that Y is an instance of human, Y wears Xthere exist Z, W,, , V,, , U, T such that Z is an instance of process, X is an instrument for Z, V is a subclass of the class described by U, and Z prevents the occurrence of V |
| (=> (and (instance ?X Respirator) (instance ?PERSON Animal) (wears ?PERSON ?X)) (hasPurpose ?X (exists (?INHAL ?INJ ?PROTECT ?I) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL)))))))))) |
Cars.kif 3609-3630 | If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U |
| (=> (instance ?X SeatBelt) (hasPurpose ?X (exists (?PERSON ?STOP ?VEHICLE ?M) (and (instance ?VEHICLE Vehicle) (part ?X ?VEHICLE) (instance ?PERSON Human) (contains ?VEHICLE ?PERSON) (instance ?STOP Process) (prevents ?STOP (KappaFn ?M (and (instance ?M Translocation) (patient ?M ?PERSON) (exists (?COLLISION) (and (or (instance ?COLLISION Decelerating) (instance ?COLLISION Impacting)) (experiencer ?COLLISION ?VEHICLE) (causes ?COLLISION ?M))) (modalAttribute (exists (?INJ ?IMP) (and (instance ?INJ Injuring) (instance ?IMP Impacting) (causes ?M ?INJ) (patient ?INJ ?PERSON) (subProcess ?IMP ?INJ))) Possibility)))))))) |
Cars.kif 3753-3782 | If X is an instance of seat belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of vehicle (3) X is a part of W (4) Y is an instance of human (5) W contains Y (6) Z is an instance of process (7) Z prevents the occurrence of the class described by V |
| (=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2 ?H) (and (instance ?R1 Region) (instance ?R2 Region) (located ?R1 ?ROOM) (located ?R2 ?ROOM) (not (equal ?R1 ?R2)) (orientation ?R1 ?R2 Adjacent) (exists (?P1 ?P2) (and (instance ?P1 Process) (instance ?P2 Process) (hasPurpose ?R1 ?P1) (hasPurpose ?R2 ?P2))) (=> (and (instance ?H AutonomousAgent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1))))))) |
Dining.kif 956-980 | If open layout is an attribute of X, then X is an instance of room and All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of region (3) Z is an instance of region (4) Y is located at X (5) Z is located at X (6) equal Y (7) Z (8) Y is adjacent to Z (9) there exist V (10) U such that V is an instance of process (11) U is an instance of process (12) Y has the purpose V (13) Z has the purpose U (14) W is an instance of agent (15) W is located at ZW is capable of doing seeing as a agent (16) Y is capable of doing seeing as a patient |
| (=> (equal ?GNP (GrossNationalProductFn ?GPA ?Y)) (exists (?PRODANDSERV) (and (instance ?PRODANDSERV Collection) (monetaryValue ?PRODANDSERV ?GNP) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y)) (member ?PRODUCT ?PRODANDSERV)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y)) (member ?SERVICE ?PRODANDSERV))))) |
Economy.kif 1029-1050 | If equal X and gross national product of Y during Z, then All of the following hold: (1) there exists W such that W is an instance of collection (2) value of W is X (3) V is an instance of manufacture (4) U is a result of V (5) T is an agent of V (6) T is a member of the citizenry of Y (7) finishes during the time of existence of V (8) ZU is a member of W (9) S is an instance of process (10) service is an attribute of S (11) R is an agent of S (12) R is a member of the citizenry of Y (13) finishes during the time of existence of S (14) ZS is a member of W |
| (=> (attribute ?PROC ServiceInEconomics) (exists (?S) (and (instance ?PROC Process) (hasPurpose ?PROC (and (instance ?S Selling) (patient ?S ?PROC)))))) |
Economy.kif 6886-6894 | If service is an attribute of X, then there exists Y such that X is an instance of process, X has the purpose Y is an instance of selling, and X is a patient of Y |
| (=> (instance ?GAS GoodsAndServices) (and (instance ?GPA GeopoliticalArea) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y) (located ?M ?GPA)) (member ?PRODUCT ?GAS)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y) (located ?SERVICE ?GPA)) (member ?SERVICE ?GAS)))) |
Economy.kif 6901-6922 | If X is an instance of goods and services, then Y is an instance of geopolitical area, if All of the following hold: (1) Z is an instance of manufacture (2) W is a result of Z (3) V is an agent of Z (4) V is a member of the citizenry of Y (5) finishes during the time of existence of Z and U (6) Z is located at Y, then W is a member of X, and if All of the following hold: (1) T is an instance of process (2) service is an attribute of T (3) S is an agent of T (4) S is a member of the citizenry of Y (5) finishes during the time of existence of T and U (6) T is located at Y, then T is a member of X |
| (=> (ingredientAmount ?ING ?FOOD ?AMT) (exists (?PROC ?X ?Y) (and (instance ?X ?ING) (measure ?X ?AMT) (instance ?Y ?FOOD) (instance ?PROC Process) (patient ?PROC ?X) (result ?PROC ?Y)))) |
Food.kif 1666-1675 | If X of Y is used in Z, then All of the following hold: (1) there exist W, V (2) U such that V is an instance of Y (3) the measure of V is X (4) U is an instance of Z (5) W is an instance of process (6) V is a patient of W (7) U is a result of W |
| (=> (instance ?B Burrow) (exists (?P ?A) (and (instance ?P Process) (agent ?P ?A) (instance ?A Animal) (not (instance ?A Human)) (result ?P ?B)))) |
Geography.kif 7652-7661 | If X is an instance of burrow, then there exist Y, Z such that Y is an instance of process, Z is an agent of Y, Z is an instance of animal, Z is not an instance of human, and X is a result of Y |
| (=> (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 (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 |
| (=> (instance ?CHECK CheckInService) (exists (?AGENT ?CUST ?GREET ?SERVICE) (and (customer ?CUST ?AGENT) (serviceProvider ?CHECK ?AGENT) (instance ?GREET Greeting) (agent ?GREET ?CUST) (destination ?GREET ?AGENT) (subProcess ?GREET ?CHECK) (instance ?SERVICE Process) (agent ?SERVICE ?AGENT) (causes ?CHECK ?SERVICE)))) |
Hotel.kif 2165-2177 | If X is an instance of check-in service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a customer of Z (3) Y provides a service during X (4) W is an instance of greeting (5) Z is an agent of W (6) W ends up at Y (7) W is a subprocess of X (8) V is an instance of process (9) Y is an agent of V (10) X causes V |
| (=> (instance ?DEVICE HouseholdAppliance) (hasPurpose ?DEVICE (exists (?PROC ?RESI) (and (instrument ?PROC ?DEVICE) (instance ?PROC Process) (instance ?RESI PermanentResidence) (partlyLocated ?PROC ?RESI))))) |
HouseholdAppliances.kif 76-84 | If X is an instance of household appliance, then X has the purpose there exist Y, Z such that X is an instrument for Y, Y is an instance of process, Z is an instance of permanent residence, and Y is partly located in Z |
| (=> (instance ?DEVICE BodyCareAppliance) (hasPurpose ?DEVICE (exists (?PROC ?PATIENT) (and (instance ?PROC Process) (instrument ?PROC ?DEVICE) (patient ?PROC ?PATIENT) (or (instance ?PATIENT Human) (instance ?PATIENT BodyPart)))))) |
HouseholdAppliances.kif 95-105 | If X is an instance of body care appliance, then X has the purpose there exist Y, Z such that Y is an instance of process, X is an instrument for Y, Z is a patient of Y, and Z is an instance of human or Z is an instance of body part |
| (=> (instance ?DEVICE BathBodyCareAppliance) (hasPurpose ?DEVICE (exists (?PROC ?WATER) (and (instance ?PROC Process) (instance ?WATER Water) (instrument ?PROC ?DEVICE) (resource ?PROC ?WATER))))) |
HouseholdAppliances.kif 113-121 | If X is an instance of bath body care appliance, then X has the purpose there exist Y, Z such that Y is an instance of process, Z is an instance of water, X is an instrument for Y, and Z is a resource for Y |
| (=> (instance ?DEVICE FootSpa) (hasPurpose ?DEVICE (exists (?PROC ?FOOT) (and (instance ?PROC Process) (instance ?FOOT Foot) (instrument ?PROC ?DEVICE) (patient ?PROC ?FOOT))))) |
HouseholdAppliances.kif 134-142 | If X is an instance of foot spa, then X has the purpose there exist Y, Z such that Y is an instance of process, Z is an instance of foot, X is an instrument for Y, and Z is a patient of Y |
| (=> (instance ?DEVICE AudioAmplifier) (hasPurpose ?DEVICE (exists (?PROC ?SIGIN ?SIGOUT) (and (instance ?SIGIN ElectricalSignalling) (instance ?SIGOUT ElectricalSignalling) (not (equal ?SIGIN ?SIGOUT)) (instance ?PROC Process) (instrument ?PROC ?DEVICE) (patient ?PROC ?SIGIN) (result ?PROC ?SIGOUT))))) |
HouseholdAppliances.kif 364-376 | If X is an instance of audio amplifier, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of electrical signalling (3) W is an instance of electrical signalling (4) equal Z (5) W (6) Y is an instance of process (7) X is an instrument for Y (8) Z is a patient of Y (9) W is a result of Y |
| (=> (instance ?COMPUTER PersonalComputer) (hasPurpose ?COMPUTER (exists (?PERSON ?PROCESS) (and (instance ?PERSON Human) (instance ?PROCESS Process) (agent ?PROCESS Human) (instrument ?PROCESS ?COMPUTER))))) |
HouseholdAppliances.kif 422-430 | If X is an instance of personal computer, then X has the purpose there exist Y, Z such that Y is an instance of human, Z is an instance of process, human is an agent of Z, and X is an instrument for Z |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|