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 6154-6155
(externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") pictureList.kif 8572-8572
(subclass LengthMeasure ConstantQuantity) Merge.kif 6152-6152 subclass LengthMeasure and ConstantQuantity

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


(range DatumFn LengthMeasure) Geography.kif 4756-4756 range DatumFn and LengthMeasure
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 4676-4676 range DiameterFn and LengthMeasure
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 4690-4690 range RadiusFn and LengthMeasure
(subclass AltitudeMeasure LengthMeasure) MilitaryDevices.kif 1498-1498 subclass AltitudeMeasure and LengthMeasure
(termFormat ChineseLanguage LengthMeasure "长度测量") chinese_format.kif 1303-1303
(termFormat EnglishLanguage LengthMeasure "length measure") english_format.kif 1823-1823

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


(domain SpeedFn 1 LengthMeasure) Merge.kif 6567-6567 domain SpeedFn, 1 and LengthMeasure
(domain VelocityFn 1 LengthMeasure) Merge.kif 6578-6578 domain VelocityFn, 1 and LengthMeasure
(domain altitude 3 LengthMeasure) Merge.kif 7614-7614 domain altitude, 3 and LengthMeasure
(domain approximateDiameter 2 LengthMeasure) Mid-level-ontology.kif 17358-17358 domain approximateDiameter, 2 and LengthMeasure
(domain averageRainfallForPeriod 3 LengthMeasure) Geography.kif 1312-1312 domain averageRainfallForPeriod, 3 and LengthMeasure
(domain caliber 2 LengthMeasure) MilitaryDevices.kif 212-212 domain caliber, 2 and LengthMeasure
(domain circumfrence 2 LengthMeasure) Mid-level-ontology.kif 30534-30534 domain circumfrence, 2 and LengthMeasure
(domain cylinderBore 2 LengthMeasure) Cars.kif 1536-1536 domain cylinderBore, 2 and LengthMeasure
(domain defaultMaximumHeight 2 LengthMeasure) Mid-level-ontology.kif 12827-12827 domain defaultMaximumHeight, 2 and LengthMeasure
(domain defaultMaximumLength 2 LengthMeasure) Mid-level-ontology.kif 12896-12896 domain defaultMaximumLength, 2 and LengthMeasure
(domain defaultMaximumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 12951-12951 domain defaultMaximumSphereRadius, 2 and LengthMeasure
(domain defaultMaximumWidth 2 LengthMeasure) Mid-level-ontology.kif 12862-12862 domain defaultMaximumWidth, 2 and LengthMeasure
(domain defaultMinimumHeight 2 LengthMeasure) Mid-level-ontology.kif 12810-12810 domain defaultMinimumHeight, 2 and LengthMeasure
(domain defaultMinimumLength 2 LengthMeasure) Mid-level-ontology.kif 12880-12880 domain defaultMinimumLength, 2 and LengthMeasure
(domain defaultMinimumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 12932-12932 domain defaultMinimumSphereRadius, 2 and LengthMeasure
(domain defaultMinimumWidth 2 LengthMeasure) Mid-level-ontology.kif 12845-12845 domain defaultMinimumWidth, 2 and LengthMeasure
(domain diameter 2 LengthMeasure) Merge.kif 7574-7574 domain diameter, 2 and LengthMeasure
(domain distance 3 LengthMeasure) Merge.kif 7592-7592 domain distance, 3 and LengthMeasure
(domain effectiveRange 2 LengthMeasure) Mid-level-ontology.kif 1349-1349 domain effectiveRange, 2 and LengthMeasure
(domain elevation 2 LengthMeasure) Geography.kif 1895-1895 domain elevation, 2 and LengthMeasure
(domain geometricDistance 3 LengthMeasure) Merge.kif 17720-17720 domain geometricDistance, 3 and LengthMeasure
(domain height 2 LengthMeasure) Merge.kif 7461-7461 domain height, 2 and LengthMeasure
(domain highTide 3 LengthMeasure) Geography.kif 4910-4910 domain highTide, 3 and LengthMeasure
(domain ladenDraft 2 LengthMeasure) Transportation.kif 2684-2684 domain ladenDraft, 2 and LengthMeasure
(domain lengthOfBroadGaugeRailway 2 LengthMeasure) Transportation.kif 175-175 domain lengthOfBroadGaugeRailway, 2 and LengthMeasure

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.0) ?LM))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?LM LengthMeasure)
        (instance ?VM VolumeMeasure))
    (equal ?V1 ?V2))
Mid-level-ontology.kif 17364-17375
(=>
    (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

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfLength))
    (instance ?QUANT LengthMeasure))
Merge.kif 6268-6272
(=>
    (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.0
                    (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 837-842


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