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


KB Term:  Term intersection
English Word: 

Sigma KEE - causes
causes

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


(instance causes BinaryPredicate) Merge.kif 3882-3882 causes is an instance of binary predicate
(instance causes AsymmetricRelation) Merge.kif 3883-3883 causes is an instance of asymmetric relation
(domain causes 1 Process) Merge.kif 3884-3884 The number 1 argument of causes is an instance of process
(domain causes 2 Process) Merge.kif 3885-3885 The number 2 argument of causes is an instance of process
(relatedInternalConcept causes causesSubclass) Merge.kif 3886-3886 causes is internally related to causes subclass
(documentation causes EnglishLanguage "The causation relation between instances of Process.(causes ?PROCESS1 ?PROCESS2) means that the instance of Process ?PROCESS1 brings about the instance of Process ?PROCESS2.") Merge.kif 3889-3891 causes is internally related to causes subclass

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage causes "causes") domainEnglishFormat.kif 13506-13506
(termFormat ChineseTraditionalLanguage causes "原因") domainEnglishFormat.kif 13507-13507
(termFormat ChineseLanguage causes "原因") domainEnglishFormat.kif 13508-13508
(format EnglishLanguage causes "%1 %n{doesn't} cause%p{s} %2") english_format.kif 71-71

antecedent
-------------------------


(=>
    (causes ?P1 ?P2)
    (relatedEvent ?P1 ?P2))		 Merge.kif 3893-3895 If X causes Y, then Y is a related event of X
(=>
    (causes ?P1 ?P2)
    (earlier
        (WhenFn ?P1)
        (WhenFn ?P2)))		 Merge.kif 3901-3903 If X causes Y, then the time of existence of X happens earlier than the time of existence of Y
(=>
    (and
        (instance ?P Punishing)
        (agent ?P ?A)
        (causes ?P ?P2)
        (destination ?P ?D))
    (knows ?A
        (not
            (wants ?D ?P2))))		 Mid-level-ontology.kif 862-870 If X is an instance of punishing, Y is an agent of X, X causes Z, and X ends up at W, then Y knows W doesn't want Z
(=>
    (and
        (instance ?E Motion)
        (instance ?T Tremor)
        (instance ?D Damper)
        (patient ?T ?O)
        (part ?D ?O)
        (causes ?E ?T)
        (instance ?U UnitOfLength)
        (holdsDuring
            (WhenFn ?E)
            (physicalAmplitude ?T
                (MeasureFn ?A1 ?U)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?E))
            (physicalAmplitude ?T
                (MeasureFn ?A2 ?U))))
    (greaterThan ?A1 ?A2))		 Cars.kif 714-731 If All of the following hold: (1) X is an instance of motion (2) Y is an instance of tremor (3) Z is an instance of damper (4) W is a patient of Y (5) Z is a part of W (6) X causes Y (7) V is an instance of unit of length (8) the amplitude Y is U V(s) holds during the time of existence of X (9) the amplitude Y is T V(s) holds during immediately after the time of existence of X, then U is greater than T
(=>
    (and
        (instance ?SH1 Shaft)
        (instance ?SH2 Shaft)
        (not
            (equal ?SH1 ?SH2))
        (instance ?R1 Rotating)
        (patient ?R1 ?SH1)
        (instance ?R2 Rotating)
        (patient ?R2 ?SH2)
        (causes ?R1 ?R2)
        (equal
            (WhenFn ?R1)
            (WhenFn ?R2))
        (instance ?CV CVJoint)
        (connectedEngineeringComponents ?SH1 ?CV)
        (connectedEngineeringComponents ?SH2 ?CV)
        (holdsDuring
            (WhenFn ?R1)
            (equal
                (MeasureFn ?N RevolutionsPerMinute)
                (RotationFn ?R1))))
    (holdsDuring
        (WhenFn ?R2)
        (equal
            (MeasureFn ?N RevolutionsPerMinute)
            (RotationFn ?R2))))		 Cars.kif 1958-1984 If All of the following hold: (1) X is an instance of shaft (2) Y is an instance of shaft (3) equal X and Y (4) Z is an instance of rotating (5) X is a patient of Z (6) W is an instance of rotating (7) Y is a patient of W (8) Z causes W (9) equal the time of existence of Z and the time of existence of W (10) V is an instance of C.V. joint (11) X is connected to V (12) Y is connected to V (13) equal U revolutions per minute(s) and the rotation of Z during holds during the time of existence of Z, then equal U revolutions per minute(s) and the rotation of W during holds during the time of existence of W
