Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - subProcess
subProcess

appearance as argument number 1
-------------------------


(instance subProcess BinaryPredicate) Merge.kif 3856-3856 sub process is an instance of binary predicate
(instance subProcess PartialOrderingRelation) Merge.kif 3857-3857 sub process is an instance of partial ordering relation
(domain subProcess 1 Process) Merge.kif 3858-3858 The number 1 argument of sub process is an instance of process
(domain subProcess 2 Process) Merge.kif 3859-3859 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 3861-3863 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 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

consequent
-------------------------


(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?HEATING)
        (and
            (instance ?HEATING Heating)
            (subProcess ?HEATING ?ERUPTING))))		 Merge.kif 1048-1053 If X is an instance of volcanic eruption, then there exists Y such that Y is an instance of heating and Y is a subprocess of X
(=>
    (eventPartlyLocated ?PROC ?OBJ)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PROC)
            (eventLocated ?SUB ?OBJ))))		 Merge.kif 4208-4213 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 4235-4240 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 ?C Consuming)
    (exists (?O ?D)
        (and
            (patient ?C ?O)
            (instance ?O Object)
            (resource ?C ?O)
            (subProcess ?D ?C)
            (instance ?D Decreasing)
            (patient ?D ?O)
            (causes ?C ?D))))		 Merge.kif 10487-10497 If X is an instance of consuming, then All of the following hold: (1) there exist Y (2) Z such that Y is a patient of X (3) Y is an instance of object (4) Y is a resource for X (5) Z is a subprocess of X (6) Z is an instance of decreasing (7) Y is a patient of Z (8) X causes Z
(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))		 Merge.kif 10546-10551 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 11586-11609 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 11730-11742 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 11834-11843 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 11992-11998 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 12071-12077 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 12091-12108 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 12366-12371 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 12545-12554 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 12866-12873 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))
            (containsFormula ?STATE1 ?STMT1)
            (containsFormula ?STATE2 ?STMT2)
            (not
                (consistent ?STMT1 ?STMT2)))))		 Merge.kif 13458-13471 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 the formula U (9) V contains the formula T (10) T is not a consistent of U
(=>
    (instance ?WAR War)
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (subProcess ?BATTLE ?WAR))))		 Merge.kif 13641-13646 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 13668-13673 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 13675-13680 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 13701-13706 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 13712-13717 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 13734-13739 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 13948-13953 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 14214-14219 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 14235-14240 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 14281-14286 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

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners