(=>
(and
(subProcess ?S1 ?P)
(subProcess ?S2 ?P))
(relatedEvent ?S1 ?S2)) |
Merge.kif 3876-3880 |
If X is a subprocess of Y and Z is a subprocess of Y, then Z is a related event of X |
(=>
(subProcess ?SUBPROC ?PROC)
(temporalPart
(WhenFn ?SUBPROC)
(WhenFn ?PROC))) |
Merge.kif 10333-10335 |
If X is a subprocess of Y, then the time of existence of X is a part of the time of existence of Y |
(=>
(and
(instance ?MANEUVER Maneuver)
(instance ?CONTEST ViolentContest)
(subProcess ?MANEUVER ?CONTEST))
(or
(instance ?MANEUVER Attack)
(instance ?MANEUVER DefensiveManeuver))) |
Merge.kif 13752-13759 |
If X is an instance of maneuver, Y is an instance of violent contest, and X is a subprocess of Y, then X is an instance of attack or X is an instance of defensive maneuver |
(=>
(and
(instance ?A Ambulating)
(subProcess ?S1 ?A)
(instance ?S1 Stepping)
(subProcess ?S2 ?A)
(instance ?S2 Stepping)
(equal ?S1START
(BeginFn
(WhenFn ?S1)))
(equal ?S2START
(BeginFn
(WhenFn ?S2)))
(not
(or
(before ?S1START ?S2START)
(before ?S2START ?S1START))))
(equal ?S1 ?S2)) |
Mid-level-ontology.kif 484-497 |
If All of the following hold: (1) X is an instance of ambulating (2) Y is a subprocess of X (3) Y is an instance of stepping (4) Z is a subprocess of X (5) Z is an instance of stepping (6) equal W and the beginning of the time of existence of Y (7) equal V and the beginning of the time of existence of Z (8) ~{ W happens before V } and ~{ V happens before W }, then equal Y and Z |
(=>
(and
(instance ?AMBULATE Ambulating)
(instance ?STEP Stepping)
(subProcess ?STEP ?AMBULATE)
(agent ?AMBULATE ?AGENT))
(agent ?STEP ?AGENT)) |
Mid-level-ontology.kif 499-505 |
If X is an instance of ambulating, Y is an instance of stepping, Y is a subprocess of X, and Z is an agent of X, then Z is an agent of Y |
(=>
(and
(instance ?AMBULATE Ambulating)
(instance ?STEP Stepping)
(subProcess ?STEP ?AMBULATE)
(agent ?STEP ?AGENT))
(agent ?AMBULATE ?AGENT)) |
Mid-level-ontology.kif 507-513 |
If X is an instance of ambulating, Y is an instance of stepping, Y is a subprocess of X, and Z is an agent of Y, then Z is an agent of X |
(=>
(and
(instance ?R RecreationOrExercise)
(instrument ?R ?RM)
(instance ?RM RowingMachine)
(experiencer ?R ?H)
(instance ?ROW Rowing)
(subProcess ?RMOT ?R)
(subclass ?C BodyMotion)
(instance ?RMOT ?C))
(exists (?ROWMOT)
(and
(instance ?ROWMOT ?C)
(subProcess ?ROWMOT ?R)
(agent ?ROWMOT ?H)))) |
Mid-level-ontology.kif 9564-9578 |
If All of the following hold: (1) X is an instance of recreation or exercise (2) Y is an instrument for X (3) Y is an instance of ergometer (4) Z experiences X (5) W is an instance of rowing (6) V is a subprocess of X (7) U is a subclass of body motion (8) V is an instance of U, then there exists T such that T is an instance of U, T is a subprocess of X, and Z is an agent of T |
(=>
(and
(instance ?P MusicalPerformance)
(subProcess ?M ?P))
(instance ?M MakingMusic)) |
Mid-level-ontology.kif 17544-17548 |
If X is an instance of musical performance and Y is a subprocess of X, then Y is an instance of making music |
(=>
(and
(instance ?P DramaticPerformance)
(subProcess ?A ?P))
(instance ?A DramaticActing)) |
Mid-level-ontology.kif 17568-17572 |
If X is an instance of dramatic performance and Y is a subprocess of X, then Y is an instance of dramatic acting |
(=>
(and
(instance ?GOAL GameGoal)
(instrument ?GAME ?GOAL)
(instance ?GAME Game)
(subProcess ?SCORE ?GAME)
(instance ?SCORE Score))
(exists (?PIECE ?TIME)
(and
(instance ?PIECE GamePiece)
(patient ?SCORE ?PIECE)
(temporalPart ?TIME
(WhenFn ?SCORE))
(holdsDuring ?TIME
(located ?PIECE ?GOAL))))) |
Mid-level-ontology.kif 18669-18681 |
If X is an instance of game goal, X is an instrument for Y, Y is an instance of game, Z is a subprocess of Y, and Z is an instance of score, then there exist W, V such that W is an instance of game piece, W is a patient of Z, V is a part of the time of existence of Z, and W is located at X holds during V |
(=>
(and
(instance ?B Blockade)
(instance ?C Contest)
(subProcess ?B ?C)
(contestParticipant ?C ?A1)
(agent ?B ?A1))
(exists (?C1 ?A2)
(and
(prevents ?C1 Translocation)
(instance ?B ?C1)
(contestParticipant ?C ?A2)
(not
(equal ?A1 ?A2))
(desires ?A2
(exists (?I)
(and
(instance ?I ?C1)
(agent ?I ?A1)
(subProcess ?I ?C))))))) |
Mid-level-ontology.kif 24069-24088 |
If X is an instance of blockade, Y is an instance of contest, X is a subprocess of Y, Z participates in Y, and Z is an agent of X, then All of the following hold: (1) there exist W (2) V such that W prevents the occurrence of translocation (3) X is an instance of W (4) V participates in Y (5) equal Z (6) V (7) V desires there exists U such that U is an instance of W (8) Z is an agent of U (9) U is a subprocess of Y |
(=>
(and
(instance ?PROC Process)
(eventLocated ?PROC ?LOC)
(subProcess ?SUB ?PROC))
(eventLocated ?SUB ?LOC)) |
Mid-level-ontology.kif 25824-25829 |
If X is an instance of process, X is located at Y, and Z is a subprocess of X, then Z is located at Y |
(=>
(and
(instance ?TRANSPORT Transportation)
(subProcess ?TRANSPORT ?DRIVE)
(instance ?DRIVE Driving)
(instrument ?TRANSPORT ?VEHICLE)
(instance ?VEHICLE TransportationDevice))
(patient ?DRIVE ?VEHICLE)) |
Mid-level-ontology.kif 25874-25881 |
If X is an instance of transportation, X is a subprocess of Y, Y is an instance of driving, Z is an instrument for X, and Z is an instance of transportation device, then Z is a patient of Y |
(=>
(and
(instance ?DRIVING Driving)
(subProcess ?TRANSPORT ?DRIVING)
(instance ?TRANSPORT Transportation)
(agent ?DRIVING ?DRIVER))
(transported ?TRANSPORT ?DRIVER)) |
Mid-level-ontology.kif 25893-25899 |
If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, and Z is an agent of X, then Z is transported during Y |
(=>
(and
(instance ?DRIVING Driving)
(subProcess ?TRANSPORT ?DRIVING)
(instance ?TRANSPORT Transportation)
(destination ?DRIVING ?DEST))
(destination ?TRANSPORT ?DEST)) |
Mid-level-ontology.kif 25901-25907 |
If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, and X ends up at Z, then Y ends up at Z |
(=>
(and
(instance ?DRIVING Driving)
(subProcess ?TRANSPORT ?DRIVING)
(instance ?TRANSPORT Transportation)
(instance ?VEHICLE Vehicle)
(patient ?DRIVING ?VEHICLE))
(conveyance ?TRANSPORT ?VEHICLE)) |
Mid-level-ontology.kif 25909-25916 |
If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, Z is an instance of vehicle, and Z is a patient of X, then Z is a conveyance during Y |
(=>
(and
(attribute ?ACTOR VoiceActor)
(instance ?DRAMA DramaticActing)
(agent ?DRAMA ?ACTOR)
(instance ?SPEAK LinguisticCommunication)
(agent ?SPEAK ?ACTOR)
(subProcess ?SPEAK ?DRAMA))
(and
(not
(exists (?S ?VIEWER)
(and
(instance ?S Seeing)
(patient ?S ?ACTOR)
(agent ?S ?VIEWER))))
(exists (?H ?VIEWER)
(and
(instance ?H Hearing)
(patient ?H ?ACTOR)
(agent ?H ?VIEWER))))) |
Biography.kif 760-779 |
If All of the following hold: (1) voice actor is an attribute of X (2) Y is an instance of dramatic acting (3) X is an agent of Y (4) Z is an instance of linguistic communication (5) X is an agent of Z (6) Z is a subprocess of Y, then there don't exist W, V such that W is an instance of seeing, X is a patient of W, and V is an agent of W and there exist U, V such that U is an instance of hearing, X is a patient of U, and V is an agent of U |
(=>
(and
(instance ?GUIDE GuidingMotion)
(patient ?GUIDE ?MOVED)
(subProcess ?MOTION ?GUIDE)
(instance ?MOTION Motion))
(patient ?MOTION ?MOVED)) |
ComputerInput.kif 85-91 |
If X is an instance of guiding motion, Y is a patient of X, Z is a subprocess of X, and Z is an instance of motion, then Y is a patient of Z |
(=>
(and
(instance ?GUIDE GuidingMotion)
(subProcess ?MOTION ?GUIDE)
(instance ?MOTION Motion)
(patient ?MOTION ?MOVED))
(patient ?GUIDE ?MOVED)) |
ComputerInput.kif 93-99 |
If X is an instance of guiding motion, Y is a subprocess of X, Y is an instance of motion, and Z is a patient of Y, then Z is a patient of X |
(=>
(and
(instance ?WN
(NetworkCommunicationFn BluetoothNetwork))
(instance ?R RadiatingElectromagnetic)
(subProcess ?R ?WN)
(carrierFrequency ?R
(MeasureFn ?W
(GigaFn Hertz))))
(and
(greaterThan ?W 2.4)
(lessThan ?W 2.485))) |
ComputingBrands.kif 1579-1588 |
If X is an instance of communication over Bluetooth network, Y is an instance of radiating electromagnetic, Y is a subprocess of X, and the frequency of the carrier of Y is Z 1 billion hertzs(s), then Z is greater than 2.4 and Z is less than 2.485 |
(=>
(and
(instance ?FM FoamingMilk)
(patient ?FM ?M)
(instance ?M ProcessedMilk)
(instance ?H Heating)
(subProcess ?H ?FM)
(measure ?M
(MeasureFn ?T CelsiusDegree)))
(approximateValue ?T 70.0)) |
Food.kif 1185-1194 |
If All of the following hold: (1) X is an instance of foaming milk (2) Y is a patient of X (3) Y is an instance of processed milk (4) Z is an instance of heating (5) Z is a subprocess of X (6) the measure of Y is W celsius degree(s), then the approximate value of W is 70.0 |
(=>
(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 ?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
(instance ?CPR CPR)
(instance ?C Compressing)
(path ?C ?P)
(subProcess ?C ?CPR)
(length ?P
(MeasureFn ?L Centimeter)))
(and
(greaterThan ?L 5.0)
(lessThan ?L 6.0))) |
Medicine.kif 597-607 |
If X is an instance of cardio pulmonary resuscitation, Y is an instance of compressing, Z is path along which Y occurs, Y is a subprocess of X, and the length of Z is W centimeter(s), then W is greater than 5.0 and W is less than 6.0 |
(=>
(and
(instance ?OPLAN OPLAN)
(represents ?OPLAN ?OP)
(instance ?OP MilitaryOperation)
(subProcess ?OPSUB ?OP))
(represents ?OPLAN ?OPSUB)) |
MilitaryProcesses.kif 1816-1822 |
If X is an instance of OPLAN, X expresses Y, Y is an instance of military operation, and Z is a subprocess of Y, then X expresses Z |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
subGraph