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


KB Term:  Term intersection
English Word: 

Sigma KEE - length
length

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


(documentation length ChineseLanguage "这是一个 BinaryPredicate，它是用来表示一个 Object最 长部分的幅度。") chinese_format.kif 2643-2644
(documentation length EnglishLanguage "BinaryPredicate that is used to state the measure of an Object along its longest span.") Merge.kif 7635-7636
(documentation length JapaneseLanguage "BinaryPredicate は、最も長いスパンに沿って Object のメジャーを述べるために使用される。") japanese_format.kif 1360-1361
(domain length 1 Physical) Merge.kif 7631-7631 The number 1 argument of length is an instance of physical
(domain length 2 LengthMeasure) Merge.kif 7632-7632 The number 2 argument of length is an instance of length measure
(instance length BinaryPredicate) Merge.kif 7633-7633 length is an instance of binary predicate
(instance length SingleValuedRelation) Merge.kif 7629-7629 length is an instance of single valued relation
(subrelation length linearExtent) Merge.kif 7630-7630 length is a subrelation of linearExtent

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


(format ChineseLanguage length "%1 的 length %n 是 %2") chinese_format.kif 613-613
(format EnglishLanguage length "the length of %1 is %n %2") english_format.kif 616-616
(format FrenchLanguage length "le longueur de %1 est %n %2") french_format.kif 371-371
(format ItalianLanguage length "la lunghezza di %1 è %n %2") relations-it.txt 162-162
(format JapaneseLanguage length "%1 の length は %2 では %n ") japanese_format.kif 2105-2105
(format PortugueseLanguage length "o comprimento de %1 e' %n %2") portuguese_format.kif 323-323
(format cz length "d�lka %1 %p{je} %n{nen�} %2") relations-cz.txt 380-380
(format de length "die laenge von %1 ist %2 %n{nicht}") relations-de.txt 803-803
(format hi length "%1 kii lambaaii %2 %n hai") relations-hindi.txt 201-201
(format ro length "length%t{lungimea} lui %1 %n{nu} este %2") relations-ro.kif 393-393
(format sv length "längden av %1 är %n{inte} %2") relations-sv.txt 412-412
(format tg length "ang haba ng %1 %n ay %2") relations-tg.txt 323-323
(subrelation waterDepth length) Mid-level-ontology.kif 19105-19105 waterDepth is a subrelation of length
(termFormat ChineseLanguage length "长度") chinese_format.kif 614-614 waterDepth is a subrelation of length
(termFormat EnglishLanguage length "length") domainEnglishFormat.kif 65872-65872 waterDepth is a subrelation of length
(termFormat de length "laenge") terms-de.txt 237-237 waterDepth is a subrelation of length
(termFormat tg length "haba") relations-tg.txt 324-324 waterDepth is a subrelation of length

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


(=>
    (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 610-620
(=>
    (and
        (instance ?ET AuditoryCanal)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (length ?ET
            (MeasureFn ?N Centimeter)))
    (approximateValue ?N 2.5))		 Anatomy.kif 1600-1607
(=>
    (and
        (instance ?ET EustachianTube)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (length ?ET
            (MeasureFn ?N Centimeter)))
    (approximateValue ?N 35.0))		 Anatomy.kif 1550-1557
(=>
    (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 2002-2012
(=>
    (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 11880-11895
(=>
    (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 11858-11873
(=>
    (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 27312-27327
(=>
    (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 33814-33822
(=>
    (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 11242-11252
(=>
    (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 18111-18136
(=>
    (length ?O
        (MeasureFn ?M ?U))
    (not
        (exists (?M2)
            (and
                (linearExtent ?O
                    (MeasureFn ?M2 ?U))
                (greaterThan ?M2 ?M)))))		 Merge.kif 7638-7646

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


(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 182-189 lengthOfBroadGaugeRailway a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 712-719 lengthOfCrudeOilPipeline a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 210-217 lengthOfDualGaugeRailway a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfElectrifiedRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS ElectrifiedRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 126-133 lengthOfElectrifiedRailway a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfExpresswaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Expressway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 568-575 lengthOfExpresswaySystem a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS MultipleTrackRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 154-161 lengthOfMultipleTrackRailway a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS NarrowGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 237-244 lengthOfNarrowGaugeRailway a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 735-742 lengthOfNaturalGasPipeline a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfPavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS SurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 542-549 lengthOfPavedHighway a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE PetroleumProductPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 758-765 lengthOfPetroleumProductPipeline a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfStandardGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS StandardGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 265-272 lengthOfStandardGaugeRailway a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (located ?RAILWAYS ?AREA)
                (not
                    (instance ?RAILWAYS
                        (UnionFn StandardGaugeRailway
                            (UnionFn BroadGaugeRailway
                                (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))		 Transportation.kif 294-306 lengthOfUnclassifiedGaugeRailway a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfUnpavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS UnsurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 601-608 lengthOfUnpavedHighway a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 484-491 totalLengthOfHighwaySystem a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 98-105 totalLengthOfRailwaySystem a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))		 Transportation.kif 656-663 totalLengthOfWaterways a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (totalPipelineInArea ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPE
            (and
                (instance ?PIPE Pipeline)
                (located ?PIPE ?AREA))) ?LENGTH))		 Transportation.kif 685-692 totalPipelineInArea a geographic area and a length measure if and only if the length of the class described by a symbolic string is the length measure
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT LongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 2438)
                (lessThanOrEqualTo ?LENGTH 3047)))))		 Transportation.kif 1574-1586
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT MediumLengthRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 1524)
                (lessThanOrEqualTo ?LENGTH 2437)))))		 Transportation.kif 1555-1567
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT ShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 914)
                (lessThanOrEqualTo ?LENGTH 1523)))))		 Transportation.kif 1536-1548
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryLongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (greaterThan ?LENGTH 3047))))		 Transportation.kif 1593-1603
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (lessThan ?LENGTH 914))))		 Transportation.kif 1520-1529
(=>
    (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 25442-25457
(=>
    (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 18621-18636
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (length ?O ?Q))		 Mid-level-ontology.kif 32982-32987

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25