(=>
    (and
        (instance ?AT AutomobileTransmission)
        (instance ?C Crankshaft)
        (instance ?D Driveshaft)
        (instance ?A Automobile)
        (part ?D ?A)
        (part ?AT ?A)
        (part ?C ?A)
        (connectedEngineeringComponents ?C ?AT)
        (connectedEngineeringComponents ?D ?AT)
        (instance ?G1 Gear)
        (instance ?G2 Gear)
        (part ?G1 ?AT)
        (part ?G2 ?AT)
        (instance ?CR1 Rotating)
        (instance ?CR2 Rotating)
        (instance ?GR1 Rotating)
        (instance ?GR2 Rotating)
        (instance ?DR1 Rotating)
        (instance ?DR2 Rotating)
        (moves ?CR1 ?C)
        (moves ?CR2 ?C)
        (moves ?GR1 ?G1)
        (moves ?GR2 ?G2)
        (moves ?DR1 ?D)
        (moves ?DR2 ?D)
        (causes ?CR1 ?GR1)
        (causes ?GR1 ?DR1)
        (causes ?CR2 ?GR2)
        (causes ?GR2 ?DR2)
        (not
            (equal ?CR1 ?CR2))
        (not
            (equal ?G1 ?G2))
        (equal
            (MeasureFn ?NR1 RevolutionsPerMinute)
            (RotationFn ?CR1))
        (equal
            (MeasureFn ?NR2 RevolutionsPerMinute)
            (RotationFn ?CR2))
        (equal
            (MeasureFn ?ND1 RevolutionsPerMinute)
            (RotationFn ?DR1))
        (equal
            (MeasureFn ?ND2 RevolutionsPerMinute)
            (RotationFn ?DR2))
        (equal ?NR1 ?NR2))
    (not
        (equal ?ND1 ?ND2)))		 Cars.kif 2195-2236 If All of the following hold: (1) X is an instance of transmission (2) Y is an instance of crankshaft (3) Z is an instance of driveshaft (4) W is an instance of automobile (5) Z is a part of W (6) X is a part of W (7) Y is a part of W (8) Y is connected to X (9) Z is connected to X (10) V is an instance of gear (11) U is an instance of gear (12) V is a part of X (13) U is a part of X (14) T is an instance of rotating (15) S is an instance of rotating (16) R is an instance of rotating (17) Q is an instance of rotating (18) P is an instance of rotating (19) O is an instance of rotating (20) Y moves during T (21) Y moves during S (22) V moves during R (23) U moves during Q (24) Z moves during P (25) Z moves during O (26) T causes R (27) R causes P (28) S causes Q (29) Q causes O (30) equal T and S (31) equal V and U (32) equal N revolutions per minute(s) and the rotation of T during (33) equal M revolutions per minute(s) and the rotation of S during (34) equal L revolutions per minute(s) and the rotation of P during (35) equal K revolutions per minute(s) and the rotation of O during (36) equal N and M, then equal L and K
(=>
    (and
        (instance ?R Ratchet)
        (instance ?A AttachingDevice)
        (instance ?RO1 Rotating)
        (attribute ?RO1 ?DIR1)
        (instance ?RO2 Rotating)
        (attribute ?RO2 ?DIR2)
        (instance ?DIR1 RotationalAttribute)
        (instance ?DIR2 RotationalAttribute)
        (not
            (equal ?RO1 ?RO2))
        (causes ?RO1 ?RO2)
        (patient ?RO1 Ratchet)
        (patient ?RO2 ?A))
    (equal ?DIR1 ?DIR2))		 Cars.kif 4819-4834 If All of the following hold: (1) X is an instance of ratchet (2) Y is an instance of attaching device (3) Z is an instance of rotating (4) W is an attribute of Z (5) V is an instance of rotating (6) U is an attribute of V (7) W is an instance of rotational attribute (8) U is an instance of rotational attribute (9) equal Z and V (10) Z causes V (11) ratchet is a patient of Z (12) Y is a patient of V, then equal W and U
(<=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal
            (CurrencyFn ?Account))
        (not
            (exists (?Penalty)
                (and
                    (instance ?Penalty Penalty)
                    (destination ?Penalty
                        (CurrencyFn ?Account))
                    (causes ?Withdrawal ?Penalty)))))
    (liquidity ?Account HighLiquidity))		 FinancialOntology.kif 1864-1874 All of the following hold: (1) X is an instance of withdrawing from an account (2) Y is an instance of financial account (3) X originates at the currency of Y (4) there doesn't exist Z such that Z is an instance of penalizing (5) Z ends up at the currency of Y (6) X causes Z if (7) only if the liqudity of Y is high liquidity
(=>
    (and
        (incomeEarned ?Agent
            (MeasureFn ?Income ?CU) ?Activity)
        (amountCharged ?Tax
            (MeasureFn ?TaxAmount ?CU))
        (causes ?Activity ?Tax)
        (equal ?ATIncome
            (SubtractionFn ?Income ?TaxAmount)))
    (afterTaxIncome ?Agent
        (MeasureFn ?ATIncome ?CU) ?Activity))		 FinancialOntology.kif 3388-3398 If X is income earned Y Z(s) for W, V Z(s) is the amount charged in U, W causes U, and equal T and (Y and V), then the after tax income derived by X from W is T Z(s)
(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))		 FinancialOntology.kif 3574-3581 If X is an instance of authorization of transaction, Y is an instance of financial transaction, Z is an instance of bank card, Z is an instrument for Y, and X causes Y, then Z is an instance of valid card
(=>
    (and
        (instance ?CHECKIN CheckInService)
        (causes ?CHECKIN ?SERVICE)
        (instance ?CHECKOUT CheckOutService))
    (finishes
        (WhenFn ?CHECKOUT)
        (WhenFn ?SERVICE)))		 Hotel.kif 2214-2221 If X is an instance of check-in service, X causes Y, and Z is an instance of check-out service, then the time of existence of Z finishes the time of existence of Y
(=>
    (and
        (instance ?B Bleeding)
        (instance ?D Death)
        (instance ?H Human)
        (instance ?P Human)
        (experiencer ?B ?P)
        (orientation ?H ?P Near)
        (modalAttribute
            (causes ?B ?D) Likely))
    (holdsObligation ?H
        (exists (?A)
            (and
                (instance ?A ApplyingTourniquet)
                (agent ?A ?H)
                (destination ?A ?P)))))		 Medicine.kif 45-60 If All of the following hold: (1) X is an instance of bleeding (2) Y is an instance of death (3) Z is an instance of human (4) W is an instance of human (5) W experiences X (6) Z is near to W (7) the statement X causes Y has the modal force of likely, then Z is obliged to perform tasks of type there exists V such that V is an instance of applying a tourniquet, Z is an agent of V, and V ends up at W
(=>
    (and
        (instance ?ABORTED
            (AbortedMissionFn ?A ?MISSION))
        (causes ?ACTION ?ABORTED)
        (agent ?ACTION ?OTHER_A)
        (agent ?MISSION ?THIS_A))
    (not
        (enemy ?OTHER_A ?THIS_A)))		 MilitaryProcesses.kif 2468-2473 If X is an instance of the mission of Y aborted by Z, W causes X, ?OTHER_A is an agent of W, and ?THIS_A is an agent of Y, then ?OTHER_A and ?THIS_A are not enemies of each other

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


(=>
    (instance ?PROC1 Process)
    (exists (?PROC2)
        (causes ?PROC2 ?PROC1)))		 Merge.kif 3897-3900 If X is an instance of process, then there exists Y such that Y causes X
(=>
    (causesSubclass ?PROC1 ?PROC2)
    (exists (?INST1 ?INST2)
        (and
            (instance ?INST2 ?PROC2)
            (instance ?INST1 ?PROC1)
            (causes ?INST1 ?INST2))))		 Merge.kif 3916-3922 If X is a causes subclass of Y, then there exist Z, W such that W is an instance of X, Z is an instance of Y, and Z causes W
(=>
    (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
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?OBJ))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?OBJ)
            (causes ?KILL ?DEATH))))		 Merge.kif 12599-12607 If X is an instance of killing and Y is a patient of X, then there exists Z such that Z is an instance of death, Y experiences Z, and X causes Z
(=>
    (and
        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC ?AGENT
            (knows ?AGENT
                (causes ?CAUSE ?PROC)))))		 Merge.kif 13256-13261 If X is an instance of diagnostic process and Y is an agent of X, then there exists Z such that X has the purpose Y for Y knows Z causes X
(=>
    (instance ?REMIND Reminding)
    (exists (?REMEMBER)
        (and
            (instance ?REMEMBER Remembering)
            (causes ?REMIND ?REMEMBER))))		 Mid-level-ontology.kif 837-842 If X is an instance of reminding, then there exists Y such that Y is an instance of remembering and X causes Y
(=>
    (instance ?G AutomaticGun)
    (hasPurpose ?G
        (exists (?S1 ?S2 ?P ?T)
            (and
                (instance ?P Pulling)
                (instance ?T GunTrigger)
                (patient ?P ?T)
                (part ?T ?G)
                (instance ?S1 Shooting)
                (instance ?S2 Shooting)
                (instrument ?S1 ?G)
                (instrument ?S2 ?G)
                (not
                    (equal ?S1 ?S2))
                (causes ?P ?S1)
                (causes ?P ?S2)))))		 Mid-level-ontology.kif 1855-1870 If X is an instance of automatic gun, 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 pulling (3) V is an instance of gun trigger (4) V is a patient of W (5) V is a part of X (6) Y is an instance of shooting (7) Z is an instance of shooting (8) X is an instrument for Y (9) X is an instrument for Z (10) equal Y (11) Z (12) W causes Y (13) W causes Z
(=>
    (instance ?T GunTrigger)
    (hasPurpose ?T
        (exists (?S ?G ?P)
            (and
                (instance ?G AutomaticGun)
                (part ?T ?G)
                (patient ?P ?T)
                (instance ?P Pulling)
                (instance ?S Shooting)
                (instrument ?S ?G)
                (causes ?P ?S)))))		 Mid-level-ontology.kif 1872-1883 If X is an instance of gun trigger, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of automatic gun (3) X is a part of Z (4) X is a patient of W (5) W is an instance of pulling (6) Y is an instance of shooting (7) Z is an instrument for Y (8) W causes Y
(=>
    (instance ?DEVICE SwitchDevice)
    (exists (?PROC1 ?PROC2 ?ELECTRIC)
        (and
            (instrument ?PROC1 ?DEVICE)
            (causes ?PROC1 ?PROC2)
            (instrument ?PROC2 ?ELECTRIC)
            (instance ?ELECTRIC ElectricDevice))))		 Mid-level-ontology.kif 2363-2370 If X is an instance of switch device, then there exist Y, Z, W such that X is an instrument for Y, Y causes Z, W is an instrument for Z, and W is an instance of electric device
(=>
    (and
        (instance ?SS StayingStill)
        (experiencer ?SS ?A))
    (not
        (exists (?B ?T)
            (and
                (instance ?B BodyMotion)
                (instance ?T Translocation)
                (causes ?B ?T)
                (agent ?B ?A)))))		 Mid-level-ontology.kif 6431-6441 If X is an instance of staying still and Y experiences X, then there don't exist Z, W such that Z is an instance of body motion, W is an instance of translocation, Z causes W, and Y is an agent of Z
(=>
    (and
        (instance ?H Hallucination)
        (experiencer ?H ?P))
    (exists (?PER ?PROP)
        (and
            (instance ?PER Perception)
            (experiencer ?PER ?P)
            (causes ?H ?PER)
            (containsInformation ?PER ?PROP)
            (truth ?PROP False))))		 Mid-level-ontology.kif 7517-7527 If X is an instance of hallucination and Y experiences X, then there exist Z, W such that Z is an instance of perception, Y experiences Z, X causes Z, Z contains information W, and W is false
(=>
    (holdsDuring ?T
        (fears ?A
            (instance ?P Process)))
    (believes ?A
        (modalAttribute
            (holdsDuring
                (ImmediateFutureFn ?T)
                (exists (?D)
                    (and
                        (instance ?D Damaging)
                        (patient ?D ?A)
                        (causes ?P ?D)))) Likely)))		 Mid-level-ontology.kif 8696-8708 If X fears Y is an instance of process holds during Z, then X believes the statement there exists W such that W is an instance of damaging, X is a patient of W, and Y causes W holds during immediately after Z has the modal force of likely
(=>
    (and
        (instance ?P Poison)
        (instance ?I Ingesting)
        (moves ?I ?P)
        (experiencer ?I ?H))
    (exists (?D)
        (and
            (instance ?D Damaging)
            (experiencer ?D ?H)
            (causes ?I ?D))))		 Mid-level-ontology.kif 9959-9969 If X is an instance of poison, Y is an instance of ingesting, X moves during Y, and Z experiences Y, then there exists W such that W is an instance of damaging, Z experiences W, and Y causes W
(=>
    (instance ?SPINE PlantSpinoseStructure)
    (modalAttribute
        (exists (?I ?P ?A)
            (and
                (instance ?I Inserting)
                (instrument ?I ?SPINE)
                (instance ?A Animal)
                (patient ?I ?A)
                (causes ?I ?P)
                (instance ?P Pain)
                (experiencer ?P ?A))) Possibility))		 Mid-level-ontology.kif 11078-11089 If X is an instance of plant spinose structure, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of inserting (3) X is an instrument for Y (4) W is an instance of animal (5) W is a patient of Y (6) Y causes Z (7) Z is an instance of pain (8) W experiences Z has the modal force of possibility
(=>
    (instance ?H Heart)
    (hasPurpose ?H
        (exists (?T ?HB ?B)
            (and
                (instance ?HB HeartBeat)
                (instance ?T LiquidMotion)
                (instance ?B Blood)
                (moves ?T ?B)
                (causes ?HB ?T)))))		 Mid-level-ontology.kif 12195-12204 If X is an instance of heart, then X has the purpose there exist Y, Z, W such that Z is an instance of heart beat, Y is an instance of liquid motion, W is an instance of blood, W moves during Y, and Z causes Y
(=>
    (instance ?EXPLOSION Explosion)
    (exists (?PROC)
        (and
            (instance ?PROC ChemicalProcess)
            (causes ?PROC ?EXPLOSION))))		 Mid-level-ontology.kif 17447-17452 If X is an instance of explosion, then there exists Y such that Y is an instance of chemical process and Y causes X
(=>
    (and
        (instance ?S Sentencing)
        (patient ?S ?P))
    (exists (?C)
        (and
            (causes ?C ?S)
            (instance ?C LegalConviction)
            (patient ?C ?P)
            (earlier
                (WhenFn ?C)
                (WhenFn ?S)))))		 Mid-level-ontology.kif 17883-17892 If X is an instance of sentencing and Y is a patient of X, then there exists Z such that Z causes X, Z is an instance of legal conviction, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X
(=>
    (and
        (instance ?R CentrifugalMotion)
        (instance ?O Object)
        (moves ?R ?O)
        (instance ?A Object)
        (located ?A ?O))
    (modalAttribute
        (exists (?M)
            (and
                (instance ?M MovingAwayFrom)
                (changesLocation ?M ?A)
                (origin ?M ?O)
                (causes ?R ?M))) Likely))		 Mid-level-ontology.kif 19414-19427 If X is an instance of centrifugal motion, Y is an instance of object, Y moves during X, Z is an instance of object, and Z is located at Y, then the statement there exists W such that W is an instance of moving away from, Z is a changes location of W, W originates at Y, and X causes W has the modal force of likely
(=>
    (instance ?ED ExplosiveDevice)
    (hasPurpose ?ED
        (exists (?E ?D)
            (and
                (instance ?E Explosion)
                (instrument ?E ?ED)
                (causes ?E ?D)
                (instance ?D Damaging)))))		 Mid-level-ontology.kif 19761-19769 If X is an instance of explosive device, then X has the purpose there exist Y, Z such that Y is an instance of explosion, X is an instrument for Y, Y causes Z, and Z is an instance of damaging
