TreeView Knowledge Base Browser

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	The number 1 argument of square unit is an instance of unit of measure
(instance SquareUnitFn UnaryFunction)	Mid-level-ontology.kif 14963-14963	Square unit is an instance of unary function
(range SquareUnitFn UnitOfMeasure)	Mid-level-ontology.kif 14969-14969	The range of square unit is an instance of unit of measure

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

If an unit of measure is an instance of unit of measure and equal another unit of measure and the square unit of the unit of measure,
then there exists a real number such that the real number is an instance of real number and equal the real number the other unit of measure(s) and the real number and the real number the unit of measure(s)

statement

(equal SquareFoot (SquareUnitFn FootLength))	Mid-level-ontology.kif 14988-14988	equal square foot and the square unit of foot length
(equal SquareKilometer (SquareUnitFn (KiloFn Meter)))	Geography.kif 754-754	equal square kilometer and the square unit of 1 thousand meters
(equal SquareKilometer (SquareUnitFn Kilometer))	Geography.kif 755-755	equal square kilometer and the square unit of kilometer
(equal SquareMeter (SquareUnitFn Meter))	Geography.kif 4174-4174	equal square meter and the square unit of meter
(equal SquareMile (SquareUnitFn Mile))	Mid-level-ontology.kif 15075-15075	equal square mile and the square unit of mile
(equal SquareMillimeter (SquareUnitFn Millimeter))	Geography.kif 4180-4180	equal square millimeter and the square unit of millimeter
(equal SquareYard (SquareUnitFn YardLength))	Mid-level-ontology.kif 15081-15081	equal square yard and the square unit of yard length

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: