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


KB Term:  Term intersection
English Word: 

Sigma KEE - holdsDuring
holdsDuring

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


(instance holdsDuring BinaryPredicate) Merge.kif 3916-3916 holds during is an instance of binary predicate
(instance holdsDuring AsymmetricRelation) Merge.kif 3917-3917 holds during is an instance of asymmetric relation
(domain holdsDuring 1 TimePosition) Merge.kif 3918-3918 The number 1 argument of holds during is an instance of time position
(domain holdsDuring 2 Formula) Merge.kif 3919-3919 The number 2 argument of holds during is an instance of formula
(documentation holdsDuring EnglishLanguage "(holdsDuring ?TIME ?FORMULA) means that the proposition denoted by ?FORMULA is true in the time frame ?TIME. Note that this implies that ?FORMULA is true at every TimePoint which is a temporalPart of ?TIME.") Merge.kif 3921-3924 The number 2 argument of holds during is an instance of formula

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


(relatedInternalConcept time holdsDuring) Merge.kif 3906-3906 time is internally related to holds during
(termFormat EnglishLanguage holdsDuring "holds during") domainEnglishFormat.kif 28355-28355 time is internally related to holds during
(termFormat ChineseTraditionalLanguage holdsDuring "持有期間") domainEnglishFormat.kif 28356-28356 time is internally related to holds during
(termFormat ChineseLanguage holdsDuring "持有期间") domainEnglishFormat.kif 28357-28357 time is internally related to holds during
(format EnglishLanguage holdsDuring "%2 %n{doesn't} hold%p{s} during %1") english_format.kif 122-122 time is internally related to holds during

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


(=>
    (and
        (instance ?E Eyebrow)
        (holdsDuring ?T
            (and
                (attribute ?H Healthy)
                (attribute ?H Standing)))
        (part ?E ?H))
    (exists (?EYE)
        (and
            (instance ?EYE Eye)
            (part ?EYE ?H)
            (orientation ?E ?EYE Above))))		 Anatomy.kif 1502-1514 If X is an instance of eyebrow, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and X is a part of Y, then there exists W such that W is an instance of eye, W is a part of Y, and X is above to W
(=>
    (and
        (instance ?F Forehead)
        (holdsDuring ?T
            (and
                (attribute ?H Healthy)
                (attribute ?H Standing)))
        (part ?E ?H))
    (exists (?EYE)
        (and
            (instance ?EYE Eye)
            (part ?EYE ?H)
            (orientation ?F ?EYE Above))))		 Anatomy.kif 1521-1533 If X is an instance of forehead, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and W is a part of Y, then there exists V such that V is an instance of eye, V is a part of Y, and X is above to V
(=>
    (holdsDuring ?T
        (attribute ?H
            (ImpairedBodyPartFn Eardrum)))
    (modalAttribute
        (not
            (exists (?HEAR)
                (and
                    (instance ?HEAR Hearing)
                    (during
                        (WhenFn ?HEAR) ?T)
                    (experiencer ?HEAR ?H)))) Likely))		 Anatomy.kif 1678-1689 If impaired body part fn myringa is an attribute of X holds during Y, then the statement there doesn't exist Z such that Z is an instance of hearing, the time of existence of Z takes place during Y, and X experiences Z has the modal force of likely
(=>
    (and
        (muscleOrigin ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (located ?E ?L)))		 Anatomy.kif 1741-1762 If All of the following hold: (1) the origin of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is located at R holds during the end of V
(=>
    (and
        (muscleInsertion ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (not
            (located ?E ?L))))		 Anatomy.kif 1791-1813 If All of the following hold: (1) the insertion point of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is not located at R holds during the end of V
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Prone)
                (orientation ?H ?O On)))
        (instance ?C Chest)
        (part ?C ?H))
    (meetsSpatially ?C ?O))		 Anatomy.kif 1832-1840 If prone is an attribute of X and X is on to Y holds during Z, W is an instance of chest, and W is a part of X, then W meets Y
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Supine)
                (orientation ?H ?O On)))
        (equal ?B
            (BackFn ?H)))
    (meetsSpatially ?B ?O))		 Anatomy.kif 1847-1854 If supine is an attribute of X and X is on to Y holds during Z and equal W and the back of X, then W meets Y
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?LA ?O)
            (meetsSpatially ?LL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?RA ?O))
            (not
                (meetsSpatially ?RL ?O)))))		 Anatomy.kif 1871-1893 If All of the following hold: (1) lateral recumbant is an attribute of X and X is on to Y holds during Z (2) W is an instance of left arm (3) W is a part of X (4) V is an instance of right arm (5) V is a part of X (6) U is an instance of left leg (7) U is a part of X (8) T is an instance of right leg (9) T is a part of X (10) W meets Y or U meets Y, then V doesn't meet Y and T doesn't meet Y holds during Z
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?RA ?O)
            (meetsSpatially ?RL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?LA ?O))
            (not
                (meetsSpatially ?LL ?O)))))		 Anatomy.kif 1895-1917 If All of the following hold: (1) lateral recumbant is an attribute of X and X is on to Y holds during Z (2) W is an instance of left arm (3) W is a part of X (4) V is an instance of right arm (5) V is a part of X (6) U is an instance of left leg (7) U is a part of X (8) T is an instance of right leg (9) T is a part of X (10) V meets Y or T meets Y, then W doesn't meet Y and U doesn't meet Y holds during Z
(=>
    (holdsDuring ?T
        (attribute ?P BereavedFather))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (father ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))		 ArabicCulture.kif 792-798 If bereaved father is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is a father of X holds during Z, and dead is an attribute of W holds during Y
(=>
    (holdsDuring ?T
        (attribute ?P BereavedMother))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (mother ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))		 ArabicCulture.kif 806-812 If bereaved mother is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is a mother of X holds during Z, and dead is an attribute of W holds during Y
(=>
    (and
        (instance ?E EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (instance ?P Piston)
        (instance ?T TwoStrokeIntake)
        (holdsDuring ?T
            (located ?P ?E))
        (equal ?E
            (HoleHostFn ?I))
        (eventLocated ?T ?E))
    (hasPurpose ?P
        (holdsDuring ?T
            (partiallyFills ?P ?I))))		 Cars.kif 463-475 If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of internal combustion chamber (3) Z is an instance of piston (4) W is an instance of two stroke intake (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W
(=>
    (and
        (instance ?E EngineCylinder)
        (instance ?C Crankcase)
        (instance ?P Piston)
        (instance ?T TwoStrokeTransfer)
        (holdsDuring ?T
            (located ?P ?E))
        (equal ?E
            (HoleHostFn ?C))
        (eventLocated ?T ?E))
    (hasPurpose ?P
        (holdsDuring ?T
            (partiallyFills ?P ?C))))		 Cars.kif 509-521 If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of crankcase (3) Z is an instance of piston (4) W is an instance of two stroke transfer (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W
(=>
    (and
        (instance ?P ParkingBrake)
        (instance ?V Vehicle)
        (holdsDuring ?T1
            (attribute ?P DeviceOn))
        (part ?P ?V))
    (hasPurpose ?P
        (holdsDuring ?T1
            (not
                (exists (?T)
                    (and
                        (instance ?T Translocation)
                        (patient ?T ?V)))))))		 Cars.kif 567-580 If X is an instance of parking brake, Y is an instance of vehicle, device on is an attribute of X holds during Z, and X is a part of Y, then X has the purpose there doesn't exist W such that W is an instance of translocation and Y is a patient of W holds during 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 ?E)
            (physicalAmplitude ?T
                (MeasureFn ?A2 ?U))))
    (greaterThan ?A1 ?A2))		 Cars.kif 777-792 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 X, then U is greater than T
(=>
    (and
        (dampingRatio ?P ?R)
        (greaterThan ?R 0)
        (instance ?T Tremor)
        (patient ?T ?P)
        (instance ?U UnitOfLength)
        (holdsDuring ?T1
            (physicalAmplitude ?T
                (MeasureFn ?A1 ?U)))
        (holdsDuring ?T2
            (physicalAmplitude ?T
                (MeasureFn ?A2 ?U)))
        (during ?T1
            (WhenFn ?T))
        (during ?T2
            (WhenFn ?T))
        (earlier ?T1 ?T2))
    (greaterThan ?A1 ?A2))		 Cars.kif 809-825 If All of the following hold: (1) the damping ratio of X is Y (2) Y is greater than 0 (3) Z is an instance of tremor (4) X is a patient of Z (5) W is an instance of unit of length (6) the amplitude Z is V W(s) holds during U (7) the amplitude Z is T W(s) holds during S (8) U takes place during the time of existence of Z (9) S takes place during the time of existence of Z (10) U happens earlier than S, then V is greater than T
(=>
    (and
        (instance ?EC EngineChoke)
        (holdsDuring ?FSC1
            (attribute ?EC DeviceOn))
        (holdsDuring ?FSC2
            (attribute ?EC DeviceOff))
        (instance ?C EngineCylinder)
        (capacity ?C ?M)
        (instance ?FSC1 FourStrokeCompression)
        (instance ?FSC2 FourStrokeCompression)
        (eventLocated ?FSC1 ?C)
        (eventLocated ?FSC2 ?C)
        (instance ?A1 Air)
        (instance ?F1 Fuel)
        (part ?A1 ?MIX1)
        (part ?F1 ?MIX1)
        (measure ?MIX1 ?M)
        (instance ?A2 Air)
        (instance ?F2 Fuel)
        (part ?A2 ?MIX2)
        (part ?F2 ?MIX2)
        (measure ?MIX2 ?M)
        (instance ?U UnitOfMeasure)
        (measure ?A1
            (MeasureFn ?A1M ?U))
        (measure ?A2
            (MeasureFn ?A2M ?U))
        (measure ?F1
            (MeasureFn ?F1M ?U))
        (measure ?F2
            (MeasureFn ?F2M ?U)))
    (greaterThan
        (DivisionFn ?A2M ?F2M)
        (DivisionFn ?A1M ?F1M)))		 Cars.kif 1314-1348 If All of the following hold: (1) X is an instance of engine choke (2) device on is an attribute of X holds during Y (3) device off is an attribute of X holds during Z (4) W is an instance of engine cylinder (5) V is a capacity of W (6) Y is an instance of four stroke compression (7) Z is an instance of four stroke compression (8) Y is located at W (9) Z is located at W (10) U is an instance of air (11) T is an instance of fuel (12) U is a part of S (13) T is a part of S (14) the measure of S is V (15) R is an instance of air (16) Q is an instance of fuel (17) R is a part of P (18) Q is a part of P (19) the measure of P is V (20) O is an instance of unit of measure (21) the measure of U is N O(s) (22) the measure of R is M O(s) (23) the measure of T is L O(s) (24) the measure of Q is K O(s), then M, K is greater than N, and L
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (eventLocated ?EC ?E)
        (instance ?U UnitOfVolume)
        (holdsDuring
            (WhenFn ?EC)
            (minCylinderVolume ?E
                (MeasureFn ?V1 ?U))))
    (not
        (exists (?V2 ?T)
            (and
                (during ?T
                    (WhenFn ?EC))
                (holdsDuring ?T
                    (measure ?CC
                        (MeasureFn ?V2 ?U)))
                (greaterThan ?V1 ?V2)))))		 Cars.kif 1852-1871 If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of combustion chamber (4) Z is a part of Y (5) X is located at Y (6) W is an instance of unit of volume (7) the minimum volume of the cylinders in the engine Y is V W(s) holds during the time of existence of X, then there don't exist U and T such that T takes place during the time of existence of X and the measure of Z is U W(s) holds during T and V is greater than U
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (eventLocated ?EC ?E)
        (instance ?U UnitOfVolume)
        (holdsDuring
            (WhenFn ?EC)
            (maxCylinderVolume ?E
                (MeasureFn ?V1 ?U))))
    (not
        (exists (?V2 ?T)
            (and
                (during ?T
                    (WhenFn ?EC))
                (holdsDuring ?T
                    (measure ?CC
                        (MeasureFn ?V2 ?U)))
                (greaterThan ?V2 ?V1)))))		 Cars.kif 1882-1901 If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of combustion chamber (4) Z is a part of Y (5) X is located at Y (6) W is an instance of unit of volume (7) the maximum volume of the cylinders in the engine Y is V W(s) holds during the time of existence of X, then there don't exist U and T such that T takes place during the time of existence of X and the measure of Z is U W(s) holds during T and U is greater than V
(=>
    (and
        (instance ?SCO SelfConnectedObject)
        (instance ?C Compressing)
        (patient ?C ?SCO)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N1 ?V)))
        (instance ?V UnitOfVolume)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N2 ?V))))
    (greaterThan ?N1 ?N2))		 Cars.kif 1971-1983 If All of the following hold: (1) X is an instance of self connected object (2) Y is an instance of compressing (3) X is a patient of Y (4) the measure of X is Z W(s) holds during immediately before the time of existence of Y (5) W is an instance of unit of volume (6) the measure of X is V W(s) holds during immediately after the time of existence of Y, then Z is greater than V
(=>
    (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 2097-2123 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
        (holdsDuring ?T
            (measure ?C ?S))
        (engineIdleSpeed ?E ?S)
        (instance ?A Automobile)
        (part ?E ?A)
        (part ?C ?E))
    (modalAttribute
        (not
            (exists (?P ?GP)
                (and
                    (during ?P ?T)
                    (instance ?P Pushing)
                    (destination ?P ?GP)
                    (part ?GP ?A)))) Likely))		 Cars.kif 2564-2580 If the measure of X is Y holds during Z, the idle speed of W is Y, V is an instance of automobile, W is a part of V, and X is a part of W, then the statement there don't exist U, T such that U takes place during Z, U is an instance of pushing, U ends up at T, and T is a part of V has the modal force of likely
(=>
    (and
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (instance ?F Fuel)
        (instance ?M UnitOfVolume)
        (holdsDuring ?T
            (and
                (contains ?CC ?F)
                (measure ?F
                    (MeasureFn ?N1 ?M))
                (attribute ?E EngineFlooded))))
    (hasPurpose ?CC
        (not
            (exists (?F2 ?N2)
                (and
                    (instance ?F2 Fuel)
                    (contains ?CC ?F2)
                    (measure ?F2
                        (MeasureFn ?N2 ?M))
                    (greaterThanOrEqualTo ?N2 ?N1))))))		 Cars.kif 2812-2831 If All of the following hold: (1) X is an instance of internal combustion engine (2) Y is an instance of combustion chamber (3) Y is a part of X (4) Z is an instance of fuel (5) W is an instance of unit of volume (6) Y contains Z and the measure of Z is V W(s) and engine flooded is an attribute of X holds during U, then Y has the purpose there don't exist T and S such that T is an instance of fuel and Y contains T and the measure of T is S W(s) and S is greater than or equal to V
(=>
    (and
        (instance ?G Grease)
        (holdsDuring ?T
            (measure ?G
                (MeasureFn 77 FahrenheitDegree))))
    (holdsDuring ?T
        (attribute ?G Solid)))		 Cars.kif 3062-3068 If X is an instance of grease and the measure of X is 77 fahrenheit degree(s) holds during Y, then solid is an attribute of X holds during Y
(=>
    (and
        (instance ?T ElectricalTransformer)
        (instance ?WC1 WireCoil)
        (instance ?WC2 WireCoil)
        (coilCount ?WC1 ?N1)
        (coilCount ?WC2 ?N2)
        (holdsDuring ?T
            (measure ?WC1
                (MeasureFn Volt ?V1))))
    (and
        (holdsDuring ?T
            (measure ?WC2
                (MeasureFn Volt ?V2)))
        (equal ?V2
            (MultiplicationFn ?V1
                (DivisionFn ?N2 ?N1)))))		 Cars.kif 3172-3186 If All of the following hold: (1) X is an instance of electrical transformer (2) Y is an instance of wire coil (3) Z is an instance of wire coil (4) the number of coils in Y is W (5) the number of coils in Z is V (6) the measure of Y is volt U(s) holds during X, then the measure of Z is volt T(s) holds during X and equal T, U, V, and W

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (muscleOrigin ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (located ?E ?L)))		 Anatomy.kif 1741-1762 If All of the following hold: (1) the origin of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is located at R holds during the end of V
(=>
    (and
        (muscleInsertion ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (not
            (located ?E ?L))))		 Anatomy.kif 1791-1813 If All of the following hold: (1) the insertion point of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is not located at R holds during the end of V
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?LA ?O)
            (meetsSpatially ?LL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?RA ?O))
            (not
                (meetsSpatially ?RL ?O)))))		 Anatomy.kif 1871-1893 If All of the following hold: (1) lateral recumbant is an attribute of X and X is on to Y holds during Z (2) W is an instance of left arm (3) W is a part of X (4) V is an instance of right arm (5) V is a part of X (6) U is an instance of left leg (7) U is a part of X (8) T is an instance of right leg (9) T is a part of X (10) W meets Y or U meets Y, then V doesn't meet Y and T doesn't meet Y holds during Z
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?RA ?O)
            (meetsSpatially ?RL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?LA ?O))
            (not
                (meetsSpatially ?LL ?O)))))		 Anatomy.kif 1895-1917 If All of the following hold: (1) lateral recumbant is an attribute of X and X is on to Y holds during Z (2) W is an instance of left arm (3) W is a part of X (4) V is an instance of right arm (5) V is a part of X (6) U is an instance of left leg (7) U is a part of X (8) T is an instance of right leg (9) T is a part of X (10) V meets Y or T meets Y, then W doesn't meet Y and U doesn't meet Y holds during Z
(=>
    (experiencer ?IP ?A)
    (exists (?IC)
        (and
            (instance ?IC IhramClothing)
            (holdsDuring
                (WhenFn ?IP)
                (wears ?A ?IC)))))		 ArabicCulture.kif 170-177 If X experiences Y, then there exists Z such that Z is an instance of ihram clothing and X wears Z holds during the time of existence of Y
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U ?Y ?C)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))		 ArabicCulture.kif 204-223 If muslim is an attribute of X and equal value of belongings of X and Y, then the statement there exist Z, W,, , V,, , U and T such that Z is an instance of zakat and U is an instance of year and U takes place during the time of existence of X and fully formed is an attribute of X holds during U and X is an agent of Z and W is a patient of Z and value of W is T V(s) and V is an instance of unit of currency and T is greater than Y and 0.025 has the modal force of obligation
(=>
    (instance ?MS MuakharSadaq)
    (exists (?H ?W ?T1 ?T2)
        (and
            (agent ?MS ?H)
            (origin ?MS ?H)
            (destination ?MS ?W)
            (holdsDuring ?T1
                (wife ?W ?H))
            (not
                (holdsDuring ?T2
                    (wife ?W ?H)))
            (finishes ?T1 ?MS)
            (before ?T1 ?T2)
            (starts ?T2 ?MS))))		 ArabicCulture.kif 285-299 If X is an instance of muakhar sadaq, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Z is the wife of Y holds during W (6) Z is the wife of Y doesn't hold during V (7) W finishes X (8) W happens before V (9) V starts X
(=>
    (instance ?MS MuqaddamSadaq)
    (exists (?H ?W ?T1 ?T2)
        (and
            (agent ?MS ?H)
            (origin ?MS ?H)
            (destination ?MS ?W)
            (not
                (holdsDuring ?T1
                    (wife ?W ?H)))
            (holdsDuring ?T2
                (wife ?W ?H))
            (finishes ?T1 ?MS)
            (before ?T1 ?T2)
            (starts ?T2 ?MS))))		 ArabicCulture.kif 305-319 If X is an instance of muqaddam sadaq, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Z is the wife of Y doesn't hold during W (6) Z is the wife of Y holds during V (7) W finishes X (8) W happens before V (9) V starts X
(=>
    (instance ?G Gutrah)
    (hasPurpose ?G
        (=>
            (exists (?S ?T ?H ?AREA)
                (and
                    (holdsDuring ?T
                        (wears ?H ?G))
                    (holdsDuring ?T
                        (located ?H ?AREA))
                    (hotSeasonInArea ?AREA ?S)))
            (during ?T ?S))))		 ArabicCulture.kif 376-387 If X is an instance of gutrah, then X has the purpose there exist Y, Z,, , W, V such that W wears X holds during Z, W is located at V holds during Z, and Y is a hot season in area of VZ takes place during Y
(=>
    (instance ?G Shimagh)
    (hasPurpose ?G
        (=>
            (exists (?S ?T ?H ?AREA)
                (and
                    (holdsDuring ?T
                        (wears ?H ?G))
                    (holdsDuring ?T
                        (located ?H ?AREA))
                    (coldSeasonInArea ?AREA ?S)))
            (during ?T ?S))))		 ArabicCulture.kif 399-410 If X is an instance of shimagh, then X has the purpose there exist Y, Z,, , W, V such that W wears X holds during Z, W is located at V holds during Z, and Y is a cold season in area of VZ takes place during Y
(=>
    (holdsDuring ?T
        (attribute ?P BereavedFather))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (father ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))		 ArabicCulture.kif 792-798 If bereaved father is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is a father of X holds during Z, and dead is an attribute of W holds during Y
(=>
    (holdsDuring ?T
        (attribute ?P BereavedMother))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (mother ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))		 ArabicCulture.kif 806-812 If bereaved mother is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is a mother of X holds during Z, and dead is an attribute of W holds during Y
(=>
    (and
        (instance ?F FourStrokeCompression)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?F ?C))
    (holdsDuring
        (EndFn
            (WhenFn ?F))
        (attribute ?I Pressurized)))		 Cars.kif 191-200 If X is an instance of four stroke compression, 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 pressurized is an attribute of Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?E EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (instance ?P Piston)
        (instance ?T TwoStrokeIntake)
        (holdsDuring ?T
            (located ?P ?E))
        (equal ?E
            (HoleHostFn ?I))
        (eventLocated ?T ?E))
    (hasPurpose ?P
        (holdsDuring ?T
            (partiallyFills ?P ?I))))		 Cars.kif 463-475 If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of internal combustion chamber (3) Z is an instance of piston (4) W is an instance of two stroke intake (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W
(=>
    (and
        (instance ?TSI TwoStrokeIntake)
        (instance ?C Crankcase)
        (eventPartlyLocated ?TSI ?C))
    (holdsDuring ?TSI
        (attribute ?C PartialVacuum)))		 Cars.kif 477-483 If X is an instance of two stroke intake, Y is an instance of crankcase, and X is partly located at Y, then partial vacuum is an attribute of Y holds during X
(=>
    (and
        (instance ?E EngineCylinder)
        (instance ?C Crankcase)
        (instance ?P Piston)
        (instance ?T TwoStrokeTransfer)
        (holdsDuring ?T
            (located ?P ?E))
        (equal ?E
            (HoleHostFn ?C))
        (eventLocated ?T ?E))
    (hasPurpose ?P
        (holdsDuring ?T
            (partiallyFills ?P ?C))))		 Cars.kif 509-521 If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of crankcase (3) Z is an instance of piston (4) W is an instance of two stroke transfer (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W
(=>
    (and
        (instance ?P ParkingBrake)
        (instance ?V Vehicle)
        (holdsDuring ?T1
            (attribute ?P DeviceOn))
        (part ?P ?V))
    (hasPurpose ?P
        (holdsDuring ?T1
            (not
                (exists (?T)
                    (and
                        (instance ?T Translocation)
                        (patient ?T ?V)))))))		 Cars.kif 567-580 If X is an instance of parking brake, Y is an instance of vehicle, device on is an attribute of X holds during Z, and X is a part of Y, then X has the purpose there doesn't exist W such that W is an instance of translocation and Y is a patient of W holds during Z
(=>
    (and
        (physicalAmplitude ?T ?L)
        (patient ?T ?O))
    (exists (?P1 ?P2 ?T1 ?T2)
        (and
            (during ?T1
                (WhenFn ?T))
            (during ?T2
                (WhenFn ?T))
            (holdsDuring ?T1
                (located ?O ?P1))
            (holdsDuring ?T2
                (located ?O ?P2))
            (distance ?P1 ?P2 ?L))))		 Cars.kif 737-749 If the amplitude X is Y and Z is a patient of X, then All of the following hold: (1) there exist W, V,, , U (2) T such that U takes place during the time of existence of X (3) T takes place during the time of existence of X (4) Z is located at W holds during U (5) Z is located at V holds during T (6) the distance between W (7) V is Y
(=>
    (and
        (physicalAmplitude ?T
            (MeasureFn ?L ?U))
        (instance ?U UnitOfLength)
        (patient ?T ?O))
    (not
        (exists (?P1 ?P2 ?T1 ?T2 ?L2)
            (and
                (during ?T1
                    (WhenFn ?T))
                (during ?T2
                    (WhenFn ?T))
                (holdsDuring ?T1
                    (located ?O ?P1))
                (holdsDuring ?T2
                    (located ?O ?P2))
                (distance ?P1 ?P2
                    (MeasureFn ?L2 ?U))
                (greaterThan ?L2 ?L)))))		 Cars.kif 751-768 If the amplitude X is Y Z(s), Z is an instance of unit of length, and W is a patient of X, then there don't exist V, U,, , T,, , S and R such that T takes place during the time of existence of X and S takes place during the time of existence of X and W is located at V holds during T and W is located at U holds during S and the distance between V and U is R Z(s) and R is greater than Y
(=>
    (instance ?X FuelCapLock)
    (hasPurpose ?X
        (exists (?TANK ?HOLE ?T)
            (and
                (instance ?TANK GasTank)
                (hole ?HOLE ?TANK)
                (decreasesLikelihood
                    (holdsDuring ?T
                        (and
                            (connected ?X ?HOLE)
                            (attribute ?X Locked)))
                    (holdsDuring ?T
                        (exists (?STEAL ?FUEL)
                            (and
                                (instance ?STEAL Stealing)
                                (instance ?FUEL Fuel)
                                (located ?FUEL ?TANK)
                                (patient ?STEAL ?FUEL)))))))))		 Cars.kif 1016-1034 If X is an instance of fuel cap lock, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas tank (3) Z is a hole in Y (4) X is connected to Z (5) locked is an attribute of X holds during W decreases likelihood of there exist V (6) U such that V is an instance of stealing (7) U is an instance of fuel (8) U is located at Y (9) U is a patient of V holds during W
(=>
    (and
        (instance ?B Braking)
        (patient ?B ?O))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?B))
            (equal
                (MeasureFn ?A1 MilesPerHour)
                (AccelerationFn ?FQ ?T ?O ?D)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?B))
            (equal
                (MeasureFn ?A2 MilesPerHour)
                (AccelerationFn ?FQ ?T ?O ?D)))
        (greaterThan ?A1 ?A2)))		 Cars.kif 1252-1267 If X is an instance of braking and Y is a patient of X, then equal Z miles per hour(s) and the accelleration W of Y in V in the direction U holds during immediately before the time of existence of X, equal T miles per hour(s) and the accelleration W of Y in V in the direction U holds during immediately after the time of existence of X, and Z is greater than T
