(equal     (MeasureFn ?NUMBER RankineDegree)     (MeasureFn         (MultiplicationFn ?NUMBER 1.8) KelvinDegree))	Merge.kif 7316-7318	Nombre r�el RankineDegree(s) est nombre r�el + 1.8 KelvinDegree(s)
(equal     (MeasureFn ?NUMBER Slug)     (MeasureFn         (MultiplicationFn ?NUMBER 14593.90) Gram))	Merge.kif 7304-7306	Nombre r�el Slug(s) est nombre r�el + 14593.90 Gram(s)
(equal     (MeasureFn ?NUMBER UnitedKingdomGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 4.54609) Liter))	Merge.kif 7257-7259	Nombre r�el UnitedKingdomGallon(s) est nombre r�el + 4.54609 Liter(s)
(equal     (MeasureFn ?NUMBER UnitedStatesCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))	Merge.kif 7391-7393	Nombre r�el UnitedStatesCent(s) est nombre r�el + 0.01 UnitedStatesDollar(s)
(equal     (MeasureFn ?NUMBER UnitedStatesGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 3.785411784) Liter))	Merge.kif 7212-7214	Nombre r�el UnitedStatesGallon(s) est nombre r�el + 3.785411784 Liter(s)
(equal     (OrganismPopulationFn ?O ?AREA)     (CardinalityFn         (KappaFn ?OI             (and                 (instance ?OI ?O)                 (located ?OI ?AREA)))))	Mid-level-ontology.kif 31734-31739	OrganismPopulationFn organisme and secteur g�ographique est instances dans la classe d�crite par organismeI
(equal     (PopulationFn ?AREA)     (CardinalityFn         (KappaFn ?PERSON             (and                 (instance ?PERSON Human)                 (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 31712-31717	PopulationFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
(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 secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
(equal AccountCreationRejected     (FailureFn CreatingAnAccount))	ComputingBrands.kif 4534-4534	AccountCreationRejected est FailureFn CreatingAnAccount
(equal AmericanState     (GeographicPartTypeFn StateOrProvince UnitedStates))	Geography.kif 6976-6976	AmericanState est GeographicPartTypeFn Etat ou province and UnitedStates
(equal AppleOrchard     (FarmOfProductFn Apple))	Food.kif 3681-3681	AppleOrchard est FarmOfProductFn Apple
(equal Blood     (FoodForFn Mosquito))	Mid-level-ontology.kif 12637-12637	Sang est FoodForFn Mosquito
(equal BrainDead     (DeadOrMissingBodyPartFn Brain))	Medicine.kif 5188-5188	BrainDead est DeadOrMissingBodyPartFn Brain
(equal FallSeason     (RecurrentTimeIntervalFn September November))	Geography.kif 1666-1666	FallSeason est p�riode recurrente de Septembre � Novembre
(equal Food     (FoodForFn Human))	Merge.kif 14873-14873	Nourriture est FoodForFn humain
(equal Glove     (CoveringFn Hand))	Cars.kif 4743-4743	Glove est CoveringFn Hand
(equal Pericarditis     (InflammationFn Pericardium))	Mid-level-ontology.kif 11411-11411	Pericarditis est InflammationFn Pericardium
(equal SpringSeason     (RecurrentTimeIntervalFn March May))	Geography.kif 1664-1664	SpringSeason est p�riode recurrente de Mars � Mai
(equal SquareKilometer     (SquareUnitFn         (KiloFn Meter)))	Geography.kif 3973-3973	SquareKilometer est SquareUnitFn 1 millier Meters
(equal SquareMeter     (SquareUnitFn Meter))	Geography.kif 3972-3972	SquareMeter est SquareUnitFn Meter
(equal SummerSeason     (RecurrentTimeIntervalFn June August))	Geography.kif 1665-1665	SummerSeason est p�riode recurrente de Juin � Ao�t
(equal UnixEpoch     (SecondFn 0         (MinuteFn 0             (HourFn 0                 (DayFn 1                     (MonthFn January                         (YearFn 1970)))))))	QoSontology.kif 2143-2143	UnixEpoch est seconde 0
(equal Vineyard     (FarmOfProductFn WineGrape))	Food.kif 3685-3685	Vineyard est FarmOfProductFn WineGrape
(equal WinterSeason     (RecurrentTimeIntervalFn December February))	Geography.kif 1667-1667	WinterSeason est p�riode recurrente de Decembre � F�vrier

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