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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LengthMeasure

Sigma KEE - LengthMeasure
LengthMeasure

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


(documentation LengthMeasure ChineseLanguage "这是 ConstantQuantitysubclass,它的实例 都是用来量度长度的。") Merge.kif 6385-6386
(documentation LengthMeasure EnglishLanguage "A subclass of ConstantQuantity, instances of which are measures of length.") Merge.kif 6383-6384
(externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") pictureList.kif 8574-8574
(subclass LengthMeasure ConstantQuantity) Merge.kif 6382-6382

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


(range DatumFn LengthMeasure) Geography.kif 4530-4530
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 5252-5252
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 5266-5266
(subclass AltitudeMeasure LengthMeasure) MilitaryDevices.kif 1497-1497
(termFormat ChineseLanguage LengthMeasure "长度测量") chinese_format.kif 1303-1303
(termFormat EnglishLanguage LengthMeasure "length measure") english_format.kif 1990-1990
(termFormat JapaneseLanguage LengthMeasure "長さ測定") english_format.kif 1991-1991

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


(domain SpeedFn 1 LengthMeasure) Merge.kif 6867-6867
(domain VelocityFn 1 LengthMeasure) Merge.kif 6880-6880
(domain altitude 3 LengthMeasure) Merge.kif 7904-7904
(domain approximateDiameter 2 LengthMeasure) Mid-level-ontology.kif 15646-15646
(domain averageRainfallForPeriod 3 LengthMeasure) Geography.kif 1279-1279
(domain caliber 2 LengthMeasure) MilitaryDevices.kif 211-211
(domain cylinderBore 2 LengthMeasure) Cars.kif 1531-1531
(domain defaultMaximumHeight 2 LengthMeasure) Mid-level-ontology.kif 10973-10973
(domain defaultMaximumLength 2 LengthMeasure) Mid-level-ontology.kif 11033-11033
(domain defaultMaximumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 11082-11082
(domain defaultMaximumWidth 2 LengthMeasure) Mid-level-ontology.kif 11003-11003
(domain defaultMinimumHeight 2 LengthMeasure) Mid-level-ontology.kif 10958-10958
(domain defaultMinimumLength 2 LengthMeasure) Mid-level-ontology.kif 11018-11018
(domain defaultMinimumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 11065-11065
(domain defaultMinimumWidth 2 LengthMeasure) Mid-level-ontology.kif 10988-10988
(domain diameter 2 LengthMeasure) Merge.kif 7862-7862
(domain distance 3 LengthMeasure) Merge.kif 7881-7881
(domain effectiveRange 2 LengthMeasure) Mid-level-ontology.kif 1772-1772
(domain elevation 2 LengthMeasure) Geography.kif 1833-1833
(domain geometricDistance 3 LengthMeasure) Merge.kif 18367-18367
(domain height 2 LengthMeasure) Merge.kif 7788-7788
(domain highTide 3 LengthMeasure) Geography.kif 4679-4679
(domain ladenDraft 2 LengthMeasure) Transportation.kif 2618-2618
(domain lengthOfBroadGaugeRailway 2 LengthMeasure) Transportation.kif 172-172
(domain lengthOfCrudeOilPipeline 2 LengthMeasure) Transportation.kif 695-695

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 15652-15663
(=>
    (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))
        (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 4047-4077

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfLength))
    (instance ?QUANT LengthMeasure))
Merge.kif 6515-6519
(=>
    (instance ?RUNWAY Runway)
    (exists (?LENGTH)
        (and
            (instance ?LENGTH LengthMeasure)
            (length ?RUNWAY ?LENGTH))))
Transportation.kif 1279-1284
(=>
    (instance ?X RadiatingXRay)
    (exists (?M)
        (and
            (instance ?M LengthMeasure)
            (wavelength ?X ?M)
            (greaterThanOrEqualTo ?X
                (MeasureFn 0.01 Nanometer))
            (greaterThan
                (MeasureFn 10 Nanometer) ?X))))
Mid-level-ontology.kif 792-801
(=>
    (instance ?ZONE UniformPerimeterArea)
    (exists (?WIDTH)
        (and
            (instance ?WIDTH LengthMeasure)
            (width ?ZONE ?WIDTH))))
Geography.kif 822-827


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