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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SquareUnitFn

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.") 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 9576-9576

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


(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3748-3752

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


(equal SquareKilometer
    (SquareUnitFn
        (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