equal

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


(equal
    (MeasureFn ?NUMBER RankineDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.8) KelvinDegree))		 Merge.kif 7316-7318 实数 兰金度 equal 那个 实数 和 1.8 凯文度
(equal
    (MeasureFn ?NUMBER Slug)
    (MeasureFn
        (MultiplicationFn ?NUMBER 14593.90) Gram))		 Merge.kif 7304-7306 实数 金属块 equal 那个 实数 和 14593.90 公克
(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))		 Merge.kif 7257-7259 实数 英国加仑 equal 那个 实数 和 4.54609 升
(equal
    (MeasureFn ?NUMBER UnitedStatesCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))		 Merge.kif 7391-7393 实数 美国分 equal 那个 实数 和 0.01 美国美元
(equal
    (MeasureFn ?NUMBER UnitedStatesGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 3.785411784) Liter))		 Merge.kif 7212-7214 实数 美国加仑 equal 那个 实数 和 3.785411784 升
(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?AREA)))))		 Mid-level-ontology.kif 31734-31739 OrganismPopulationFn 生物 and 地理区域 equal 那个 生物I 所描述的类别 instance 的数量
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 Mid-level-ontology.kif 31712-31717 地缘政治区域 的 population equal 符号串 所描述的类别 instance 的数量
(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 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量
(equal AccountCreationRejected
    (FailureFn CreatingAnAccount))		 ComputingBrands.kif 4534-4534 AccountCreationRejected equal FailureFn CreatingAnAccount
(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))		 Geography.kif 6976-6976 美国国家 equal 州或省 所有的 instances 在 美国
(equal AppleOrchard
    (FarmOfProductFn Apple))		 Food.kif 3681-3681 AppleOrchard equal 苹果 在 的 farm
(equal Blood
    (FoodForFn Mosquito))		 Mid-level-ontology.kif 12637-12637 血液 equal food for Mosquito
(equal BrainDead
    (DeadOrMissingBodyPartFn Brain))		 Medicine.kif 5188-5188 BrainDead equal DeadOrMissingBodyPartFn 脑
(equal FallSeason
    (RecurrentTimeIntervalFn September November))		 Geography.kif 1666-1666 秋季 equal 从九月到十一月再次发生所需的时间
(equal Food
    (FoodForFn Human))		 Merge.kif 14873-14873 Food equal food for 人类
(equal Glove
    (CoveringFn Hand))		 Cars.kif 4743-4743 手套 equal 对于 手 的 covering
(equal Pericarditis
    (InflammationFn Pericardium))		 Mid-level-ontology.kif 11411-11411 Pericarditis equal InflammationFn Pericardium
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))		 Geography.kif 1664-1664 春暖花开的季节 equal 从三月到五月再次发生所需的时间
(equal SquareKilometer
    (SquareUnitFn
        (KiloFn Meter)))		 Geography.kif 3973-3973 平方千米 equal 仪表 的一千倍 的 square 单位
(equal SquareMeter
    (SquareUnitFn Meter))		 Geography.kif 3972-3972 平方米 equal 仪表 的 square 单位
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))		 Geography.kif 1665-1665 夏季 equal 从六月到八月再次发生所需的时间
(equal UnixEpoch
    (SecondFn 0
        (MinuteFn 0
            (HourFn 0
                (DayFn 1
                    (MonthFn January
                        (YearFn 1970)))))))		 QoSontology.kif 2143-2143 Unix时代 equal 0 second
(equal Vineyard
    (FarmOfProductFn WineGrape))		 Food.kif 3685-3685 Vineyard equal 酿酒葡萄 在 的 farm
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))		 Geography.kif 1667-1667 冬季 equal 从十二月到二月再次发生所需的时间


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