LengthMeasure - Sigma 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 6244-6245
(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 6242-6242	Medida de Comprimento e' uma sub-classe de Quantidade Constante

appearance as argument number 2

(range DatumFn LengthMeasure)	Geography.kif 4858-4858	O contra-dominio de DatumFn e' uma instancia de Medida de Comprimento
(range DiameterFn LengthMeasure)	Mid-level-ontology.kif 4950-4950	O contra-dominio de DiameterFn e' uma instancia de Medida de Comprimento
(range RadiusFn LengthMeasure)	Mid-level-ontology.kif 4964-4964	O contra-dominio de RadiusFn e' uma instancia de Medida de Comprimento
(subclass AltitudeMeasure LengthMeasure)	MilitaryDevices.kif 1498-1498	AltitudeMeasure e' uma sub-classe de Medida de Comprimento
(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 6657-6657	O argumento numero 1 de SpeedFn e' uma instancia de Medida de Comprimento
(domain VelocityFn 1 LengthMeasure)	Merge.kif 6668-6668	O argumento numero 1 de VelocityFn e' uma instancia de Medida de Comprimento
(domain altitude 3 LengthMeasure)	Merge.kif 7704-7704	O argumento numero 3 de altitude e' uma instancia de Medida de Comprimento
(domain approximateDiameter 2 LengthMeasure)	Mid-level-ontology.kif 17942-17942	O argumento numero 2 de approximateDiameter e' uma instancia de Medida de Comprimento
(domain averageRainfallForPeriod 3 LengthMeasure)	Geography.kif 1307-1307	O argumento numero 3 de averageRainfallForPeriod e' uma instancia de Medida de Comprimento
(domain caliber 2 LengthMeasure)	MilitaryDevices.kif 212-212	O argumento numero 2 de caliber e' uma instancia de Medida de Comprimento
(domain circumfrence 2 LengthMeasure)	Mid-level-ontology.kif 31134-31134	O argumento numero 2 de circumfrence e' uma instancia de Medida de Comprimento
(domain cylinderBore 2 LengthMeasure)	Cars.kif 1536-1536	O argumento numero 2 de cylinderBore e' uma instancia de Medida de Comprimento
(domain defaultMaximumHeight 2 LengthMeasure)	Mid-level-ontology.kif 13361-13361	O argumento numero 2 de defaultMaximumHeight e' uma instancia de Medida de Comprimento
(domain defaultMaximumLength 2 LengthMeasure)	Mid-level-ontology.kif 13427-13427	O argumento numero 2 de defaultMaximumLength e' uma instancia de Medida de Comprimento
(domain defaultMaximumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13481-13481	O argumento numero 2 de defaultMaximumSphereRadius e' uma instancia de Medida de Comprimento
(domain defaultMaximumWidth 2 LengthMeasure)	Mid-level-ontology.kif 13394-13394	O argumento numero 2 de defaultMaximumWidth e' uma instancia de Medida de Comprimento
(domain defaultMinimumHeight 2 LengthMeasure)	Mid-level-ontology.kif 13345-13345	O argumento numero 2 de defaultMinimumHeight e' uma instancia de Medida de Comprimento
(domain defaultMinimumLength 2 LengthMeasure)	Mid-level-ontology.kif 13411-13411	O argumento numero 2 de defaultMinimumLength e' uma instancia de Medida de Comprimento
(domain defaultMinimumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13462-13462	O argumento numero 2 de defaultMinimumSphereRadius e' uma instancia de Medida de Comprimento
(domain defaultMinimumWidth 2 LengthMeasure)	Mid-level-ontology.kif 13378-13378	O argumento numero 2 de defaultMinimumWidth e' uma instancia de Medida de Comprimento
(domain diameter 2 LengthMeasure)	Merge.kif 7664-7664	O argumento numero 2 de diameter e' uma instancia de Medida de Comprimento
(domain distance 3 LengthMeasure)	Merge.kif 7682-7682	O argumento numero 3 de distance e' uma instancia de Medida de Comprimento
(domain effectiveRange 2 LengthMeasure)	Mid-level-ontology.kif 1388-1388	O argumento numero 2 de effectiveRange e' uma instancia de Medida de Comprimento
(domain elevation 2 LengthMeasure)	Geography.kif 1892-1892	O argumento numero 2 de elevation e' uma instancia de Medida de Comprimento
(domain geometricDistance 3 LengthMeasure)	Merge.kif 17976-17976	O argumento numero 3 de geometricDistance e' uma instancia de Medida de Comprimento
(domain height 2 LengthMeasure)	Merge.kif 7551-7551	O argumento numero 2 de height e' uma instancia de Medida de Comprimento
(domain highTide 3 LengthMeasure)	Geography.kif 5012-5012	O argumento numero 3 de highTide e' uma instancia de Medida de Comprimento
(domain ladenDraft 2 LengthMeasure)	Transportation.kif 2677-2677	O argumento numero 2 de ladenDraft e' uma instancia de Medida de Comprimento
(domain lengthOfBroadGaugeRailway 2 LengthMeasure)	Transportation.kif 175-175	O argumento numero 2 de lengthOfBroadGaugeRailway e' uma instancia de Medida de Comprimento

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 4081-4113

Objeto e' uma instancia de BimetalTemperatureSensor Objeto e' uma instancia de Metal Objeto e' uma instancia de Metal Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Entidade e' uma instancia de Medida de Temperatura Entidade e' uma instancia de Medida de Temperatura Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Entidade e' igual a Entidade Posicao Temporal e' igual a Posicao Temporal a medida de Objeto e' Entidade a medida de Objeto e' Numero Real a medida de Objeto e' Numero Real vale durante Posicao Temporal a medida de Objeto e' Entidade a medida de Objeto e' Numero Real a medida de Objeto e' Numero Real vale durante Posicao Temporal
Numero Real + Numero Real e' igual a Numero Real + Numero Real

consequent

(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfLength)) (instance ?QUANT LengthMeasure))	Merge.kif 6358-6362	Numero Real Unidade de Medida(s) e' igual a Quantidade Fisica Unidade de Medida e' uma instancia de UnitOfLength Quantidade Fisica e' uma instancia de Medida de Comprimento
(=> (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	Atributo e' uma instancia de CoffeeGrindAttribute Atributo e' um atributo de Objeto Objeto e' uma instancia de CoffeeGrind Numero Real Quantidade Fisica grainSize Objeto and Numero Real Quantidade Fisica e' uma instancia de Medida de Comprimento Quantidade Fisica e' igual a Numero Real Millimeter(s)
(=> (instance ?RUNWAY Runway) (exists (?LENGTH) (and (instance ?LENGTH LengthMeasure) (length ?RUNWAY ?LENGTH))))	Transportation.kif 1305-1310	Fisico e' uma instancia de Runway Medida de Comprimento Medida de Comprimento e' uma instancia de Medida de Comprimento o comprimento de Fisico e' Medida de Comprimento
(=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH))))	Geography.kif 830-835	Fisico e' uma instancia de UniformPerimeterArea Medida de Comprimento Medida de Comprimento e' uma instancia de Medida de Comprimento a largura de Fisico e' Medida de Comprimento

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

KB Term:			Term intersection

English Word: