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 6239-6240
(documentation LengthMeasure JapaneseLanguage "ConstantQuantity の subclass、そのインス タンスは長さの尺度である。") japanese_format.kif 1086-1087
(externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") pictureList.kif 8570-8570
(subclass LengthMeasure ConstantQuantity) Merge.kif 6237-6237 子類 LengthMeasure and ConstantQuantity

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


(range DatumFn LengthMeasure) Geography.kif 4834-4834 範圍 基準 and LengthMeasure
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 4934-4934 範圍 直徑 and LengthMeasure
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 4953-4953 範圍 半徑 and LengthMeasure
(subclass AltitudeMeasure LengthMeasure) MilitaryDevices.kif 1498-1498 子類 高度測量 and LengthMeasure
(termFormat ChineseLanguage LengthMeasure "长度测量") chinese_format.kif 1303-1303 子類 高度測量 and LengthMeasure
(termFormat EnglishLanguage LengthMeasure "length measure") english_format.kif 1823-1823 子類 高度測量 and LengthMeasure
(termFormat FrenchLanguage LengthMeasure "mesure de longueur") french_format.kif 981-981 子類 高度測量 and LengthMeasure
(termFormat Hindi LengthMeasure "lambaaI maapa") terms-hindi.txt 516-516 子類 高度測量 and LengthMeasure
(termFormat ItalianLanguage LengthMeasure "MisuraDiLunghezza") terms-it.txt 520-520 子類 高度測量 and LengthMeasure
(termFormat JapaneseLanguage LengthMeasure "長さ測定") japanese_format.kif 2665-2665 子類 高度測量 and LengthMeasure
(termFormat PortugueseLanguage LengthMeasure "Medida de Comprimento") portuguese_format.kif 933-933 子類 高度測量 and LengthMeasure
(termFormat cz LengthMeasure "length measure") terms-cz.txt 556-556 子類 高度測量 and LengthMeasure
(termFormat ro LengthMeasure "mãsurã de lungime") relations-ro.kif 1002-1002 子類 高度測量 and LengthMeasure
(termFormat tg LengthMeasure "sukat ng haba") terms-tg.txt 521-521 子類 高度測量 and LengthMeasure

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


(domain SpeedFn 1 LengthMeasure) Merge.kif 6652-6652 域 速度, 1 and LengthMeasure
(domain VelocityFn 1 LengthMeasure) Merge.kif 6663-6663 域 速度, 1 and LengthMeasure
(domain altitude 3 LengthMeasure) Merge.kif 7750-7750 域 高度, 3 and LengthMeasure
(domain approximateDiameter 2 LengthMeasure) Mid-level-ontology.kif 18232-18232 域 approximateDiameter, 2 and LengthMeasure
(domain averageRainfallForPeriod 3 LengthMeasure) Geography.kif 1301-1301 域 期間平均降雨量, 3 and LengthMeasure
(domain caliber 2 LengthMeasure) MilitaryDevices.kif 212-212 域 口徑, 2 and LengthMeasure
(domain circumference 2 LengthMeasure) Mid-level-ontology.kif 31429-31429 域 circumference, 2 and LengthMeasure
(domain cylinderBore 2 LengthMeasure) Cars.kif 1539-1539 域 cylinderBore, 2 and LengthMeasure
(domain defaultMaximumHeight 2 LengthMeasure) Mid-level-ontology.kif 13579-13579 域 defaultMaximumHeight, 2 and LengthMeasure
(domain defaultMaximumLength 2 LengthMeasure) Mid-level-ontology.kif 13645-13645 域 defaultMaximumLength, 2 and LengthMeasure
(domain defaultMaximumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 13699-13699 域 defaultMaximumSphereRadius, 2 and LengthMeasure
(domain defaultMaximumWidth 2 LengthMeasure) Mid-level-ontology.kif 13612-13612 域 defaultMaximumWidth, 2 and LengthMeasure
(domain defaultMinimumHeight 2 LengthMeasure) Mid-level-ontology.kif 13563-13563 域 defaultMinimumHeight, 2 and LengthMeasure
(domain defaultMinimumLength 2 LengthMeasure) Mid-level-ontology.kif 13629-13629 域 defaultMinimumLength, 2 and LengthMeasure
(domain defaultMinimumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 13680-13680 域 defaultMinimumSphereRadius, 2 and LengthMeasure
(domain defaultMinimumWidth 2 LengthMeasure) Mid-level-ontology.kif 13596-13596 域 defaultMinimumWidth, 2 and LengthMeasure
(domain diameter 2 LengthMeasure) Merge.kif 7706-7706 域 直徑, 2 and LengthMeasure
(domain distance 3 LengthMeasure) Merge.kif 7728-7728 域 距離, 3 and LengthMeasure
(domain effectiveRange 2 LengthMeasure) Mid-level-ontology.kif 1381-1381 域 有效範圍, 2 and LengthMeasure
(domain elevation 2 LengthMeasure) Geography.kif 1880-1880 域 海拔, 2 and LengthMeasure
(domain geometricDistance 3 LengthMeasure) Merge.kif 18061-18061 域 幾何距離, 3 and LengthMeasure
(domain height 2 LengthMeasure) Merge.kif 7565-7565 域 高度, 2 and LengthMeasure
(domain highTide 3 LengthMeasure) Geography.kif 4988-4988 域 highTide, 3 and LengthMeasure
(domain ladenDraft 2 LengthMeasure) Transportation.kif 3205-3205 域 載貨草案, 2 and LengthMeasure
(domain lengthOfBroadGaugeRailway 2 LengthMeasure) Transportation.kif 175-175 域 寬軌鐵路的長度, 2 and LengthMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (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 4142-4174
(=>
    (and
        (instance ?O Odometer)
        (instance ?V Vehicle)
        (part ?O ?V)
        (instance ?T Translocation)
        (instrument ?T ?V)
        (path ?T ?P)
        (distanceOnPath
            (MeasureFn ?D ?U) ?P)
        (instance ?U LengthMeasure))
    (hasPurpose ?O
        (exists (?M ?L ?DIST ?U)
            (and
                (instance ?M Measuring)
                (instrument ?M ?O)
                (measurementReading ?O ?DIST)
                (inList ?D ?L)
                (holdsDuring
                    (WhenFn
                        (EndFn ?M))
                    (and
                        (equal ?DIST
                            (MeasureFn
                                (ListSumFn ?L) ?U))
                        (not
                            (attribute ?O ResetMeasuringDevice))))))))		 Cars.kif 2970-2996

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfLength))
    (instance ?QUANT LengthMeasure))		 Merge.kif 6353-6357
(=>
    (and
        (instance ?A CoffeeGrindAttribute)
        (attribute ?C ?A)
        (instance ?C CoffeeGrind))
    (exists (?L ?X)
        (and
            (grainSize ?C ?L)
            (instance ?X LengthMeasure)
            (equal ?X
                (MeasureFn ?L Millimeter)))))		 Food.kif 1063-1073
(=>
    (instance ?RUNWAY Runway)
    (exists (?LENGTH)
        (and
            (instance ?LENGTH LengthMeasure)
            (length ?RUNWAY ?LENGTH))))		 Transportation.kif 1377-1382
(=>
    (instance ?ZONE UniformPerimeterArea)
    (exists (?WIDTH)
        (and
            (instance ?WIDTH LengthMeasure)
            (width ?ZONE ?WIDTH))))		 Geography.kif 825-830


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