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最 长部分的幅度。") 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 7610-7611
(documentation length JapaneseLanguage "BinaryPredicate は、最も長いスパンに沿って Object のメジャーを述べるために使用される。") japanese_format.kif 1360-1361
(domain length 1 Physical) Merge.kif 7606-7606
(domain length 2 LengthMeasure) Merge.kif 7607-7607
(instance length BinaryPredicate) Merge.kif 7608-7608
(instance length SingleValuedRelation) Merge.kif 7604-7604
(subrelation length linearExtent) Merge.kif 7605-7605

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 19119-19119
(termFormat ChineseLanguage length "长度") chinese_format.kif 614-614
(termFormat EnglishLanguage length "length") domainEnglishFormat.kif 65873-65873
(termFormat de length "laenge") terms-de.txt 237-237
(termFormat tg length "haba") relations-tg.txt 324-324

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 1602-1609
(=>
    (and
        (instance ?ET EustachianTube)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (length ?ET
            (MeasureFn ?N Centimeter)))
    (approximateValue ?N 35.0))		 Anatomy.kif 1552-1559
(=>
    (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 11886-11901
(=>
    (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 11864-11879
(=>
    (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 27321-27336
(=>
    (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 11220-11230
(=>
    (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 18089-18114
(=>
    (length ?O
        (MeasureFn ?M ?U))
    (not
        (exists (?M2)
            (and
                (linearExtent ?O
                    (MeasureFn ?M2 ?U))
                (greaterThan ?M2 ?M)))))		 Merge.kif 7613-7621

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


(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 182-189
(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 712-719
(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 210-217
(<=>
    (lengthOfElectrifiedRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS ElectrifiedRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 126-133
(<=>
    (lengthOfExpresswaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Expressway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 568-575
(<=>
    (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS MultipleTrackRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 154-161
(<=>
    (lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS NarrowGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 237-244
(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 735-742
(<=>
    (lengthOfPavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS SurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 542-549
(<=>
    (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE PetroleumProductPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 758-765
(<=>
    (lengthOfStandardGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS StandardGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 265-272
(<=>
    (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
(<=>
    (lengthOfUnpavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS UnsurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 601-608
(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 484-491
(<=>
    (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 656-663
(<=>
    (totalPipelineInArea ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPE
            (and
                (instance ?PIPE Pipeline)
                (located ?PIPE ?AREA))) ?LENGTH))		 Transportation.kif 685-692
(=>
    (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 25451-25466
(=>
    (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 18635-18650
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (length ?O ?Q))		 Mid-level-ontology.kif 32996-33001

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.0
        (KiloFn Meter)))		 Geography.kif 4911-4914


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 3.0 is open source software produced by Articulate Software and its partners