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


KB Term:  Term intersection
English Word: 

Sigma KEE - MeasureFn
MeasureFn

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


(instance MeasureFn BinaryFunction) Merge.kif 6395-6395 Measure is an instance of binary function
(instance MeasureFn TotalValuedRelation) Merge.kif 6396-6396 Measure is an instance of total valued relation
(domain MeasureFn 1 RealNumber) Merge.kif 6397-6397 The number 1 argument of measure is an instance of real number
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6398-6398 The number 2 argument of measure is an instance of unit of measure
(range MeasureFn PhysicalQuantity) Merge.kif 6399-6399 The range of measure is an instance of physical quantity
(documentation MeasureFn EnglishLanguage "This BinaryFunction maps a RealNumber and a UnitOfMeasure to that Number of units. It is used to express `measured' instances of PhysicalQuantity. Example: the concept of three meters is represented as (MeasureFn 3 Meter).") Merge.kif 6401-6405 The range of measure is an instance of physical quantity

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


(termFormat EnglishLanguage MeasureFn "measure") domainEnglishFormat.kif 36671-36671
(termFormat ChineseTraditionalLanguage MeasureFn "測量") domainEnglishFormat.kif 36672-36672
(termFormat ChineseLanguage MeasureFn "测量") domainEnglishFormat.kif 36673-36673
(format EnglishLanguage MeasureFn "%1 %2(s)") english_format.kif 636-636

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


(=>
    (and
        (instance ?ET EustachianTube)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (length ?ET
            (MeasureFn ?N Centimeter)))
    (approximateValue ?N 35.0))		 Anatomy.kif 1550-1557 If X is an instance of Eustachian tube, X is a part of Y, healthy is an attribute of Y, and the length of X is Z centimeter(s), then the approximate value of Z is 35.0
(=>
    (and
        (instance ?ET EustachianTube)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (diameter ?ET
            (MeasureFn ?N Millimeter)))
    (approximateValue ?N 3.0))		 Anatomy.kif 1559-1566 If X is an instance of Eustachian tube, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 3.0
(=>
    (and
        (instance ?ET AuditoryCanal)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (length ?ET
            (MeasureFn ?N Centimeter)))
    (approximateValue ?N 2.5))		 Anatomy.kif 1600-1607 If X is an instance of auditory canal, X is a part of Y, healthy is an attribute of Y, and the length of X is Z centimeter(s), then the approximate value of Z is 2.5
(=>
    (and
        (instance ?ET AuditoryCanal)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (diameter ?ET
            (MeasureFn ?N Millimeter)))
    (approximateValue ?N 0.7))		 Anatomy.kif 1609-1616 If X is an instance of auditory canal, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 0.7
(=>
    (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
(=>
    (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 ?W TapWater)
        (instance ?M Mixture)
        (part ?W ?M)
        (instance ?A Antifreeze)
        (part ?A ?M)
        (attribute ?M Solid)
        (measure ?M
            (MeasureFn ?D CelsiusDegree)))
    (greaterThan 32 ?D))		 Cars.kif 1219-1228 If All of the following hold: (1) X is an instance of tap water (2) Y is an instance of mixture (3) X is a part of Y (4) Z is an instance of antifreeze (5) Z is a part of Y (6) solid is an attribute of Y (7) the measure of Y is W celsius degree(s), then 32 is greater than W
(=>
    (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 ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?P Piston)
        (instance ?U UnitOfLength)
        (part ?P ?E)
        (patient ?EC ?P)
        (eventLocated ?EC ?E)
        (pistonStroke ?E
            (MeasureFn ?LM ?U)))
    (not
        (exists (?T1 ?T2 ?L1 ?L2 ?D)
            (and
                (during ?T1
                    (WhenFn ?EC))
                (during ?T2
                    (WhenFn ?EC))
                (holdsDuring ?T1
                    (located ?P ?L1))
                (holdsDuring ?T2
                    (located ?P ?L2))
                (distance ?L1 ?L2
                    (MeasureFn ?D ?U))
                (greaterThan ?D ?LM)))))		 Cars.kif 1927-1949 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 piston (4) W is an instance of unit of length (5) Z is a part of Y (6) Z is a patient of X (7) X is located at Y (8) the maximum distance that the pistons of engine Y travel is V W(s), then there don't exist U, T,, , S,, , R and Q such that U takes place during the time of existence of X and T takes place during the time of existence of X and Z is located at S holds during U and Z is located at R holds during T and the distance between S and R is Q W(s) and Q 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
        (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 2336-2377 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
        (engineIdleSpeed ?E
            (MeasureFn ?RI RevolutionsPerMinute))
        (instance ?A Automobile)
        (instance ?GP GasPedal)
        (instance ?P Pushing)
        (destination ?P ?GP)
        (part ?E ?A)
        (part ?GP ?A)
        (instance ?C Crankshaft)
        (instance ?R1 Rotating)
        (moves ?R1 ?C)
        (during
            (WhenFn ?R1)
            (WhenFn ?P))
        (part ?C ?E)
        (equal
            (MeasureFn ?RA RevolutionsPerMinute)
            (RotationFn ?R1)))
    (modalAttribute
        (greaterThan ?RA ?RI) Likely))		 Cars.kif 2582-2604 If All of the following hold: (1) the idle speed of X is Y revolutions per minute(s) (2) Z is an instance of automobile (3) W is an instance of gas pedal (4) V is an instance of pushing (5) V ends up at W (6) X is a part of Z (7) W is a part of Z (8) U is an instance of crankshaft (9) T is an instance of rotating (10) U moves during T (11) the time of existence of T takes place during the time of existence of V (12) U is a part of X (13) equal S revolutions per minute(s) and the rotation of T during, then the statement S is greater than Y 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
        (governorSpeed ?V ?Q)
        (equal
            (MeasureFn ?FAST MilesPerHour)
            (SpeedFn ?L1 ?T1))
        (equal
            (MeasureFn ?SLOW MilesPerHour)
            (SpeedFn ?L2 ?T2))
        (greaterThan ?FAST ?SLOW)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?FAST MilesPerHour))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?SLOW MilesPerHour)))))
    (greaterThan ?SLOWPROB ?FASTPROB))		 Cars.kif 2885-2903 If All of the following hold: (1) the maximum speed allowed by X is Y (2) equal Z miles per hour(s) and W per V (3) equal U miles per hour(s) and T per S (4) Z is greater than U (5) equal R and the probability of the measure of X is Z miles per hour(s) (6) equal Q and the probability of the measure of X is U miles per hour(s), then Q is greater than R
(=>
    (and
        (instance ?G SpeedGovernor)
        (governorSpeed ?V
            (MeasureFn ?S MilesPerHour))
        (connectedEngineeringComponents ?G ?V))
    (hasPurpose ?G
        (not
            (exists (?SP2)
                (and
                    (measure ?V
                        (MeasureFn ?SP2 MilesPerHour))
                    (greaterThan ?SP2 ?S))))))		 Cars.kif 2910-2922 If X is an instance of governor, the maximum speed allowed by Y is Z miles per hour(s), and X is connected to Y, then X has the purpose there doesn't exist W such that the measure of Y is W miles per hour(s) and W is greater than Z
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?E Engine)
        (connectedEngineeringComponents ?EG ?E)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?R ?P ?M)
                (and
                    (instance ?P Device)
                    (part ?P ?E)
                    (instance ?R Rotating)
                    (holdsDuring
                        (WhenFn ?R)
                        (and
                            (measure ?P
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2931-2949 If X is an instance of governor, Y is an instance of engine, X is connected to Y, and the maximum speed allowed by Y is Z miles per hour(s), then X has the purpose there don't exist W, V and U such that V is an instance of device and V is a part of Y and W is an instance of rotating and the measure of V is U miles per hour(s) and U is greater than Z holds during the time of existence of W
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?V Vehicle)
        (connectedEngineeringComponents ?EG ?V)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?T ?M)
                (and
                    (instance ?T Translocation)
                    (holdsDuring
                        (WhenFn ?T)
                        (and
                            (measure ?V
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2958-2974 If X is an instance of governor, Y is an instance of vehicle, X is connected to Y, and the maximum speed allowed by Z is W miles per hour(s), then X has the purpose there don't exist V and U such that V is an instance of translocation and the measure of Y is U miles per hour(s) and U is greater than W holds during the time of existence of V
(=>
    (and
        (instance ?O Odometer)
        (instance ?V Vehicle)
        (part ?O ?V)
        (instance ?T Translocation)
        (instrument ?T ?V)
        (path ?T ?P)
        (distanceOnPath
            (MeasureFn ?D ?U) ?P)
        (instance ?U LengthMeasure))
    (hasPurpose ?O
        (exists (?M ?L ?DIST ?U)
            (and
                (instance ?M Measuring)
                (instrument ?M ?O)
                (measurementReading ?O ?DIST)
                (inList ?D ?L)
                (holdsDuring
                    (WhenFn
                        (EndFn ?M))
                    (and
                        (equal ?DIST
                            (MeasureFn
                                (ListSumFn ?L) ?U))
                        (not
                            (attribute ?O ResetMeasuringDevice))))))))		 Cars.kif 2987-3013 If All of the following hold: (1) X is an instance of odometer (2) Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S,, , R and U such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T
(=>
    (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
(=>
    (and
        (instance ?IC IgnitionCoil)
        (instance ?P ElectricTransmission)
        (resource ?P ?E1)
        (instance ?E1 Electricity)
        (instance ?E2 Electricity)
        (result ?P ?E2)
        (instrument ?P ?IC)
        (measure ?E1
            (MeasureFn ?N1 Volt)))
    (approximateValue ?N1 12))		 Cars.kif 3233-3243 If All of the following hold: (1) X is an instance of ignition coil (2) Y is an instance of electric transmission (3) Z is a resource for Y (4) Z is an instance of electricity (5) W is an instance of electricity (6) W is a result of Y (7) X is an instrument for Y (8) the measure of Z is V volt(s), then the approximate value of V is 12

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (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
(=>
    (attribute ?X PartialVacuum)
    (exists (?O ?G ?P1 ?P2 ?PM)
        (and
            (instance ?O SelfConnectedObject)
            (instance ?G Region)
            (not
                (equal ?G ?X))
            (connected ?X ?O)
            (connected ?G ?O)
            (measure ?G
                (MeasureFn ?P1 ?PM))
            (measure ?X
                (MeasureFn ?P2 ?PM))
            (instance ?PM UnitOfAtmosphericPressure)
            (greaterThan ?P1 ?P2))))		 Cars.kif 383-396 If partial vacuum is an attribute of X, then there exist Y, Z,, , W,, , V and U such that Y is an instance of self connected object and Z is an instance of region and equal Z and X and X is connected to Y and Z is connected to Y and the measure of Z is W U(s) and the measure of X is V U(s) and U is an instance of unit of atmospheric pressure and W is greater than V
(=>
    (attribute ?X Pressurized)
    (exists (?O ?G ?P1 ?P2 ?PM)
        (and
            (instance ?O SelfConnectedObject)
            (instance ?G Region)
            (not
                (equal ?G ?X))
            (connected ?X ?O)
            (connected ?G ?O)
            (measure ?G
                (MeasureFn ?P1 ?PM))
            (measure ?X
                (MeasureFn ?P2 ?PM))
            (instance ?PM UnitOfAtmosphericPressure)
            (greaterThan ?P2 ?P1))))		 Cars.kif 403-416 If pressurized is an attribute of X, then there exist Y, Z,, , W,, , V and U such that Y is an instance of self connected object and Z is an instance of region and equal Z and X and X is connected to Y and Z is connected to Y and the measure of Z is W U(s) and the measure of X is V U(s) and U is an instance of unit of atmospheric pressure and V is greater than W
(=>
    (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
(=>
    (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
(=>
    (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
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))		 Cars.kif 1912-1917 The compression ratio of X is Y if and only if the minimum volume of the cylinders in the engine X is Z W(s) and the maximum volume of the cylinders in the engine X is V W(s) and equal Y and Z and V
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?P Piston)
        (instance ?U UnitOfLength)
        (part ?P ?E)
        (patient ?EC ?P)
        (eventLocated ?EC ?E)
        (pistonStroke ?E
            (MeasureFn ?LM ?U)))
    (not
        (exists (?T1 ?T2 ?L1 ?L2 ?D)
            (and
                (during ?T1
                    (WhenFn ?EC))
                (during ?T2
                    (WhenFn ?EC))
                (holdsDuring ?T1
                    (located ?P ?L1))
                (holdsDuring ?T2
                    (located ?P ?L2))
                (distance ?L1 ?L2
                    (MeasureFn ?D ?U))
                (greaterThan ?D ?LM)))))		 Cars.kif 1927-1949 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 piston (4) W is an instance of unit of length (5) Z is a part of Y (6) Z is a patient of X (7) X is located at Y (8) the maximum distance that the pistons of engine Y travel is V W(s), then there don't exist U, T,, , S,, , R and Q such that U takes place during the time of existence of X and T takes place during the time of existence of X and Z is located at S holds during U and Z is located at R holds during T and the distance between S and R is Q W(s) and Q 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
        (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 SpeedGovernor)
        (governorSpeed ?V
            (MeasureFn ?S MilesPerHour))
        (connectedEngineeringComponents ?G ?V))
    (hasPurpose ?G
        (not
            (exists (?SP2)
                (and
                    (measure ?V
                        (MeasureFn ?SP2 MilesPerHour))
                    (greaterThan ?SP2 ?S))))))		 Cars.kif 2910-2922 If X is an instance of governor, the maximum speed allowed by Y is Z miles per hour(s), and X is connected to Y, then X has the purpose there doesn't exist W such that the measure of Y is W miles per hour(s) and W is greater than Z
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?E Engine)
        (connectedEngineeringComponents ?EG ?E)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?R ?P ?M)
                (and
                    (instance ?P Device)
                    (part ?P ?E)
                    (instance ?R Rotating)
                    (holdsDuring
                        (WhenFn ?R)
                        (and
                            (measure ?P
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2931-2949 If X is an instance of governor, Y is an instance of engine, X is connected to Y, and the maximum speed allowed by Y is Z miles per hour(s), then X has the purpose there don't exist W, V and U such that V is an instance of device and V is a part of Y and W is an instance of rotating and the measure of V is U miles per hour(s) and U is greater than Z holds during the time of existence of W
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?V Vehicle)
        (connectedEngineeringComponents ?EG ?V)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?T ?M)
                (and
                    (instance ?T Translocation)
                    (holdsDuring
                        (WhenFn ?T)
                        (and
                            (measure ?V
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2958-2974 If X is an instance of governor, Y is an instance of vehicle, X is connected to Y, and the maximum speed allowed by Z is W miles per hour(s), then X has the purpose there don't exist V and U such that V is an instance of translocation and the measure of Y is U miles per hour(s) and U is greater than W holds during the time of existence of V
(=>
    (and
        (instance ?O Odometer)
        (instance ?V Vehicle)
        (part ?O ?V)
        (instance ?T Translocation)
        (instrument ?T ?V)
        (path ?T ?P)
        (distanceOnPath
            (MeasureFn ?D ?U) ?P)
        (instance ?U LengthMeasure))
    (hasPurpose ?O
        (exists (?M ?L ?DIST ?U)
            (and
                (instance ?M Measuring)
                (instrument ?M ?O)
                (measurementReading ?O ?DIST)
                (inList ?D ?L)
                (holdsDuring
                    (WhenFn
                        (EndFn ?M))
                    (and
                        (equal ?DIST
                            (MeasureFn
                                (ListSumFn ?L) ?U))
                        (not
                            (attribute ?O ResetMeasuringDevice))))))))		 Cars.kif 2987-3013 If All of the following hold: (1) X is an instance of odometer (2) Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S,, , R and U such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T
(=>
    (and
        (instance ?X MeasuringDevice)
        (attribute ?X ResetMeasuringDevice))
    (and
        (measurementReading ?X
            (MeasureFn 0 ?U))
        (instance ?U UnitOfMeasure)))		 Cars.kif 3021-3028 If X is an instance of measuring device and reset measuring device is an attribute of X, then 0 Y(s) is a measurement reading of X and Y is an instance of unit of measure
(=>
    (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
(=>
    (instance ?I Inflating)
    (exists (?G1 ?G2 ?V1 ?V2 ?S ?U)
        (and
            (instance ?G1 ?S)
            (instance ?G2 ?S)
            (instance ?S Substance)
            (attribute ?G1 Gas)
            (attribute ?G2 Gas)
            (instance ?U UnitOfVolume)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?I))
                (measure ?G1
                    (MeasureFn ?V1 ?U)))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?I))
                (measure ?G2
                    (MeasureFn ?V2 ?U)))
            (greaterThan ?V2 ?V1))))		 Cars.kif 3684-3700 If X is an instance of inflating, then there exist Y, Z,, , W,, , V,, , U and T such that Y is an instance of U and Z is an instance of U and U is an instance of substance and gas is an attribute of Y and gas is an attribute of Z and T is an instance of unit of volume and the measure of Y is W T(s) holds during immediately before the time of existence of X and the measure of Z is V T(s) holds during immediately after the time of existence of X and V is greater than W
(=>
    (unitPrice ?ENT ?QUANT ?AGENT ?PS)
    (exists (?MEAS ?AMT ?UOM)
        (and
            (equal ?QUANT
                (PerFn ?MEAS
                    (MeasureFn ?AMT ?UOM)))
            (instance ?MEAS CurrencyMeasure))))		 Catalog.kif 402-407 If the unit price charged X under Y for Z is W, then there exist V, U and T such that equal Z and the per of V and U T(s) and V is an instance of currency measure
(=>
    (and
        (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
        (equal ?QUANT
            (PerFn ?PRICE
                (measure ?TIME ?U)))
        (instance ?U UnitOfDuration)
        (immediateInstance ?ITEM ?OBJ)
        (instance ?R Renting)
        (patient ?R ?ITEM)
        (agent ?R ?CUSTOMER)
        (time ?R ?TIMEINT))
    (forall (?X)
        (=>
            (exists (?DURATION)
                (and
                    (during ?TIMEINT ?X)
                    (instance ?X TimeInterval)
                    (duration ?X
                        (MeasureFn ?DURATION ?U))
                    (lessThanOrEqualTo ?DURATION ?TIME)))
            (exists (?P)
                (and
                    (instance ?P Payment)
                    (destination ?P ?AGENT)
                    (agent ?P ?CUSTOMER)
                    (transactionAmount ?P ?PRICE))))))		 Catalog.kif 467-492 If All of the following hold: (1) the price of X set by Y according to Z is W (2) equal W, the per of V, and the measure of U is T (3) T is an instance of unit of duration (4) S is an immediate instance of X (5) R is an instance of renting (6) S is a patient of R (7) Q is an agent of R (8) R exists during P, then For all TimeInterval O: if there exists N such that P takes place during O and O is an instance of timeframe and duration of O is N T(s) and N is less than or equal to U, then there exists M such that M is an instance of payment, M ends up at Y, Q is an agent of M, and V is a transaction amount of M
(=>
    (and
        (instance ?R RadiatingElectromagnetic)
        (carrierFrequency ?R
            (MeasureFn ?HZ Hertz))
        (wavelength ?R
            (MeasureFn ?L Meter)))
    (equal
        (MeasureFn ?L Meter)
        (MeasureFn
            (DivisionFn 299792458 ?HZ) Meter)))		 ComputingBrands.kif 1570-1577 If X is an instance of radiating electromagnetic, the frequency of the carrier of X is Y hertz(s), and the wavelength of X is Z meter(s), then equal Z meter(s) and 299792458 and Y meter(s)
(=>
    (instance ?F Flickering)
    (exists (?T1 ?T2 ?N1 ?N2)
        (and
            (during ?T1
                (WhenFn ?F))
            (holdsDuring ?T1
                (measure ?F
                    (MeasureFn ?N1 Lumen)))
            (during ?T2
                (WhenFn ?F))
            (holdsDuring ?T2
                (measure ?F
                    (MeasureFn ?N2 Lumen)))
            (not
                (equal ?T1 ?T2))
            (not
                (equal ?N1 ?N2)))))		 ComputingBrands.kif 3425-3436 If X is an instance of flickering, then there exist Y, Z,, , W and V such that Y takes place during the time of existence of X and the measure of X is W lumen(s) holds during Y and Z takes place during the time of existence of X and the measure of X is V lumen(s) holds during Z and equal Y and Z and equal W and V
(=>
    (and
        (measure ?P1
            (MeasureFn ?N1 Lumen))
        (measure ?P2
            (MeasureFn ?N2 Lumen))
        (part ?P1 ?O)
        (part ?P2 ?O)
        (not
            (equal ?P1 ?P2))
        (greaterThan ?N1 ?N2)
        (equal
            (DivisionFn ?N1 ?N2) ?R)
        (contrastRatio ?O ?R))
    (not
        (exists (?P3 ?P4 ?N3 ?N4)
            (and
                (measure ?P3
                    (MeasureFn ?N3 Lumen))
                (measure ?P4
                    (MeasureFn ?N4 Lumen))
                (part ?P3 ?O)
                (part ?P4 ?O)
                (not
                    (equal ?P3 ?P4))
                (greaterThan ?N3 ?N4)
                (greaterThan
                    (DivisionFn ?N3 ?N4) ?R)))))		 ComputingBrands.kif 3641-3662 If All of the following hold: (1) the measure of X is Y lumen(s) (2) the measure of Z is W lumen(s) (3) X is a part of V (4) Z is a part of V (5) equal X and Z (6) Y is greater than W (7) equal Y, W, and U (8) the contrast ratio of V is U, then there don't exist T, S,, , R and Q such that the measure of T is R lumen(s) and the measure of S is Q lumen(s) and T is a part of V and S is a part of V and equal T and S and R is greater than Q and R and Q is greater than U
(=>
    (and
        (subjectiveAttribute ?AGENT1 Quick ?PERSON)
        (subjectiveAttribute ?AGENT2 Slow ?PERSON)
        (instance ?PROCESS1 ?CLASS)
        (instance ?PROCESS2 ?CLASS)
        (subclass ?CLASS Process)
        (agent ?PROCESS1 ?AGENT1)
        (agent ?PROCESS2 ?AGENT2))
    (and
        (instance ?U UnitOfDuration)
        (duration
            (WhenFn ?PROCESS1)
            (MeasureFn ?TIME1 ?U))
        (duration
            (WhenFn ?PROCESS2)
            (MeasureFn ?TIME2 ?U))
        (greaterThan ?TIME2 ?TIME1)))		 Dining.kif 1044-1059 If All of the following hold: (1) X believes Y is quick (2) X believes Z is slow (3) W is an instance of V (4) U is an instance of V (5) V is a subclass of process (6) Y is an agent of W (7) Z is an agent of U, then T is an instance of unit of duration, duration of the time of existence of W is S T(s), duration of the time of existence of U is R T(s), and R is greater than S
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 756.0))))		 Economy.kif 440-447 If X is an instance of timeframe and low income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is less than 756.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))		 Economy.kif 2243-2243 equal 1 kilowatt hour(s) and 3.6 1 million joules(s)
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3600000.0 Joule))		 Economy.kif 2244-2244 equal 1 kilowatt hour(s) and 3600000.0 joule(s)
(currencyValue UnitedStatesFiveCentCoin
    (MeasureFn 5.0 UnitedStatesCent))		 Economy.kif 3264-3264 5.0 United states cent(s) is a currency value of united states five cent coin
(currencyValue UnitedStatesCentCoin
    (MeasureFn 10.0 UnitedStatesCent))		 Economy.kif 3267-3267 10.0 United states cent(s) is a currency value of united states cent coin
(currencyValue UnitedStatesQuarterCoin
    (MeasureFn 25.0 UnitedStatesCent))		 Economy.kif 3270-3270 25.0 United states cent(s) is a currency value of united states quarter coin
(defaultMeasure BoxOfChocolates
    (MeasureFn 250.0 Gram))		 Food.kif 2531-2532 The expected value of box of chocolate is 250.0 gram(s)
(distance BadwaterBasin SeaLevel
    (MeasureFn -86 Meter))		 Geography.kif 530-531 The distance between Badwater Basin and sea level is -86 meter(s)
(distance BadwaterBasin MountWhitney
    (MeasureFn 136 Kilometer))		 Geography.kif 532-533 The distance between Badwater Basin and Mount Whitney is 136 kilometer(s)
(elevation MountWhitney
    (MeasureFn 4421 Meter))		 Geography.kif 1387-1388 4421 Meter(s) is an elevation of Mount Whitney
(equal ArcticCircle
    (LatitudeFn North
        (MeasureFn 66.0 AngularDegree)
        (MeasureFn 33.0 ArcMinute)
        (MeasureFn 50.6 ArcSecond)))		 Geography.kif 1601-1605 equal Arctic Circle and the region north of of 66.0 angular degree(s)
(equal TropicOfCancer
    (LatitudeFn North
        (MeasureFn 23.0 AngularDegree)
        (MeasureFn 26.0 ArcMinute)
        (MeasureFn 9.4 ArcSecond)))		 Geography.kif 1617-1621 equal Tropic of Cancer and the region north of of 23.0 angular degree(s)
(equal TropicOfCapricorn
    (LatitudeFn South
        (MeasureFn 23.0 AngularDegree)
        (MeasureFn 26.0 ArcMinute)
        (MeasureFn 9.4 ArcSecond)))		 Geography.kif 1633-1637 equal Tropic of Capricorn and the region south of of 23.0 angular degree(s)
(equal AntarcticCircle
    (LatitudeFn South
        (MeasureFn 66.0 AngularDegree)
        (MeasureFn 33.0 ArcMinute)
        (MeasureFn 50.6 ArcSecond)))		 Geography.kif 1647-1651 equal Antarctic Circle and the region south of of 66.0 angular degree(s)
(equal
    (MeasureFn 1.0 AngularDegree)
    (MeasureFn 60.0 ArcMinute))		 Geography.kif 1862-1862 equal 1.0 angular degree(s) and 60.0 arc minute(s)
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60.0 ?NUM) ArcMinute))		 Geography.kif 1863-1863 equal X angular degree(s) and 60.0 and X arc minute(s)
(equal
    (MeasureFn 1.0 ArcMinute)
    (MeasureFn 60.0 ArcSecond))		 Geography.kif 1881-1881 equal 1.0 arc minute(s) and 60.0 arc second(s)
(equal
    (MeasureFn ?DEG ArcMinute)
    (MeasureFn
        (MultiplicationFn 60.0 ?DEG) ArcSecond))		 Geography.kif 1882-1882 equal X arc minute(s) and 60.0 and X arc second(s)
(earthAltitude OzoneShield
    (MeasureFn 25.0 Mile))		 Geography.kif 4248-4248 Ozone shield is 25.0 mile(s) above the ground
(equal NorthPole
    (LatitudeFn North
        (MeasureFn 90 AngularDegree)))		 Geography.kif 5313-5316 equal North Pole and the region north of of 90 angular degree(s)
(equal SouthPole
    (LatitudeFn South
        (MeasureFn 90 AngularDegree)))		 Geography.kif 5343-5346 equal South Pole and the region south of of 90 angular degree(s)
(equal
    (MeasureFn 1.0 Fathom)
    (MeasureFn 6.0 FootLength))		 Geography.kif 5406-5406 equal 1.0 fathom(s) and 6.0 foot length(s)
(equal
    (MeasureFn 1.0 NauticalMile)
    (MeasureFn 6076.1 FootLength))		 Geography.kif 5425-5427 equal 1.0 nautical mile(s) and 6076.1 foot length(s)
(equal
    (MeasureFn 1.0 NauticalMile)
    (MeasureFn 1852.0 Meter))		 Geography.kif 5429-5431 equal 1.0 nautical mile(s) and 1852.0 meter(s)
(totalArea SouthernOcean
    (MeasureFn 20327000.0 SquareKilometer))		 Geography.kif 6217-6218 20327000.0 Square kilometer(s) is a total area of southern ocean
(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute)))		 Geography.kif 6220-6227 The geographic center of southern ocean is object geographic coordinates the region south of of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east of

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners