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 "这是 ConstantQuantity 的 subclass，它的实例 都是用来量度长度的。") chinese_format.kif 2403-2404
(documentation LengthMeasure EnglishLanguage "A subclass of ConstantQuantity, instances of which are measures of length.") Merge.kif 6148-6149
(externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") pictureList.kif 8572-8572
(subclass LengthMeasure ConstantQuantity) Merge.kif 6146-6146 长度测量 是 恒量 的 subclass

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


(range DatumFn LengthMeasure) Geography.kif 4756-4756 基准 的 range 是 长度测量 的实例
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 4672-4672 直径 的 range 是 长度测量 的实例
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 4686-4686 半径 的 range 是 长度测量 的实例
(subclass AltitudeMeasure LengthMeasure) MilitaryDevices.kif 1498-1498 高度测量 是 长度测量 的 subclass
(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 6561-6561 速率函数 的 1 数量 是 长度测量 的 instance
(domain VelocityFn 1 LengthMeasure) Merge.kif 6572-6572 速度函数 的 1 数量 是 长度测量 的 instance
(domain altitude 3 LengthMeasure) Merge.kif 7608-7608 海拔 的 3 数量 是 长度测量 的 instance
(domain approximateDiameter 2 LengthMeasure) Mid-level-ontology.kif 17334-17334 近似直径 的 2 数量 是 长度测量 的 instance
(domain averageRainfallForPeriod 3 LengthMeasure) Geography.kif 1312-1312 期间平均降雨量 的 3 数量 是 长度测量 的 instance
(domain caliber 2 LengthMeasure) MilitaryDevices.kif 212-212 口径 的 2 数量 是 长度测量 的 instance
(domain circumfrence 2 LengthMeasure) Mid-level-ontology.kif 30510-30510 circumfrence 的 2 数量 是 长度测量 的 instance
(domain cylinderBore 2 LengthMeasure) Cars.kif 1536-1536 cylinderBore 的 2 数量 是 长度测量 的 instance
(domain defaultMaximumHeight 2 LengthMeasure) Mid-level-ontology.kif 12823-12823 defaultMaximumHeight 的 2 数量 是 长度测量 的 instance
(domain defaultMaximumLength 2 LengthMeasure) Mid-level-ontology.kif 12892-12892 defaultMaximumLength 的 2 数量 是 长度测量 的 instance
(domain defaultMaximumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 12947-12947 defaultMaximumSphereRadius 的 2 数量 是 长度测量 的 instance
(domain defaultMaximumWidth 2 LengthMeasure) Mid-level-ontology.kif 12858-12858 defaultMaximumWidth 的 2 数量 是 长度测量 的 instance
(domain defaultMinimumHeight 2 LengthMeasure) Mid-level-ontology.kif 12806-12806 defaultMinimumHeight 的 2 数量 是 长度测量 的 instance
(domain defaultMinimumLength 2 LengthMeasure) Mid-level-ontology.kif 12876-12876 defaultMinimumLength 的 2 数量 是 长度测量 的 instance
(domain defaultMinimumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 12928-12928 defaultMinimumSphereRadius 的 2 数量 是 长度测量 的 instance
(domain defaultMinimumWidth 2 LengthMeasure) Mid-level-ontology.kif 12841-12841 defaultMinimumWidth 的 2 数量 是 长度测量 的 instance
(domain diameter 2 LengthMeasure) Merge.kif 7568-7568 圆周 的 2 数量 是 长度测量 的 instance
(domain distance 3 LengthMeasure) Merge.kif 7586-7586 距离 的 3 数量 是 长度测量 的 instance
(domain effectiveRange 2 LengthMeasure) Mid-level-ontology.kif 1345-1345 有效范围 的 2 数量 是 长度测量 的 instance
(domain elevation 2 LengthMeasure) Geography.kif 1895-1895 海拔 的 2 数量 是 长度测量 的 instance
(domain geometricDistance 3 LengthMeasure) Merge.kif 17707-17707 几何距离 的 3 数量 是 长度测量 的 instance
(domain height 2 LengthMeasure) Merge.kif 7455-7455 高度 的 2 数量 是 长度测量 的 instance
(domain highTide 3 LengthMeasure) Geography.kif 4910-4910 highTide 的 3 数量 是 长度测量 的 instance
(domain ladenDraft 2 LengthMeasure) Transportation.kif 2684-2684 载货草案 的 2 数量 是 长度测量 的 instance
(domain lengthOfBroadGaugeRailway 2 LengthMeasure) Transportation.kif 175-175 宽轨铁路的长度 的 2 数量 是 长度测量 的 instance

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 17340-17351
(=>
    (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 6262-6266
(=>
    (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