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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SquareUnitFn
SquareUnitFn

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


(documentation SquareUnitFn EnglishLanguage "(SquareUnitFn ?UNIT) denotes the UnitOfMeasure that is the square of the UnitOfMeasure ?UNIT. For example, (SquareUnitFn (KiloFn Meter)) denotes the unit of a square kilometer.") Mid-level-ontology.kif 14964-14967
(domain SquareUnitFn 1 UnitOfMeasure) Mid-level-ontology.kif 14968-14968 SquareUnitFn の数値 1 引数は 測定単位instance では
(instance SquareUnitFn UnaryFunction) Mid-level-ontology.kif 14963-14963 SquareUnitFn1変数関数instance では
(range SquareUnitFn UnitOfMeasure) Mid-level-ontology.kif 14969-14969 SquareUnitFnrange測定単位 のインスタンス では

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


(format ChineseLanguage SquareUnitFn "%1 的 square 单位") domainEnglishFormat.kif 2339-2339
(format ChineseTraditionalLanguage SquareUnitFn "%1 的 square 單位") domainEnglishFormat.kif 2338-2338
(format EnglishLanguage SquareUnitFn "the square unit of %1") domainEnglishFormat.kif 2337-2337
(termFormat ChineseLanguage SquareUnitFn "方形单位") domainEnglishFormat.kif 54898-54898
(termFormat ChineseTraditionalLanguage SquareUnitFn "方形單位") domainEnglishFormat.kif 54897-54897
(termFormat EnglishLanguage SquareUnitFn "square unit") domainEnglishFormat.kif 54896-54896

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


(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?SQUAREUNIT
            (SquareUnitFn ?UNIT)))
    (exists (?NUM)
        (and
            (instance ?NUM RealNumber)
            (equal
                (MeasureFn ?NUM ?SQUAREUNIT)
                (MeasureFn
                    (MultiplicationFn ?NUM ?NUM) ?UNIT)))))
Mid-level-ontology.kif 14971-14982

statement
-------------------------


(equal SquareFoot
    (SquareUnitFn FootLength))
Mid-level-ontology.kif 14988-14988 equal SquareFoot and SquareUnitFn FootLength
(equal SquareKilometer
    (SquareUnitFn
        (KiloFn Meter)))
Geography.kif 754-754 equal SquareKilometer and SquareUnitFn 1 の thousand Meters
(equal SquareKilometer
    (SquareUnitFn Kilometer))
Geography.kif 755-755 equal SquareKilometer and SquareUnitFn Kilometer
(equal SquareMeter
    (SquareUnitFn Meter))
Geography.kif 4174-4174 equal SquareMeter and SquareUnitFn Meter
(equal SquareMile
    (SquareUnitFn Mile))
Mid-level-ontology.kif 15075-15075 equal SquareMile and SquareUnitFn Mile
(equal SquareMillimeter
    (SquareUnitFn Millimeter))
Geography.kif 4180-4180 equal SquareMillimeter and SquareUnitFn Millimeter
(equal SquareYard
    (SquareUnitFn YardLength))
Mid-level-ontology.kif 15081-15081 equal SquareYard and SquareUnitFn YardLength


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