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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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.") Geography.kif 3743-3746
(domain SquareUnitFn 1 UnitOfMeasure) Geography.kif 3740-3740
(instance SquareUnitFn UnaryFunction) Geography.kif 3739-3739
(range SquareUnitFn UnitOfMeasure) Geography.kif 3741-3741

appearance as argument number 2

(format EnglishLanguage SquareUnitFn "the square unit of %1") domainEnglishFormat.kif 591-591
(termFormat EnglishLanguage SquareUnitFn "square unit") domainEnglishFormat.kif 9572-9572


        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3748-3752


(equal SquareKilometer
        (KiloFn Meter)))
Geography.kif 3755-3755
(equal SquareMeter
    (SquareUnitFn Meter))
Geography.kif 3754-3754

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners