| appearance as argument number 1 |
|
| (instance subProcess BinaryPredicate) | Merge.kif 3789-3789 | sub process is an instance of binary predicate |
| (instance subProcess PartialOrderingRelation) | Merge.kif 3790-3790 | sub process is an instance of partial ordering relation |
| (domain subProcess 1 Process) | Merge.kif 3791-3791 | The number 1 argument of sub process is an instance of process |
| (domain subProcess 2 Process) | Merge.kif 3792-3792 | The number 2 argument of sub process is an instance of process |
| (documentation subProcess EnglishLanguage "(subProcess ?SUBPROC ?PROC) means that ?SUBPROC is a subprocess of ?PROC. A subprocess is here understood as a temporally distinguished part (proper or not) of a Process.") | Merge.kif 3794-3796 | The number 2 argument of sub process is an instance of process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage subProcess "sub process") | domainEnglishFormat.kif 55771-55771 | |
| (termFormat ChineseTraditionalLanguage subProcess "子過程") | domainEnglishFormat.kif 55772-55772 | |
| (termFormat ChineseLanguage subProcess "子过程") | domainEnglishFormat.kif 55773-55773 | |
| (format EnglishLanguage subProcess "%1 is %n a subprocess of %2") | english_format.kif 578-578 |
| antecedent |
|
|
| (=> (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 765-784 | 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 1208-1217 | 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 (subProcess ?S1 ?P) (subProcess ?S2 ?P)) (relatedEvent ?S1 ?S2)) |
Merge.kif 3809-3813 | 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 10267-10269 | 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 13618-13625 | 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 497-510 | 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 512-518 | 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 520-526 | 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 9450-9464 | 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 17451-17455 | 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 17475-17479 | 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 18595-18607 | 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 24136-24155 | 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 25866-25871 | 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 25916-25923 | 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 25935-25941 | 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 25943-25949 | 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 25951-25958 | 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 (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB)) |
MilitaryProcesses.kif 1813-1819 | 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 |
| consequent |
|
|
| (=> (instance ?A Abducting) (exists (?BP ?ORGANISM ?TORSO ?MAF) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (subProcess ?MAF MovingAwayFrom) (patient ?MAF ?BP) (patient ?MAF ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2048-2063 | If X is an instance of abducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is a subprocess of moving away from (8) Y is a patient of V (9) W is a patient of V (10) Y is a part of Z (11) W is a part of Z (12) organism experiences X (13) Y moves during X |
| (=> (instance ?A Adducting) (exists (?BP ?ORGANISM ?TORSO ?MT) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (instance ?MT MovingTowards) (subProcess ?MT ?A) (patient ?MT ?BP) (patient ?MT ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2072-2088 | If X is an instance of adducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is an instance of moving towards (8) V is a subprocess of X (9) Y is a patient of V (10) W is a patient of V (11) Y is a part of Z (12) W is a part of Z (13) organism experiences X (14) Y moves during X |
| (=> (instance ?EA EidAladha) (exists (?UR) (and (instance ?UR UdhiyahRitual) (subProcess ?UR ?EA)))) |
ArabicCulture.kif 273-278 | If X is an instance of eid aladha, then there exists Y such that Y is an instance of udhiyah ritual and Y is a subprocess of X |
| (=> (instance ?WED ReligiousWedding) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?WED)))) |
Biography.kif 57-62 | If X is an instance of religious wedding, then there exists Y such that Y is an instance of religious service and Y is a subprocess of X |
| (=> (instance ?MIT BarMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT)))) |
Biography.kif 89-94 | If X is an instance of bar mitzvah, then there exists Y such that Y is an instance of religious service and Y is a subprocess of X |
| (=> (instance ?MIT BatMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT)))) |
Biography.kif 120-125 | If X is an instance of bat mitzvah, then there exists Y such that Y is an instance of religious service and Y is a subprocess of X |
| (=> (and (instance ?ORD Ordaining) (patient ?ORD ?X) (instance ?X Human) (member ?X Christianity)) (hasPurpose ?ORD (exists (?CER ?A) (and (instance ?CER Ceremony) (instance ?A Appointing) (subProcess ?A ?CER) (patient ?A ?X) (appointedPosition ?A ?X Cleric))))) |
Biography.kif 161-174 | If X is an instance of ordaining, Y is a patient of X, Y is an instance of human, and Y is a member of christianity, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of ceremony (3) W is an instance of appointing (4) W is a subprocess of Z (5) Y is a patient of W (6) appointed position W, Y (7) cleric |
| (=> (instance ?TEXT MarriageCertificate) (exists (?S ?W ?A ?B) (and (instance ?S SigningAnAgreement) (patient ?S ?TEXT) (instance ?W Wedding) (represents ?TEXT ?W) (subProcess ?S ?W) (patient ?W ?A) (instance ?A Human) (patient ?W ?B) (instance ?B Human) (not (equal ?A ?B)) (agent ?S ?A) (agent ?S ?B)))) |
Biography.kif 327-343 | If X is an instance of marriage certificate, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of signing an agreement (3) X is a patient of Y (4) Z is an instance of wedding (5) X expresses Z (6) Y is a subprocess of Z (7) W is a patient of Z (8) W is an instance of human (9) V is a patient of Z (10) V is an instance of human (11) equal W (12) V (13) W is an agent of Y (14) V is an agent of Y |
| (=> (attribute ?X AeronauticalEngineer) (exists (?SKILL) (and (hasSkill ?SKILL ?X) (forall (?P) (=> (instance ?P ?SKILL) (or (exists (?CONS ?OBJ ?PT) (and (instance ?CONS Making) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?CONS ?OBJ) (subProcess ?P ?CONS))) (exists (?DESIGN ?PLAN ?OBJ ?PT) (and (instance ?DESIGN Designing) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?DESIGN ?PLAN) (represents ?PLAN ?OBJ) (subProcess ?P ?DESIGN))))))))) |
Biography.kif 444-473 | If aeronautical engineer is an attribute of X, then All of the following hold: (1) there exists Y such that X has the skill to do Y (2) Z Z is an instance of Ythere exist W, V (3) U such that W is an instance of making (4) V is an instance of aircraft or V is an instance of U (5) a U is typically a part of a aircraft (6) V is a result of W (7) Z is a subprocess of W or there exist T, S,, , V (8) U such that T is an instance of designing (9) V is an instance of aircraft or V is an instance of U (10) a U is typically a part of a aircraft (11) S is a result of T (12) S expresses V (13) Z is a subprocess of T |
| (=> (instance ?FSE FourStrokeEngineCycle) (exists (?I ?CM ?CB ?E ?I2) (and (instance ?I FourStrokeIntake) (instance ?CM FourStrokeCompression) (instance ?CB FourStrokeCombustion) (instance ?E FourStrokeExhaust) (instance ?I2 FourStrokeIntake) (subProcess ?I ?FSE) (subProcess ?CM ?FSE) (subProcess ?CB ?FSE) (subProcess ?E ?FSE) (subProcess ?I2 ?FSE) (meetsTemporally ?I ?CM) (meetsTemporally ?CM ?CB) (meetsTemporally ?CB ?E) (meetsTemporally ?E ?I2)))) |
Cars.kif 147-164 | If X is an instance of four stroke engine cycle, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of four stroke intake (3) Z is an instance of four stroke compression (4) W is an instance of four stroke combustion (5) V is an instance of four stroke exhaust (6) U is an instance of four stroke intake (7) Y is a subprocess of X (8) Z is a subprocess of X (9) W is a subprocess of X (10) V is a subprocess of X (11) U is a subprocess of X (12) Y meets Z (13) Z meets W (14) W meets V (15) V meets U |
| (=> (and (instance ?F FourStrokeIntake) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?FV ?M) (and (instance ?M GasMotion) (instance ?FV FuelVapor) (subProcess ?M ?F) (destination ?M ?I) (patient ?M ?FV)))) |
Cars.kif 171-184 | If X is an instance of four stroke intake, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of fuel vapor, V is a subprocess of X, V ends up at Z, and W is a patient of V |
| (=> (and (instance ?F FourStrokeCombustion) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?CO) (and (instance ?CO Combustion) (subProcess ?CO ?F)))) |
Cars.kif 207-217 | If X is an instance of four stroke combustion, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exists W such that W is an instance of burning and W is a subprocess of X |
| (=> (and (instance ?F FourStrokeExhaust) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?E ?M) (and (instance ?M GasMotion) (instance ?E Exhaust) (subProcess ?M ?F) (origin ?M ?I) (patient ?M ?E)))) |
Cars.kif 225-238 | If X is an instance of four stroke exhaust, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V |
| (=> (instance ?T TwoStrokeEngineCycle) (exists (?I ?C ?TT ?I2) (and (instance ?I TwoStrokeIntake) (instance ?C TwoStrokeCompression) (instance ?TT TwoStrokeTransfer) (instance ?I2 TwoStrokeIntake) (subProcess ?I ?T) (subProcess ?C ?T) (subProcess ?TT ?T) (subProcess ?I2 ?T) (meetsTemporally ?I ?C) (meetsTemporally ?C ?TT) (meetsTemporally ?TT ?I2)))) |
Cars.kif 264-278 | If X is an instance of two stroke engine cycle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of two stroke intake (3) Z is an instance of two stroke compression (4) W is an instance of two stroke transfer (5) V is an instance of two stroke intake (6) Y is a subprocess of X (7) Z is a subprocess of X (8) W is a subprocess of X (9) V is a subprocess of X (10) Y meets Z (11) Z meets W (12) W meets V |
| (=> (and (instance ?T TwoStrokeTransfer) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?T ?C)) (exists (?E ?M) (and (instance ?M GasMotion) (instance ?E Exhaust) (subProcess ?M ?T) (origin ?M ?I) (patient ?M ?E)))) |
Cars.kif 523-536 | If X is an instance of two stroke transfer, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V |
| (=> (instance ?VCC VaporCompressionCycle) (exists (?CMP ?COND ?EV ?CMP2) (and (instance ?CMP Compressing) (instance ?COND Condensing) (instance ?EV Evaporating) (instance ?CMP2 Compressing) (subProcess ?CMP ?VCC) (subProcess ?COND ?VCC) (subProcess ?EV ?VCC) (subProcess ?CMP2 ?VCC) (meetsTemporally (WhenFn ?CMP) (WhenFn ?COND)) (meetsTemporally (WhenFn ?COND) (WhenFn ?EV)) (meetsTemporally (WhenFn ?EV) (WhenFn ?CMP2))))) |
Cars.kif 2007-2027 | If X is an instance of vapor compression cycle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of compressing (3) Z is an instance of condensing (4) W is an instance of evaporating (5) V is an instance of compressing (6) Y is a subprocess of X (7) Z is a subprocess of X (8) W is a subprocess of X (9) V is a subprocess of X (10) the time of existence of Y meets the time of existence of Z (11) the time of existence of Z meets the time of existence of W (12) the time of existence of W meets the time of existence of V |
| (=> (instance ?EC EngineCranking) (exists (?EM ?E ?S ?R1 ?C ?R2) (and (instance ?EM ElectricalMotor) (instance ?E InternalCombustionEngine) (instance ?S Shaft) (instance ?C Crankshaft) (part ?S ?EM) (subProcess ?R1 ?EC) (instance ?R1 Rotating) (patient ?R1 ?S) (instance ?R2 Rotating) (patient ?R2 ?C) (part ?C ?E) (causes ?R1 ?R2)))) |
Cars.kif 2205-2220 | If X is an instance of engine cranking, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of electrical motor (3) Z is an instance of internal combustion engine (4) W is an instance of shaft (5) U is an instance of crankshaft (6) W is a part of Y (7) V is a subprocess of X (8) V is an instance of rotating (9) W is a patient of V (10) T is an instance of rotating (11) U is a patient of T (12) U is a part of Z (13) V causes T |
| (=> (instance ?FG FeelerGauge) (hasPurpose ?FG (exists (?TP ?M) (and (instance ?M Measuring) (instance ?TP TactilePerception) (subProcess ?TP ?M) (instrument ?M ?FG))))) |
Cars.kif 2797-2805 | If X is an instance of feeler gauge, then X has the purpose there exist Y, Z such that Z is an instance of measuring, Y is an instance of tactile perception, Y is a subprocess of Z, and X is an instrument for Z |
| (=> (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 |
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K)))) |
Cars.kif 4379-4392 | If All of the following hold: (1) X is an instance of reel (2) Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y, then there exists W such that W is an instance of rotating, X is a patient of W, and W is a subprocess of Y |
| (=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely)) |
Catalog.kif 337-352 | If All of the following hold: (1) X is an instance of buying (2) Y is a patient of X (3) X originates at Z (4) the price of W from Z according to V is U or the unit price charged Z under V for T is W (5) W is a subclass of physical (6) Y is an immediate instance of W (7) S is a valid payment under V, then the statement there exists R such that R is an instance of S and R is a subprocess of X has the modal force of likely |
| (=> (instance ?T Telemetry) (exists (?REMOTELOCATION ?MEASURINGDEVICE ?RECEIVINGLOCATION ?RECEIVINGSTATION ?MEASURING ?MESSAGING) (and (instance ?MEASURING Measuring) (instance ?MEASURINGDEVICE MeasuringDevice) (instance ?REMOTELOCATION Region) (instance ?RECEIVINGLOCATION Region) (instance ?MESSAGING Messaging) (subProcess ?MESSAGING ?T) (subProcess ?MEASURING ?T) (instance ?RECEIVINGSTATION ElectronicDataStorageDevice) (agent ?MEASURING ?MEASURINGDEVICE) (located ?MEASURINGDEVICE ?REMOTELOCATION) (located ?RECEIVINGSTATION ?RECEIVINGLOCATION) (eventLocated ?MEASURING ?REMOTELOCATION) (not (equal ?RECEIVINGLOCATION ?REMOTELOCATION)) (origin ?MESSAGING ?MEASURINGDEVICE) (destination ?MESSAGING ?RECEIVINGSTATION)))) |
Communications.kif 341-359 | If X is an instance of telemetry, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that U is an instance of measuring (3) Z is an instance of measuring device (4) Y is an instance of region (5) W is an instance of region (6) T is an instance of messaging (7) T is a subprocess of X (8) U is a subprocess of X (9) V is an instance of electronic data storage device (10) Z is an agent of U (11) Z is located at Y (12) V is located at W (13) U is located at Y (14) equal W (15) Y (16) T originates at Z (17) T ends up at V |
| (=> (instance ?GUIDE GuidingMotion) (exists (?MOTION) (and (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion)))) |
ComputerInput.kif 71-76 | If X is an instance of guiding motion, then there exists Y such that Y is a subprocess of X and Y is an instance of motion |
| (=> (instance ?ACT DoubleClicking) (exists (?CLICK1 ?CLICK2) (and (subProcess ?ACT ?CLICK1) (instance ?CLICK1 Clicking) (subProcess ?ACT ?CLICK2) (not (equal ?CLICK1 ?CLICK2)) (instance ?CLICK2 Clicking)))) |
ComputerInput.kif 1442-1451 | If X is an instance of double clicking, then All of the following hold: (1) there exist Y (2) Z such that X is a subprocess of Y (3) Y is an instance of clicking (4) X is a subprocess of Z (5) equal Y (6) Z (7) Z is an instance of clicking |
| (=> (instance ?ACT ShiftClicking) (exists (?SHIFT) (and (subProcess ?SHIFT ?ACT) (instance ?SHIFT ShiftKeyHoldDown)))) |
ComputerInput.kif 1497-1502 | If X is an instance of shift clicking, then there exists Y such that Y is a subprocess of X and Y is an instance of shift key hold down |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners