TreeView Knowledge Base Browser

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

appearance as argument number 2

(range DatumFn LengthMeasure)	Geography.kif 4858-4858	範圍基準 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
(termFormat EnglishLanguage LengthMeasure "length measure")	english_format.kif 1823-1823
(termFormat FrenchLanguage LengthMeasure "mesure de longueur")	french_format.kif 981-981
(termFormat Hindi LengthMeasure "lambaaI maapa")	terms-hindi.txt 516-516
(termFormat ItalianLanguage LengthMeasure "MisuraDiLunghezza")	terms-it.txt 520-520
(termFormat JapaneseLanguage LengthMeasure "長さ測定")	japanese_format.kif 2665-2665
(termFormat PortugueseLanguage LengthMeasure "Medida de Comprimento")	portuguese_format.kif 933-933
(termFormat cz LengthMeasure "length measure")	terms-cz.txt 556-556
(termFormat ro LengthMeasure "mãsurã de lungime")	relations-ro.kif 1002-1002
(termFormat tg LengthMeasure "sukat ng haba")	terms-tg.txt 521-521

appearance as argument number 3

(domain SpeedFn 1 LengthMeasure)	Merge.kif 6658-6658	域速度, 1 and LengthMeasure
(domain VelocityFn 1 LengthMeasure)	Merge.kif 6669-6669	域速度, 1 and LengthMeasure
(domain altitude 3 LengthMeasure)	Merge.kif 7740-7740	域高度, 3 and LengthMeasure
(domain approximateDiameter 2 LengthMeasure)	Mid-level-ontology.kif 17969-17969	域 approximateDiameter, 2 and LengthMeasure
(domain averageRainfallForPeriod 3 LengthMeasure)	Geography.kif 1307-1307	域期間平均降雨量, 3 and LengthMeasure
(domain caliber 2 LengthMeasure)	MilitaryDevices.kif 212-212	域口徑, 2 and LengthMeasure
(domain circumfrence 2 LengthMeasure)	Mid-level-ontology.kif 31163-31163	域 circumfrence, 2 and LengthMeasure
(domain cylinderBore 2 LengthMeasure)	Cars.kif 1539-1539	域 cylinderBore, 2 and LengthMeasure
(domain defaultMaximumHeight 2 LengthMeasure)	Mid-level-ontology.kif 13388-13388	域 defaultMaximumHeight, 2 and LengthMeasure
(domain defaultMaximumLength 2 LengthMeasure)	Mid-level-ontology.kif 13454-13454	域 defaultMaximumLength, 2 and LengthMeasure
(domain defaultMaximumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13508-13508	域 defaultMaximumSphereRadius, 2 and LengthMeasure
(domain defaultMaximumWidth 2 LengthMeasure)	Mid-level-ontology.kif 13421-13421	域 defaultMaximumWidth, 2 and LengthMeasure
(domain defaultMinimumHeight 2 LengthMeasure)	Mid-level-ontology.kif 13372-13372	域 defaultMinimumHeight, 2 and LengthMeasure
(domain defaultMinimumLength 2 LengthMeasure)	Mid-level-ontology.kif 13438-13438	域 defaultMinimumLength, 2 and LengthMeasure
(domain defaultMinimumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13489-13489	域 defaultMinimumSphereRadius, 2 and LengthMeasure
(domain defaultMinimumWidth 2 LengthMeasure)	Mid-level-ontology.kif 13405-13405	域 defaultMinimumWidth, 2 and LengthMeasure
(domain diameter 2 LengthMeasure)	Merge.kif 7696-7696	域直徑, 2 and LengthMeasure
(domain distance 3 LengthMeasure)	Merge.kif 7718-7718	域距離, 3 and LengthMeasure
(domain effectiveRange 2 LengthMeasure)	Mid-level-ontology.kif 1381-1381	域有效範圍, 2 and LengthMeasure
(domain elevation 2 LengthMeasure)	Geography.kif 1892-1892	域海拔, 2 and LengthMeasure
(domain geometricDistance 3 LengthMeasure)	Merge.kif 18055-18055	域幾何距離, 3 and LengthMeasure
(domain height 2 LengthMeasure)	Merge.kif 7552-7552	域高度, 2 and LengthMeasure
(domain highTide 3 LengthMeasure)	Geography.kif 5012-5012	域 highTide, 3 and LengthMeasure
(domain ladenDraft 2 LengthMeasure)	Transportation.kif 2710-2710	域載貨草案, 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 4066-4098

例 Object and BimetalTemperatureSensor 例 Object and Metal 例 Object and Metal 等於 Object and Object 部分 Object and Object 部分 Object and Object 例 Entity and TemperatureMeasure 例 Entity and TemperatureMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 等於 Entity and Entity 等於 TimePosition and TimePosition 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber
等於部 RealNumber and RealNumber and 部 RealNumber and RealNumber

consequent

(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfLength)) (instance ?QUANT LengthMeasure))	Merge.kif 6359-6363	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfLength 例 PhysicalQuantity and LengthMeasure
(=> (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	例 Attribute and CoffeeGrindAttribute attribute Object and Attribute 例 Object and CoffeeGrind RealNumber PhysicalQuantity grainSize Object and RealNumber 例 PhysicalQuantity and LengthMeasure 等於 PhysicalQuantity and 測量 RealNumber and 毫米
(=> (instance ?RUNWAY Runway) (exists (?LENGTH) (and (instance ?LENGTH LengthMeasure) (length ?RUNWAY ?LENGTH))))	Transportation.kif 1305-1310	例 Physical and 跑道 LengthMeasure 例 LengthMeasure and LengthMeasure length Physical and LengthMeasure
(=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH))))	Geography.kif 830-835	例 Physical and 均勻的周邊區域 LengthMeasure 例 LengthMeasure and LengthMeasure 寬度 Physical and LengthMeasure

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: