| 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 (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 17474-17478 | 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 17498-17502 | 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 18618-18630 | 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 24165-24184 | 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 25884-25889 | 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 25934-25941 | 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 25953-25959 | 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 25961-25967 | 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 25969-25976 | 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 776-795 | 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 (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 |
|
|
| (=> (eventPartlyLocated ?PROC ?OBJ) (exists (?SUB) (and (subProcess ?SUB ?PROC) (eventLocated ?SUB ?OBJ)))) |
Merge.kif 4145-4150 | If X is partly located at Y, then there exists Z such that Z is a subprocess of X and Z is located at Y |
| (=> (eventLocated ?PROCESS ?OBJ) (forall (?SUB) (=> (subProcess ?SUB ?PROCESS) (eventLocated ?SUB ?OBJ)))) |
Merge.kif 4172-4177 | If X is located at Y, then For all Process Z: if Z is a subprocess of X, then Z is located at Y |
| (=> (instance ?DIGEST Digesting) (exists (?DECOMP) (and (instance ?DECOMP ChemicalDecomposition) (subProcess ?DECOMP ?DIGEST)))) |
Merge.kif 10459-10464 | If X is an instance of digesting, then there exists Y such that Y is an instance of chemical decomposition and Y is a subprocess of X |
| (=> (and (instance ?T1 Translocation) (instance ?T2 Translocation) (origin ?T1 ?O1) (origin ?T2 ?D1) (destination ?T1 ?D1) (destination ?T2 ?D2) (experiencer ?T1 ?P) (experiencer ?T2 ?P)) (exists (?T) (and (instance ?T Translocation) (origin ?T ?O1) (destination ?T ?D2) (subProcess ?T1 ?T) (subProcess ?T2 ?T) (experiencer ?T ?P) (starts (WhenFn ?T1) (WhenFn ?T)) (finishes (WhenFn ?T2) (WhenFn ?T))))) |
Merge.kif 11475-11498 | If All of the following hold: (1) X is an instance of translocation (2) Y is an instance of translocation (3) X originates at Z (4) Y originates at W (5) X ends up at W (6) Y ends up at V (7) U experiences X (8) U experiences Y, then All of the following hold: (1) there exists T such that T is an instance of translocation (2) T originates at Z (3) T ends up at V (4) X is a subprocess of T (5) Y is a subprocess of T (6) U experiences T (7) the time of existence of X starts the time of existence of T (8) the time of existence of Y finishes the time of existence of T |
| (=> (instance ?SUB Substituting) (exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE) (and (instance ?PUT Putting) (instance ?REMOVE Removing) (subProcess ?PUT ?SUB) (subProcess ?REMOVE ?SUB) (patient ?REMOVE ?OBJ1) (origin ?REMOVE ?PLACE) (patient ?PUT ?OBJ2) (destination ?PUT ?PLACE) (not (equal ?OBJ1 ?OBJ2))))) |
Merge.kif 11624-11636 | If X is an instance of substituting, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of putting (3) Z is an instance of removing (4) Y is a subprocess of X (5) Z is a subprocess of X (6) W is a patient of Z (7) Z originates at U (8) V is a patient of Y (9) Y ends up at U (10) equal W (11) V |
| (=> (and (instance ?MOVEMENT Translocation) (origin ?MOVEMENT ?PLACE1)) (exists (?PLACE2 ?STAGE) (and (instance ?PLACE2 Region) (not (equal ?PLACE1 ?PLACE2)) (subProcess ?STAGE ?MOVEMENT) (located ?STAGE ?PLACE2)))) |
Merge.kif 11728-11737 | If X is an instance of translocation and X originates at Y, then there exist Z, W such that Z is an instance of region, equal Y, Z, W is a subprocess of X, and W is located at Z |
| (=> (instance ?GIVE UnilateralGiving) (not (exists (?TRANS) (and (instance ?TRANS Transaction) (subProcess ?GIVE ?TRANS))))) |
Merge.kif 11886-11892 | If X is an instance of unilateral giving, then there doesn't exist Y such that Y is an instance of transaction and X is a subprocess of Y |
| (=> (instance ?GET UnilateralGetting) (not (exists (?TRANS) (and (instance ?TRANS Transaction) (subProcess ?GET ?TRANS))))) |
Merge.kif 11965-11971 | If X is an instance of unilateral getting, then there doesn't exist Y such that Y is an instance of transaction and X is a subprocess of Y |
| (=> (instance ?TRANS Transaction) (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2) (and (instance ?GIVE1 Giving) (instance ?GIVE2 Giving) (subProcess ?GIVE1 ?TRANS) (subProcess ?GIVE2 ?TRANS) (agent ?GIVE1 ?AGENT1) (agent ?GIVE2 ?AGENT2) (patient ?GIVE1 ?OBJ1) (patient ?GIVE2 ?OBJ2) (destination ?GIVE1 ?AGENT2) (destination ?GIVE2 ?AGENT1) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?OBJ1 ?OBJ2))))) |
Merge.kif 11985-12002 | If X is an instance of transaction, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that W is an instance of giving (3) V is an instance of giving (4) W is a subprocess of X (5) V is a subprocess of X (6) Y is an agent of W (7) Z is an agent of V (8) U is a patient of W (9) T is a patient of V (10) W ends up at Z (11) V ends up at Y (12) equal Y (13) Z (14) equal U (15) T |
| (=> (instance ?VOTE Voting) (exists (?ELECT) (and (instance ?ELECT Election) (subProcess ?VOTE ?ELECT)))) |
Merge.kif 12252-12257 | If X is an instance of voting, then there exists Y such that Y is an instance of election and X is a subprocess of Y |
| (=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT)))) |
Merge.kif 12431-12440 | If X is an instance of surgery and Y is a patient of X, then there exists Z such that Z is an instance of cutting, Y is an instance of animal, Y is a patient of Z, and Z is a subprocess of X |
| (=> (instance ?COMBUSTION Combustion) (exists (?HEAT ?LIGHT) (and (instance ?HEAT Heating) (instance ?LIGHT RadiatingLight) (subProcess ?HEAT ?COMBUSTION) (subProcess ?LIGHT ?COMBUSTION)))) |
Merge.kif 12752-12759 | If X is an instance of burning, then there exist Y, Z such that Y is an instance of heating, Z is an instance of radiating light, Y is a subprocess of X, and Z is a subprocess of X |
| (=> (instance ?DIS Disagreeing) (exists (?A1 ?A2 ?STATE1 ?STATE2 ?STMT1 ?STMT2) (and (subProcess ?STATE1 ?DIS) (subProcess ?STATE2 ?DIS) (agent ?STATE1 ?A1) (agent ?STATE2 ?A2) (not (equal ?A1 ?A2)) (containsInformation ?STATE1 ?STMT1) (containsInformation ?STATE2 ?STMT2) (not (consistent ?STMT1 ?STMT2))))) |
Merge.kif 13333-13346 | If X is an instance of disagreeing, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that W is a subprocess of X (3) V is a subprocess of X (4) Y is an agent of W (5) Z is an agent of V (6) equal Y (7) Z (8) W contains information U (9) V contains information T (10) T is not a consistent of U |
| (=> (instance ?WAR War) (exists (?BATTLE) (and (instance ?BATTLE Battle) (subProcess ?BATTLE ?WAR)))) |
Merge.kif 13507-13512 | If X is an instance of war, then there exists Y such that Y is an instance of battle and Y is a subprocess of X |
| (=> (instance ?BATTLE Battle) (exists (?WAR) (and (instance ?WAR War) (subProcess ?BATTLE ?WAR)))) |
Merge.kif 13534-13539 | If X is an instance of battle, then there exists Y such that Y is an instance of war and X is a subprocess of Y |
| (=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK ViolentContest) (subProcess ?ATTACK ?BATTLE)))) |
Merge.kif 13541-13546 | If X is an instance of battle, then there exists Y such that Y is an instance of violent contest and Y is a subprocess of X |
| (=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST)))) |
Merge.kif 13567-13572 | If X is an instance of maneuver, then there exists Y such that Y is an instance of contest and X is a subprocess of Y |
| (=> (instance ?ATTACK Attack) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?ATTACK ?CONTEST)))) |
Merge.kif 13578-13583 | If X is an instance of attack, then there exists Y such that Y is an instance of violent contest and X is a subprocess of Y |
| (=> (instance ?DEFENSE DefensiveManeuver) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?DEFENSE ?CONTEST)))) |
Merge.kif 13600-13605 | If X is an instance of defensive maneuver, then there exists Y such that Y is an instance of violent contest and X is a subprocess of Y |
| (=> (instance ?TACTILE TactilePerception) (exists (?TOUCH) (and (instance ?TOUCH Touching) (subProcess ?TOUCH ?TACTILE)))) |
Merge.kif 13814-13819 | If X is an instance of tactile perception, then there exists Y such that Y is an instance of touching and Y is a subprocess of X |
| (=> (instance ?MELT Melting) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?MELT)))) |
Merge.kif 14080-14085 | If X is an instance of melting, then there exists Y such that Y is an instance of heating and Y is a subprocess of X |
| (=> (instance ?BOIL Boiling) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?BOIL)))) |
Merge.kif 14101-14106 | If X is an instance of boiling, then there exists Y such that Y is an instance of heating and Y is a subprocess of X |
| (=> (instance ?COND Condensing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?COND)))) |
Merge.kif 14147-14152 | If X is an instance of condensing, then there exists Y such that Y is an instance of cooling and Y is a subprocess of X |
| (=> (instance ?FREEZE Freezing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?FREEZE)))) |
Merge.kif 14168-14173 | If X is an instance of freezing, then there exists Y such that Y is an instance of cooling and Y is a subprocess of X |
| (=> (and (property ?THING ?ATTR) (instance ?ATTR ContestAttribute)) (exists (?CONTEST) (and (instance ?CONTEST Contest) (or (agent ?CONTEST ?THING) (patient ?CONTEST ?THING) (subProcess ?THING ?CONTEST))))) |
Merge.kif 17587-17597 | If X the attribute Y and Y is an instance of contest attribute, then there exists Z such that Z is an instance of contest and X is an agent of Z, X is a patient of Z, or X is a subprocess of Z |
| 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