(=>
    (instance ?MINE LandMine)
    (hasPurpose ?MINE
        (exists (?L ?E ?M ?O)
            (and
                (instance ?L LandArea)
                (located ?MINE ?L)
                (instance ?E Explosion)
                (instrument ?E ?MINE)
                (locatedAtTime ?MINE
                    (WhenFn ?E) ?L)
                (causes ?M ?E)
                (instance ?M Motion)
                (eventLocated ?M ?L)
                (origin ?M ?O)
                (orientation ?O ?MINE On)
                (or
                    (instance ?O Human)
                    (instance ?O LandVehicle))))))		 Mid-level-ontology.kif 19776-19794 If X is an instance of land mine, 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 land area (3) X is located at Y (4) Z is an instance of explosion (5) X is an instrument for Z (6) X located at time the time of existence of Z for Y (7) W causes Z (8) W is an instance of motion (9) W is located at Y (10) W originates at V (11) V is on to X (12) V is an instance of human or V is an instance of land vehicle
(=>
    (instance ?A Awarding)
    (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD)
        (and
            (instance ?RECIPIENT AutonomousAgent)
            (instance ?GIVER AutonomousAgent)
            (instance ?PROCESS Process)
            (instance ?AWARD Object)
            (agent ?PROCESS ?RECIPIENT)
            (agent ?A ?GIVER)
            (patient ?A ?AWARD)
            (destination ?A ?RECIPIENT)
            (causes ?PROCESS ?A))))		 Mid-level-ontology.kif 20567-20579 If X is an instance of awarding, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of agent (3) Z is an instance of agent (4) W is an instance of process (5) V is an instance of object (6) Y is an agent of W (7) Z is an agent of X (8) V is a patient of X (9) X ends up at Y (10) W causes X
(=>
    (attribute ?P Comedian)
    (exists (?PERF ?L)
        (and
            (instance ?PERF Performance)
            (agent ?PERF ?P)
            (instance ?L Laughing)
            (causes ?PERF ?L))))		 Mid-level-ontology.kif 20732-20739 If comedian is an attribute of X, then there exist Y, Z such that Y is an instance of performance, X is an agent of Y, Z is an instance of laughing, and Y causes Z
(=>
    (and
        (instance ?EBP EmotionalBehavioralProcess)
        (agent ?EBP ?A))
    (exists (?FE)
        (and
            (instance ?FE FacialExpression)
            (agent ?FE ?A)
            (causes ?EBP ?FE))))		 Mid-level-ontology.kif 21955-21963 If X is an instance of emotional behavioral process and Y is an agent of X, then there exists Z such that Z is an instance of facial expression, Y is an agent of Z, and X causes Z
(=>
    (and
        (instance ?O OpeningEye)
        (patient ?O ?E)
        (instance ?E Eye))
    (exists (?R ?L ?U ?C)
        (and
            (instance ?R MuscleRelaxing)
            (patient ?R ?L)
            (instance ?U UpperEyelid)
            (part ?L ?E)
            (during
                (WhenFn ?R)
                (WhenFn ?O))
            (causes ?R ?U)
            (instance ?U Uncovering)
            (patient ?U ?C)
            (instance ?C Cornea)
            (part ?C ?E)
            (subProcess ?R ?O))))		 Mid-level-ontology.kif 22093-22110 If X is an instance of opening eye, Y is a patient of X, and Y is an instance of eye, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of muscle relaxing (3) W is a patient of Z (4) V is an instance of upper eye lid (5) W is a part of Y (6) the time of existence of Z takes place during the time of existence of X (7) Z causes V (8) V is an instance of uncovering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) Z is a subprocess of X
(=>
    (and
        (instance ?O ClosingEye)
        (patient ?O ?E)
        (instance ?E Eye))
    (exists (?M ?U ?C ?CC)
        (and
            (instance ?M MuscularContraction)
            (patient ?M ?U)
            (instance ?U UpperEyelid)
            (part ?U ?E)
            (during
                (WhenFn ?M)
                (WhenFn ?O))
            (causes ?M ?C)
            (instance ?C Covering)
            (patient ?C ?CC)
            (instance ?CC Cornea)
            (part ?CC ?E)
            (subProcess ?C ?O))))		 Mid-level-ontology.kif 22165-22182 If X is an instance of closing eye, Y is a patient of X, and Y is an instance of eye, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of muscular contraction (3) W is a patient of Z (4) W is an instance of upper eye lid (5) W is a part of Y (6) the time of existence of Z takes place during the time of existence of X (7) Z causes V (8) V is an instance of covering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) V 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