equal

-------------------------


(equal
    (MeasureFn ?NUMBER RankineDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.8) KelvinDegree))
Merge.kif 7316-7318 A real number rankine degree(s) is equal to the real number and 1.8 kelvin degree(s)
(equal
    (MeasureFn ?NUMBER Slug)
    (MeasureFn
        (MultiplicationFn ?NUMBER 14593.90) Gram))
Merge.kif 7304-7306 A real number slug(s) is equal to the real number and 14593.90 gram(s)
(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))
Merge.kif 7257-7259 A real number united kingdom gallon(s) is equal to the real number and 4.54609 liter(s)
(equal
    (MeasureFn ?NUMBER UnitedStatesCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))
Merge.kif 7391-7393 A real number united states cent(s) is equal to the real number and 0.01 united states dollar(s)
(equal
    (MeasureFn ?NUMBER UnitedStatesGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 3.785411784) Liter))
Merge.kif 7212-7214 A real number united states gallon(s) is equal to the real number and 3.785411784 liter(s)
(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?AREA)))))
Mid-level-ontology.kif 31734-31739 Individuals of type an organism in a geographic area. is equal to the number of instances in the class described by the organismI
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))
Mid-level-ontology.kif 31712-31717 The population of a geopolitical area is equal to the number of instances in the class described by a symbolic string
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 933-946 The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string
(equal AccountCreationRejected
    (FailureFn CreatingAnAccount))
ComputingBrands.kif 4534-4534 Account creation rejected is equal to failure fn creating an account
(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))
Geography.kif 6976-6976 American state is equal to all the instances of state or province in united states
(equal AppleOrchard
    (FarmOfProductFn Apple))
Food.kif 3681-3681 Apple orchard is equal to a farm of apple in
(equal Blood
    (FoodForFn Mosquito))
Mid-level-ontology.kif 12637-12637 Blood is equal to food for mosquito
(equal BrainDead
    (DeadOrMissingBodyPartFn Brain))
Medicine.kif 5188-5188 Brain dead is equal to dead or missing body part fn brain
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1666-1666 Fall season is equal to the recurring period from September to November
(equal Food
    (FoodForFn Human))
Merge.kif 14873-14873 Food is equal to food for human
(equal Glove
    (CoveringFn Hand))
Cars.kif 4743-4743 Glove is equal to a covering for hand
(equal Pericarditis
    (InflammationFn Pericardium))
Mid-level-ontology.kif 11411-11411 Pericarditis is equal to inflammation of pericardial sac
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1664-1664 Spring season is equal to the recurring period from March to May
(equal SquareKilometer
    (SquareUnitFn
        (KiloFn Meter)))
Geography.kif 3973-3973 Square kilometer is equal to the square unit of 1 thousand meters
(equal SquareMeter
    (SquareUnitFn Meter))
Geography.kif 3972-3972 Square meter is equal to the square unit of meter
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1665-1665 Summer season is equal to the recurring period from June to August
(equal UnixEpoch
    (SecondFn 0
        (MinuteFn 0
            (HourFn 0
                (DayFn 1
                    (MonthFn January
                        (YearFn 1970)))))))
QoSontology.kif 2143-2143 Unix epoch is equal to the second 0
(equal Vineyard
    (FarmOfProductFn WineGrape))
Food.kif 3685-3685 Vineyard is equal to a farm of wine grape in
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1667-1667 Winter season is equal to the recurring period from December to February


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