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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LengthMeasure
LengthMeasure

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


(documentation LengthMeasure ChineseLanguage "这是 ConstantQuantitysubclass,它的实例 都是用来量度长度的。") chinese_format.kif 2403-2404
(documentation LengthMeasure EnglishLanguage "A subclass of ConstantQuantity, instances of which are measures of length.") Merge.kif 6016-6017
(externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") pictureList.kif 8573-8573
(subclass LengthMeasure ConstantQuantity) Merge.kif 6014-6014

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


(range DatumFn LengthMeasure) Geography.kif 4644-4644
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 4649-4649
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 4663-4663
(subclass AltitudeMeasure LengthMeasure) MilitaryDevices.kif 1498-1498
(termFormat ChineseLanguage LengthMeasure "长度测量") chinese_format.kif 1303-1303
(termFormat EnglishLanguage LengthMeasure "length measure") english_format.kif 1828-1828

appearance as argument number 3
-------------------------


(domain SpeedFn 1 LengthMeasure) Merge.kif 6447-6447
(domain VelocityFn 1 LengthMeasure) Merge.kif 6458-6458
(domain altitude 3 LengthMeasure) Merge.kif 7482-7482
(domain approximateDiameter 2 LengthMeasure) Mid-level-ontology.kif 17015-17015
(domain averageRainfallForPeriod 3 LengthMeasure) Geography.kif 1297-1297
(domain caliber 2 LengthMeasure) MilitaryDevices.kif 212-212
(domain circumfrence 2 LengthMeasure) Mid-level-ontology.kif 30179-30179
(domain cylinderBore 2 LengthMeasure) Cars.kif 1536-1536
(domain defaultMaximumHeight 2 LengthMeasure) Mid-level-ontology.kif 12559-12559
(domain defaultMaximumLength 2 LengthMeasure) Mid-level-ontology.kif 12628-12628
(domain defaultMaximumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 12683-12683
(domain defaultMaximumWidth 2 LengthMeasure) Mid-level-ontology.kif 12594-12594
(domain defaultMinimumHeight 2 LengthMeasure) Mid-level-ontology.kif 12542-12542
(domain defaultMinimumLength 2 LengthMeasure) Mid-level-ontology.kif 12612-12612
(domain defaultMinimumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 12664-12664
(domain defaultMinimumWidth 2 LengthMeasure) Mid-level-ontology.kif 12577-12577
(domain diameter 2 LengthMeasure) Merge.kif 7442-7442
(domain distance 3 LengthMeasure) Merge.kif 7460-7460
(domain effectiveRange 2 LengthMeasure) Mid-level-ontology.kif 1328-1328
(domain elevation 2 LengthMeasure) Geography.kif 1863-1863
(domain geometricDistance 3 LengthMeasure) Merge.kif 17257-17257
(domain height 2 LengthMeasure) Merge.kif 7337-7337
(domain highTide 3 LengthMeasure) Geography.kif 4796-4796
(domain ladenDraft 2 LengthMeasure) Transportation.kif 2684-2684
(domain lengthOfBroadGaugeRailway 2 LengthMeasure) Transportation.kif 175-175

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (approximateDiameter ?O
            (MeasureFn ?L ?LM))
        (sphereRadius ?S
            (MeasureFn
                (DivisionFn ?L 2) ?LM))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?LM LengthMeasure)
        (instance ?VM VolumeMeasure))
    (equal ?V1 ?V2))
Mid-level-ontology.kif 17021-17032
(=>
    (and
        (instance ?BTS BimetalTemperatureSensor)
        (instance ?M1 Metal)
        (instance ?M2 Metal)
        (not
            (equal ?M1 ?M2))
        (part ?M1 ?BTS)
        (part ?M2 ?BTS)
        (instance ?T1 TemperatureMeasure)
        (instance ?T2 TemperatureMeasure)
        (instance ?L1 LengthMeasure)
        (instance ?L2 LengthMeasure)
        (instance ?L3 LengthMeasure)
        (instance ?L4 LengthMeasure)
        (not
            (equal ?T1 ?T2))
        (not
            (equal ?TM1 ?TM2))
        (holdsDuring ?TM1
            (and
                (measure ?BTS ?T1)
                (measure ?M1 ?L1)
                (measure ?M2 ?L2)))
        (holdsDuring ?TM2
            (and
                (measure ?BTS ?T2)
                (measure ?M1 ?L3)
                (measure ?M2 ?L4))))
    (not
        (equal
            (DivisionFn ?L1 ?L2)
            (DivisionFn ?L3 ?L4))))
Cars.kif 4084-4116
(=>
    (and
        (instance ?SZ SurfZone)
        (instance ?X LengthMeasure)
        (significantWaveHeight ?SZ
            (WhenFn ?SZ)
            (MeasureFn ?X FootLength))
        (greaterThan ?X 8))
    (attribute ?SZ RedFlagSwimmingCondition))
Weather.kif 1396-1404

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfLength))
    (instance ?QUANT LengthMeasure))
Merge.kif 6130-6134
(=>
    (and
        (instance ?WW WaterWave)
        (waveHeight ?WW ?WH))
    (exists (?LIST ?WA ?U)
        (and
            (inList ?WH ?LIST)
            (instance ?WA WaterArea)
            (eventLocated ?WW ?WA)
            (instance ?U LengthMeasure)
            (significantWaveHeight ?WA
                (WhenFn ?WW)
                (MeasureFn ?SWH ?U))
            (equal ?SWH
                (MultiplicationFn 4
                    (StandardDeviationFn ?LIST))))))
Weather.kif 1531-1546
(=>
    (instance ?RUNWAY Runway)
    (exists (?LENGTH)
        (and
            (instance ?LENGTH LengthMeasure)
            (length ?RUNWAY ?LENGTH))))
Transportation.kif 1305-1310
(=>
    (instance ?ZONE UniformPerimeterArea)
    (exists (?WIDTH)
        (and
            (instance ?WIDTH LengthMeasure)
            (width ?ZONE ?WIDTH))))
Geography.kif 829-834


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