(equal     (MeasureFn ?NUMBER RankineDegree)     (MeasureFn         (MultiplicationFn ?NUMBER 1.8) KelvinDegree))	Merge.kif 7316-7318	実数 の RankineDegree(s) は 実数 + 1.8 の KelvinDegree(s) と equal では %n
(equal     (MeasureFn ?NUMBER Slug)     (MeasureFn         (MultiplicationFn ?NUMBER 14593.90) Gram))	Merge.kif 7304-7306	実数 の Slug(s) は 実数 + 14593.90 の Gram(s) と equal では %n
(equal     (MeasureFn ?NUMBER UnitedKingdomGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 4.54609) Liter))	Merge.kif 7257-7259	実数 の UnitedKingdomGallon(s) は 実数 + 4.54609 の Liter(s) と equal では %n
(equal     (MeasureFn ?NUMBER UnitedStatesCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))	Merge.kif 7391-7393	実数 の UnitedStatesCent(s) は 実数 + 0.01 の UnitedStatesDollar(s) と equal では %n
(equal     (MeasureFn ?NUMBER UnitedStatesGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 3.785411784) Liter))	Merge.kif 7212-7214	実数 の UnitedStatesGallon(s) は 実数 + 3.785411784 の Liter(s) と equal では %n
(equal     (OrganismPopulationFn ?O ?AREA)     (CardinalityFn         (KappaFn ?OI             (and                 (instance ?OI ?O)                 (located ?OI ?AREA)))))	Mid-level-ontology.kif 31734-31739	OrganismPopulationFn 物 and 地理的地域 は 物Iで記述される class の instances の数 と equal では %n
(equal     (PopulationFn ?AREA)     (CardinalityFn         (KappaFn ?PERSON             (and                 (instance ?PERSON Human)                 (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 31712-31717	PopulationFn 地政学的地域 は エンティティー class の instances の数 と equal では %n
(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	ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and 年 は エンティティー class の instances の数 と equal では %n
(equal AccountCreationRejected     (FailureFn CreatingAnAccount))	ComputingBrands.kif 4534-4534	AccountCreationRejected は FailureFn CreatingAnAccount と equal では %n
(equal AmericanState     (GeographicPartTypeFn StateOrProvince UnitedStates))	Geography.kif 6976-6976	AmericanState は GeographicPartTypeFn 州 and UnitedStates と equal では %n
(equal AppleOrchard     (FarmOfProductFn Apple))	Food.kif 3681-3681	AppleOrchard は FarmOfProductFn Apple と equal では %n
(equal Blood     (FoodForFn Mosquito))	Mid-level-ontology.kif 12637-12637	血 は FoodForFn Mosquito と equal では %n
(equal BrainDead     (DeadOrMissingBodyPartFn Brain))	Medicine.kif 5188-5188	BrainDead は DeadOrMissingBodyPartFn Brain と equal では %n
(equal FallSeason     (RecurrentTimeIntervalFn September November))	Geography.kif 1666-1666	FallSeason は the recurring period from 9月 to 11月 と equal では %n
(equal Food     (FoodForFn Human))	Merge.kif 14873-14873	Food は FoodForFn 人［人間］ と equal では %n
(equal Glove     (CoveringFn Hand))	Cars.kif 4743-4743	Glove は CoveringFn Hand と equal では %n
(equal Pericarditis     (InflammationFn Pericardium))	Mid-level-ontology.kif 11411-11411	Pericarditis は InflammationFn Pericardium と equal では %n
(equal SpringSeason     (RecurrentTimeIntervalFn March May))	Geography.kif 1664-1664	SpringSeason は the recurring period from 3月 to 5月 と equal では %n
(equal SquareKilometer     (SquareUnitFn         (KiloFn Meter)))	Geography.kif 3973-3973	SquareKilometer は SquareUnitFn 1 の thousand Meters と equal では %n
(equal SquareMeter     (SquareUnitFn Meter))	Geography.kif 3972-3972	SquareMeter は SquareUnitFn Meter と equal では %n
(equal SummerSeason     (RecurrentTimeIntervalFn June August))	Geography.kif 1665-1665	SummerSeason は the recurring period from 6月 to 8月 と equal では %n
(equal UnixEpoch     (SecondFn 0         (MinuteFn 0             (HourFn 0                 (DayFn 1                     (MonthFn January                         (YearFn 1970)))))))	QoSontology.kif 2143-2143	UnixEpoch は 0 second 目 と equal では %n
(equal Vineyard     (FarmOfProductFn WineGrape))	Food.kif 3685-3685	Vineyard は FarmOfProductFn WineGrape と equal では %n
(equal WinterSeason     (RecurrentTimeIntervalFn December February))	Geography.kif 1667-1667	WinterSeason は the recurring period from 12月 to 2月 と equal では %n

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