(=>
    (instance ?BA BleedingAir)
    (hasPurpose ?BA
        (exists (?FC ?A)
            (and
                (instance ?FC FluidContainer)
                (instance ?A Air)
                (holdsDuring
                    (ImmediatePastFn ?BA)
                    (contains ?FC ?A))
                (holdsDuring
                    (ImmediateFutureFn ?BA)
                    (not
                        (contains ?FC ?A)))))))		 Cars.kif 1519-1529 If X is an instance of bleeding air, then X has the purpose there exist Y, Z such that Y is an instance of fluid container, Z is an instance of air, Y contains Z holds during immediately before X, and Y doesn't contain Z holds during immediately after X
(=>
    (instance ?H HydraulicFluid)
    (hasPurpose ?H
        (exists (?P)
            (and
                (instance ?P Process)
                (instrument ?P ?H)
                (holdsDuring
                    (WhenFn ?P)
                    (attribute ?H Liquid))))))		 Cars.kif 1593-1602 If X is an instance of hydraulic fluid, then X has the purpose there exists Y such that Y is an instance of process, X is an instrument for Y, and liquid is an attribute of X holds during the time of existence of Y
(=>
    (and
        (instance ?C Cavitating)
        (instance ?P Pump)
        (attribute ?P DeviceOn)
        (attribute ?L1 Liquid)
        (contains ?P ?L1))
    (exists (?PP ?L2)
        (and
            (part ?PP ?P)
            (hasPurpose ?PP
                (and
                    (attribute ?L2 Liquid)
                    (meetsSpatially ?L2 ?PP)))
            (holdsDuring
                (WhenFn ?C)
                (not
                    (exists (?L3)
                        (and
                            (attribute ?L3 Liquid)
                            (meetsSpatially ?PP ?L3))))))))		 Cars.kif 1748-1768 If X is an instance of cavitating, Y is an instance of pump, device on is an attribute of Y, liquid is an attribute of Z, and Y contains Z, then there exist W, V such that W is a part of Y, W has the purpose liquid is an attribute of V, V meets W, there doesn't exist U such that liquid is an attribute of U, and W meets U holds during the time of existence of X
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (eventLocated ?EC ?E)
        (instance ?U UnitOfVolume)
        (holdsDuring
            (WhenFn ?EC)
            (minCylinderVolume ?E
                (MeasureFn ?V1 ?U))))
    (not
        (exists (?V2 ?T)
            (and
                (during ?T
                    (WhenFn ?EC))
                (holdsDuring ?T
                    (measure ?CC
                        (MeasureFn ?V2 ?U)))
                (greaterThan ?V1 ?V2)))))		 Cars.kif 1852-1871 If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of combustion chamber (4) Z is a part of Y (5) X is located at Y (6) W is an instance of unit of volume (7) the minimum volume of the cylinders in the engine Y is V W(s) holds during the time of existence of X, then there don't exist U and T such that T takes place during the time of existence of X and the measure of Z is U W(s) holds during T and V is greater than U

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(exists (?T)
    (and
        (instance ?T
            (YearFn 2002))
        (holdsDuring ?T
            (coworker SteveJobsOfApple TimCookOfApple))))		 ComputingBrands.kif 2441-2445 There exists X such that X is an instance of the year 2002 and Tim Cook is a coworker of Steve Jobs holds during X
(exists (?T)
    (and
        (instance ?T
            (YearFn 1976))
        (holdsDuring ?T
            (coworker SteveJobsOfApple SteveWozniakOfApple))))		 ComputingBrands.kif 2453-2457 There exists X such that X is an instance of the year 1976 and Steve Wozniak is a coworker of Steve Jobs holds during X
(exists (?TIME)
    (and
        (instance ?TIME TimeInterval)
        (finishes ?TIME
            (WhenFn JesusOfNazareth))
        (starts ?TIME
            (WhenFn TwelveApostles))
        (forall (?MEM)
            (=>
                (holdsDuring ?TIME
                    (member ?MEM TwelveApostles))
                (holdsDuring ?TIME
                    (friend ?MEM JesusOfNazareth))))))		 Media.kif 1972-1980 There exists X such that X is an instance of timeframe, X finishes the time of existence of Jesus of Nazareth, X starts the time of existence of Twelve apostles, and Y Y is a member of Twelve apostles holds during XJesus of Nazareth is a friend of Y holds during X
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 1000-1013 equal the reaching military age annually male of X, Y, and the number of instances in the class described by Z
(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))		 People.kif 456-469 X is an instance of the year Y and equal the children born per woman of Z, X, and the number of instances in the class described by W

appearance as argument number 0
-------------------------


(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity)))		 Government.kif 2746-2750 X is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French_Speaking Community" holds during immediately after X
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))		 Government.kif 2772-2775 X is an instance of the day 1 of month the month October and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after X
(holdsDuring
    (WhenFn JesusOfNazareth)
    (located JesusOfNazareth Palestine))		 Media.kif 1922-1922 Jesus of Nazareth is located at palestine holds during the time of existence of Jesus of Nazareth
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2498-2501 Serbia is an instance of independent state and X is an instance of the day 5 of month the month June holds during after X
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2503-2506 Serbia is an instance of european nation and X is an instance of the day 5 of month the month June holds during after X
(holdsDuring
    (FutureFn ?T)
    (and
        (names "Republic of Serbia" Serbia)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2508-2511 Serbia has name "Republic of Serbia" and X is an instance of the day 5 of month the month June holds during after X
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))		 Media.kif 2525-2528 X is an instance of the day 3 of month the month June and Montenegro is an instance of independent state holds during after X
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))		 Media.kif 2530-2533 X is an instance of the day 3 of month the month June and Montenegro is an instance of european nation holds during after X
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))		 Media.kif 2535-2538 X is an instance of the day 3 of month the month June and Montenegro has name "Montenegro" holds during after X
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (not
            (instance SerbiaAndMontenegro IndependentState))))		 Media.kif 2548-2552 X is an instance of the day 3 of month the month June and serbia and montenegro is not an instance of independent state holds during after X


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