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


KB Term:  Term intersection
English Word: 

Sigma KEE - length
length

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


(instance length SingleValuedRelation) Merge.kif 7628-7628 length is an instance of single valued relation
(subrelation length linearExtent) Merge.kif 7629-7629 length is a subrelation of linear extent
(domain length 1 Physical) Merge.kif 7630-7630 The number 1 argument of length is an instance of physical
(domain length 2 LengthMeasure) Merge.kif 7631-7631 The number 2 argument of length is an instance of length measure
(instance length BinaryPredicate) Merge.kif 7632-7632 length is an instance of binary predicate
(documentation length EnglishLanguage "BinaryPredicate that is used to state the measure of an Object along its longest span.") Merge.kif 7634-7635 length is an instance of binary predicate

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


(subrelation waterDepth length) Mid-level-ontology.kif 19459-19459 water depth is a subrelation of length
(termFormat EnglishLanguage length "length") domainEnglishFormat.kif 65882-65882 water depth is a subrelation of length
(format EnglishLanguage length "the length of %1 is %n %2") english_format.kif 616-616 water depth is a subrelation of length

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


(=>
    (length ?O
        (MeasureFn ?M ?U))
    (not
        (exists (?M2)
            (and
                (linearExtent ?O
                    (MeasureFn ?M2 ?U))
                (greaterThan ?M2 ?M)))))		 Merge.kif 7637-7645 If the length of X is Y Z(s), then there doesn't exist W such that the linear extent of X is W Z(s) and W is greater than Y
(=>
    (and
        (path ?PROCESS ?PATH1)
        (origin ?PROCESS ?SOURCE)
        (destination ?PROCESS ?DEST)
        (length ?PATH1
            (MeasureFn ?MEASURE1 ?U))
        (distance ?SOURCE ?DEST
            (MeasureFn ?DISTANCE ?U))
        (not
            (greaterThan ?MEASURE1 ?DISTANCE))
        (part ?OBJ ?PATH1))
    (between ?SOURCE ?OBJ ?DEST))		 Merge.kif 11240-11250 If All of the following hold: (1) X is path along which Y occurs (2) Y originates at Z (3) Y ends up at W (4) the length of X is V U(s) (5) the distance between Z and W is T U(s) (6) V is not greater than T (7) S is a part of X, then S is between Z and W
(=>
    (and
        (relativeAngle ?O1 ?O2 ?N)
        (physicalEnd ?E1 ?O1)
        (physicalEnd ?E2 ?O1)
        (not
            (equal ?E1 ?E2))
        (length ?O1
            (MeasureFn ?N1 ?U))
        (length ?O2
            (MeasureFn ?N2 ?U))
        (distance ?E1 ?E3
            (MeasureFn ?N3 ?U))
        (physicalEnd ?E3 ?O2)
        (physicalEnd ?E4 ?O2)
        (not
            (equal ?E3 ?E4))
        (not
            (meetsSpatially ?E1 ?E3)))
    (equal ?N
        (ArcCosineFn
            (DivisionFn
                (SubtractionFn
                    (SubtractionFn
                        (MultiplicationFn ?N3 ?N3)
                        (MultiplicationFn ?N1 ?N1))
                    (MultiplicationFn ?N2 ?N2))
                (MultiplicationFn 2.0
                    (MultiplicationFn ?N1 ?N2))))))		 Merge.kif 18109-18134 If All of the following hold: (1) the relative angle between X and Y is Z (2) one end of X is W (3) one end of X is V (4) equal W and V (5) the length of X is U T(s) (6) the length of Y is S T(s) (7) the distance between W and R is Q T(s) (8) one end of Y is R (9) one end of Y is P (10) equal R and P (11) W doesn't meet R, then equal Z and the arccosine of ((Q and Q and U and U) and S and S) and 2.0 and U and S
(=>
    (and
        (instance ?H Handgun)
        (instance ?B1 GunBarrel)
        (part ?B1 ?H)
        (length ?B1
            (MeasureFn ?S Inch))
        (instance ?L Longgun)
        (instance ?B2 GunBarrel)
        (part ?B2 ?L)
        (length ?B2
            (MeasureFn ?T Inch)))
    (lessThan ?S ?T))		 Mid-level-ontology.kif 2020-2030 If All of the following hold: (1) X is an instance of hand gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) the length of Y is Z inch(s) (5) W is an instance of long gun (6) V is an instance of gun barrel (7) V is a part of W (8) the length of V is U inch(s), then Z is less than U
(=>
    (and
        (instance ?MC MuscularContraction)
        (patient ?MC ?M)
        (instance ?M Muscle)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N1 ?U)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N2 ?U))))
    (greaterThan ?N1 ?N2))		 Mid-level-ontology.kif 11904-11919 If X is an instance of muscular contraction, Y is a patient of X, Y is an instance of muscle, the length of Y is Z W(s) holds during immediately before the time of existence of X, and the length of Y is V W(s) holds during immediately after the time of existence of X, then Z is greater than V
(=>
    (and
        (instance ?MC MuscleRelaxing)
        (patient ?MC ?M)
        (instance ?M Muscle)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N1 ?U)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?MC))
            (length ?M
                (MeasureFn ?N2 ?U))))
    (greaterThan ?N2 ?N1))		 Mid-level-ontology.kif 11926-11941 If X is an instance of muscle relaxing, Y is a patient of X, Y is an instance of muscle, the length of Y is Z W(s) holds during immediately before the time of existence of X, and the length of Y is V W(s) holds during immediately after the time of existence of X, then V is greater than Z
(=>
    (and
        (instance ?P1 PointInSpace)
        (instance ?P2 PointInSpace)
        (not
            (equal ?P1 ?P2))
        (instance ?L FiniteLineInSpace)
        (part ?P1 ?L)
        (part ?P2 ?L)
        (endPointsOfLineInSpace ?P1 ?P2 ?L)
        (length ?L
            (MeasureFn ?X ?U))
        (instance ?U UnitOfLength)
        (distance ?P1 ?P2
            (MeasureFn ?Y ?U)))
    (equal ?X ?Y))		 Mid-level-ontology.kif 28058-28073 If All of the following hold: (1) X is an instance of point in space (2) Y is an instance of point in space (3) equal X and Y (4) Z is an instance of finite line in space (5) X is a part of Z (6) Y is a part of Z (7) X and Y are end points of Z (8) the length of Z is W V(s) (9) V is an instance of unit of length (10) the distance between X and Y is U V(s), then equal W and U
(=>
    (and
        (instance ?R Ruler)
        (instance ?M Measuring)
        (instrument ?M ?R)
        (patient ?M ?O)
        (length ?O
            (MeasureFn ?N Meter)))
    (lessThan ?N 10.0))		 Mid-level-ontology.kif 34610-34618 If X is an instance of ruler, Y is an instance of measuring, X is an instrument for Y, Z is a patient of Y, and the length of Z is W meter(s), then W is less than 10.0
(=>
    (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 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 ?CPR CPR)
        (instance ?C Compressing)
        (path ?C ?P)
        (subProcess ?C ?CPR)
        (length ?P
            (MeasureFn ?L Centimeter)))
    (and
        (greaterThan ?L 5.0)
        (lessThan ?L 6.0)))		 Medicine.kif 597-607 If X is an instance of cardio pulmonary resuscitation, Y is an instance of compressing, Z is path along which Y occurs, Y is a subprocess of X, and the length of Z is W centimeter(s), then W is greater than 5.0 and W is less than 6.0

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


(=>
    (attribute ?F LongAndThin)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (length ?F
                (MeasureFn ?HF ?U))
            (length ?S1
                (MeasureFn ?H1 ?U))
            (length ?S2
                (MeasureFn ?H2 ?U))
            (lessThan ?H1
                (MultiplicationFn 3.0 ?HF))
            (lessThan ?H2
                (MultiplicationFn 3.0 ?HF)))))		 Mid-level-ontology.kif 3283-3296 If long and thin is an attribute of X, then there exist Y, Z,, , W,, , V,, , U and T such that a side of X is Y and a side of X is Z and Y meets Z and equal Y and Z and T is an instance of unit of length and the length of X is W T(s) and the length of Y is V T(s) and the length of Z is U T(s) and V is less than 3.0 and W and U is less than 3.0 and W
(=>
    (instance ?X KingBed)
    (and
        (width ?X
            (MeasureFn 1.9 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 4244-4248 If X is an instance of king-sized bed, then the width of X is 1.9 meter(s) and the length of X is 2.0 meter(s)
(=>
    (instance ?X QueenBed)
    (and
        (width ?X
            (MeasureFn 1.5 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 4275-4279 If X is an instance of queen-sized bed, then the width of X is 1.5 meter(s) and the length of X is 2.0 meter(s)
(=>
    (instance ?X DoubleBed)
    (and
        (width ?X
            (MeasureFn 1.35 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 4301-4305 If X is an instance of full-sized bed, then the width of X is 1.35 meter(s) and the length of X is 2.0 meter(s)
(=>
    (instance ?X SingleBed)
    (and
        (width ?X
            (MeasureFn 1.0 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 4327-4331 If X is an instance of twin-sized bed, then the width of X is 1.0 meter(s) and the length of X is 2.0 meter(s)
(=>
    (defaultMinimumLength ?OBJECT
        (MeasureFn ?L ?U))
    (modalAttribute
        (exists (?INST ?LENGTH)
            (and
                (instance ?INST ?OBJECT)
                (length ?INST
                    (MeasureFn ?LENGTH ?U))
                (lessThan ?LENGTH ?L))) Unlikely))		 Mid-level-ontology.kif 14905-14913 If the minimum expected length of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the length of W is V Z(s) and V is less than Y has the modal force of unlikely
(=>
    (defaultMaximumLength ?O
        (MeasureFn ?L ?U))
    (modalAttribute
        (exists (?INST ?LENGTH)
            (and
                (instance ?INST ?O)
                (length ?INST
                    (MeasureFn ?LENGTH ?U))
                (greaterThan ?LENGTH ?U))) Unlikely))		 Mid-level-ontology.kif 14921-14930 If the maximum expected length of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the length of W is V Z(s) and V is greater than Z has the modal force of unlikely
(=>
    (and
        (instance ?S Shortening)
        (patient ?S ?O))
    (exists (?L1 ?L2 ?U)
        (and
            (instance ?U UnitOfLength)
            (holdsDuring
                (BeginFn
                    (WhenFn ?S))
                (length ?O
                    (MeasureFn ?L1 ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?S))
                (length ?O
                    (MeasureFn ?L2 ?U)))
            (greaterThan ?L1 ?L2))))		 Mid-level-ontology.kif 18815-18830 If X is an instance of shortening and Y is a patient of X, then there exist Z, W and V such that V is an instance of unit of length and the length of Y is Z V(s) holds during the beginning of the time of existence of X and the length of Y is W V(s) holds during the end of the time of existence of X and Z is greater than W
(=>
    (and
        (instance ?L Lengthening)
        (patient ?L ?O))
    (exists (?L1 ?L2 ?U)
        (and
            (instance ?U UnitOfLength)
            (holdsDuring
                (BeginFn
                    (WhenFn ?L))
                (length ?O
                    (MeasureFn ?L1 ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?L))
                (length ?O
                    (MeasureFn ?L2 ?U)))
            (greaterThan ?L2 ?L1))))		 Mid-level-ontology.kif 26188-26203 If X is an instance of lengthening and Y is a patient of X, then there exist Z, W and V such that V is an instance of unit of length and the length of Y is Z V(s) holds during the beginning of the time of existence of X and the length of Y is W V(s) holds during the end of the time of existence of X and W is greater than Z
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))		 Mid-level-ontology.kif 33770-33775 If members of X have the measure Y in terms of length, X is an instance of class, and Z is an instance of X, then the length of Z is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (length ?O ?Q))		 Mid-level-ontology.kif 33777-33782 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the length of W is Y
(=>
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
    (length
        (LatitudeFn ?DIRECTION
            (MeasureFn 0.0 AngularDegree)
            (MeasureFn 1.0 ArcMinute)
            (MeasureFn 0.0 ArcSecond))
        (MeasureFn 1.0 NauticalMile)))		 Geography.kif 1913-1920 If equal X and north of or equal X and south of, then the length of the region X of 0.0 angular degree(s) is 1.0 nautical mile(s)
(=>
    (sharedBorderLength ?N1 ?N2 ?M)
    (length
        (BorderFn ?N1 ?N2) ?M))		 Geography.kif 2233-2235 If the boundary between X and Y is Z long, then the length of the border of X and Y is Z
(=>
    (instance ?AGM65 AGM65)
    (and
        (length ?AGM65
            (MeasureFn 2.55 Meter))
        (width ?AGM65
            (MeasureFn 0.7 Meter))
        (height ?AGM65
            (MeasureFn 0.7 Meter))
        (weight ?AGM65
            (MeasureFn 302.0 Kilogram))
        (effectiveRange ?AGM65
            (MeasureFn 27.0 Kilometer))))		 MilitaryDevices.kif 1312-1324 If X is an instance of AG m65, then the length of X is 2.55 meter(s), the width of X is 0.7 meter(s), the height of X is 0.7 meter(s), 302.0 kilogram(s) is a weight of X, and 27.0 kilometer(s) is an effective range of X
(=>
    (instance ?AIM9 AIM9)
    (and
        (length ?AIM9
            (MeasureFn 2.85 Meter))
        (width ?AIM9
            (MeasureFn 0.63 Meter))
        (height ?AIM9
            (MeasureFn 0.63 Meter))
        (weight ?AIM9
            (MeasureFn 91.0 Kilogram))
        (effectiveRange ?AIM9
            (MeasureFn 18.0 Kilometer))))		 MilitaryDevices.kif 1346-1358 If X is an instance of AI m9, then the length of X is 2.85 meter(s), the width of X is 0.63 meter(s), the height of X is 0.63 meter(s), 91.0 kilogram(s) is a weight of X, and 18.0 kilometer(s) is an effective range of X
(=>
    (instance ?AGM114 AGM114)
    (and
        (length ?AGM114
            (MeasureFn 1.63 Meter))
        (width ?AGM114
            (MeasureFn 0.71 Meter))
        (height ?AGM114
            (MeasureFn 0.71 Meter))
        (weight ?AGM114
            (MeasureFn 45.0 Kilogram))
        (effectiveRange ?AGM114
            (MeasureFn 8.0 Kilometer))))		 MilitaryDevices.kif 1392-1404 If X is an instance of AG m114, then the length of X is 1.63 meter(s), the width of X is 0.71 meter(s), the height of X is 0.71 meter(s), 45.0 kilogram(s) is a weight of X, and 8.0 kilometer(s) is an effective range of X
(=>
    (instance ?LAV LAV25)
    (and
        (length ?LAV
            (MeasureFn 6.39 Meter))
        (width ?LAV
            (MeasureFn 2.5 Meter))
        (height ?LAV
            (MeasureFn 2.69 Meter))
        (weight ?LAV
            (MeasureFn 12802.8 Kilogram))
        (effectiveRange ?LAV
            (MeasureFn 660.1 Kilometer))))		 MilitaryDevices.kif 1699-1711 If X is an instance of LAV25, then the length of X is 6.39 meter(s), the width of X is 2.5 meter(s), the height of X is 2.69 meter(s), 12802.8 kilogram(s) is a weight of X, and 660.1 kilometer(s) is an effective range of X
(=>
    (instance ?AAV AAV)
    (and
        (length ?AAV
            (MeasureFn 7.94 Meter))
        (width ?AAV
            (MeasureFn 3.27 Meter))
        (weight ?AAV
            (MeasureFn 22.8 TonMass))
        (height ?AAV
            (MeasureFn 3.26 Meter))
        (effectiveRange ?AAV
            (MeasureFn 480.0 Kilometer))))		 MilitaryDevices.kif 1819-1831 If X is an instance of Amphibious Assault Vehicle, then the length of X is 7.94 meter(s), the width of X is 3.27 meter(s), 22.8 ton mass(s) is a weight of X, the height of X is 3.26 meter(s), and 480.0 kilometer(s) is an effective range of X
(=>
    (instance ?Harrier Harrier2)
    (and
        (length ?Harrier
            (MeasureFn 14.1 Meter))
        (width ?Harrier
            (MeasureFn 9.2 Meter))
        (height ?Harrier
            (MeasureFn 3.5 Meter))
        (weight ?Harrier
            (MeasureFn 5700.0 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000.0 Kilometer))))		 MilitaryDevices.kif 1901-1913 If X is an instance of harrier2, then the length of X is 14.1 meter(s), the width of X is 9.2 meter(s), the height of X is 3.5 meter(s), 5700.0 kilogram(s) is a weight of X, and 1000.0 kilometer(s) is an effective range of X
(=>
    (instance ?CH53E CH53E)
    (and
        (length ?CH53E
            (MeasureFn 30.2 Meter))
        (width ?CH53E
            (MeasureFn 24.1 Meter))
        (height ?CH53E
            (MeasureFn 8.46 Meter))
        (weight ?CH53E
            (MeasureFn 15071.0 Kilogram))
        (effectiveRange ?CH53E
            (MeasureFn 2000.0 Kilometer))))		 MilitaryDevices.kif 1945-1957 If X is an instance of C h53 e, then the length of X is 30.2 meter(s), the width of X is 24.1 meter(s), the height of X is 8.46 meter(s), 15071.0 kilogram(s) is a weight of X, and 2000.0 kilometer(s) is an effective range of X
(=>
    (instance ?CH46D CH46D)
    (and
        (length ?CH46D
            (MeasureFn 25.72 Meter))
        (width ?CH46D
            (MeasureFn 15.54 Meter))
        (height ?CH46D
            (MeasureFn 5.1 Meter))
        (weight ?CH46D
            (MeasureFn 7047.0 Kilogram))
        (effectiveRange ?CH46D
            (MeasureFn 676.0 Kilometer))))		 MilitaryDevices.kif 2017-2029 If X is an instance of C h46 d, then the length of X is 25.72 meter(s), the width of X is 15.54 meter(s), the height of X is 5.1 meter(s), 7047.0 kilogram(s) is a weight of X, and 676.0 kilometer(s) is an effective range of X
(=>
    (instance ?AH1 AH1)
    (and
        (length ?AH1
            (MeasureFn 17.68 Meter))
        (width ?AH1
            (MeasureFn 14.63 Meter))
        (height ?AH1
            (MeasureFn 4.44 Meter))
        (weight ?AH1
            (MeasureFn 4634.0 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587.0 Kilometer))))		 MilitaryDevices.kif 2057-2069 If X is an instance of A h1, then the length of X is 17.68 meter(s), the width of X is 14.63 meter(s), the height of X is 4.44 meter(s), 4634.0 kilogram(s) is a weight of X, and 587.0 kilometer(s) is an effective range of X
(=>
    (instance ?LCAC LCAC)
    (and
        (length ?LCAC
            (MeasureFn 88.0 FootLength))
        (effectiveRange ?LCAC
            (MeasureFn 555.0 Kilometer))))		 MilitaryDevices.kif 2124-2130 If X is an instance of LCAC, then the length of X is 88.0 foot length(s) and 555.0 kilometer(s) is an effective range of X
(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 98-105 X is a total length of railway system of Y if and only if the length of the class described by Z is X
(<=>
    (lengthOfElectrifiedRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS ElectrifiedRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 126-133 X is a length of electrified railway of Y if and only if the length of the class described by Z is X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25