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

Formal Language: 



KB Term:  Term intersection
English Word: 

  length

Sigma KEE - length
length

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


(documentation length ChineseLanguage "这是一个 BinaryPredicate,它是用来表示一个 Object最 长部分的幅度。") Merge.kif 7784-7785
(documentation length EnglishLanguage "BinaryPredicate that is used to state the measure of an Object along its longest span.") Merge.kif 7782-7783
(instance length SingleValuedRelation) Merge.kif 7780-7780
(subrelation length linearExtent) Merge.kif 7781-7781

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 382-382
(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 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 tg length "ang haba ng %1 %n ay %2") relations-tg.txt 323-323
(subrelation waterDepth length) Mid-level-ontology.kif 15125-15125
(termFormat ChineseLanguage length "长度") chinese_format.kif 614-614
(termFormat tg length "haba") relations-tg.txt 324-324

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


(=>
    (and
        (path ?PROCESS ?PATH1)
        (origin ?PROCESS ?SOURCE)
        (destination ?PROCESS ?DEST)
        (length ?PATH1 ?MEASURE1)
        (distance ?SOURCE ?DEST ?DISTANCE)
        (not
            (greaterThan ?MEASURE1 ?DISTANCE)))
    (forall (?OBJ)
        (=>
            (part ?OBJ ?PATH1)
            (between ?SOURCE ?OBJ ?DEST))))
Merge.kif 10986-10997
(=>
    (length ?O ?M)
    (not
        (exists (?M2)
            (and
                (linearExtent ?O ?M2)
                (greaterThan ?M2 ?M)))))
Merge.kif 7786-7792

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


(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 179-186
(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 674-681
(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 207-214
(<=>
    (lengthOfElectrifiedRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS ElectrifiedRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 125-132
(<=>
    (lengthOfExpresswaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Expressway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 531-538
(<=>
    (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS MultipleTrackRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 152-159
(<=>
    (lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS NarrowGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 234-241
(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 697-704
(<=>
    (lengthOfPavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS SurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 505-512
(<=>
    (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE PetroleumProductPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 720-727
(<=>
    (lengthOfStandardGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS StandardGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 262-269
(<=>
    (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (located ?RAILWAYS ?AREA)
                (not
                    (instance ?RAILWAYS
                        (UnionFn StandardGaugeRailway
                            (UnionFn BroadGaugeRailway
                                (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))
Transportation.kif 291-303
(<=>
    (lengthOfUnpavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS UnsurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 563-570
(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 451-458
(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 618-625
(<=>
    (totalPipelineInArea ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPE
            (and
                (instance ?PIPE Pipeline)
                (located ?PIPE ?AREA))) ?LENGTH))
Transportation.kif 647-654
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT LongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (or
                (greaterThanOrEqualTo ?LENGTH
                    (MeasureFn 2438 Meter))
                (lessThanOrEqualTo ?LENGTH
                    (MeasureFn 3047 Meter))))))
Transportation.kif 1390-1401
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT MediumLengthRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (or
                (greaterThanOrEqualTo ?LENGTH
                    (MeasureFn 1524 Meter))
                (lessThanOrEqualTo ?LENGTH
                    (MeasureFn 2437 Meter))))))
Transportation.kif 1372-1383
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT ShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (or
                (greaterThanOrEqualTo ?LENGTH
                    (MeasureFn 914 Meter))
                (lessThanOrEqualTo ?LENGTH
                    (MeasureFn 1523 Meter))))))
Transportation.kif 1354-1365
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryLongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (greaterThan ?LENGTH
                (MeasureFn 3047 Meter)))))
Transportation.kif 1408-1417
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (lessThan ?LENGTH
                (MeasureFn 914 Meter)))))
Transportation.kif 1338-1347
(=>
    (and
        (instance ?L Lengthening)
        (patient ?L ?O))
    (exists (?L1 ?L2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?L))
                (length ?O ?L1))
            (holdsDuring
                (EndFn
                    (WhenFn ?L))
                (length ?O ?L2))
            (greaterThan ?L2 ?L1))))
Mid-level-ontology.kif 21701-21713
(=>
    (and
        (instance ?S Shortening)
        (patient ?S ?O))
    (exists (?L1 ?L2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?S))
                (length ?O ?L1))
            (holdsDuring
                (EndFn
                    (WhenFn ?S))
                (length ?O ?L2))
            (greaterThan ?L1 ?L2))))
Mid-level-ontology.kif 14774-14786
(=>
    (attribute ?F LongAndThin)
    (and
        (side ?S1 ?F)
        (side ?S2 ?F)
        (meetsSpatially ?S1 ?S2)
        (not
            (equal ?S1 ?S2))
        (length ?F
            (MeasureFn ?HF ?U))
        (length ?S1
            (MeasureFn ?H1 ?U))
        (length ?S2
            (MeasureFn ?H2 ?U))
        (lessThan ?H1
            (MultiplicationFn 3 ?HF))
        (lessThan ?H2
            (MultiplicationFn 3 ?HF))))
Mid-level-ontology.kif 3276-3287

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968
        (KiloFn Meter)))
Geography.kif 4381-4381


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners