(equal     (MeasureFn ?NUMBER RankineDegree)     (MeasureFn         (MultiplicationFn ?NUMBER 1.8) KelvinDegree))	Merge.kif 7316-7318	Numero Real RankineDegree(s) e' igual a Numero Real + 1.8 KelvinDegree(s)
(equal     (MeasureFn ?NUMBER Slug)     (MeasureFn         (MultiplicationFn ?NUMBER 14593.90) Gram))	Merge.kif 7304-7306	Numero Real Slug(s) e' igual a Numero Real + 14593.90 Gram(s)
(equal     (MeasureFn ?NUMBER UnitedKingdomGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 4.54609) Liter))	Merge.kif 7257-7259	Numero Real UnitedKingdomGallon(s) e' igual a Numero Real + 4.54609 Liter(s)
(equal     (MeasureFn ?NUMBER UnitedStatesCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))	Merge.kif 7391-7393	Numero Real UnitedStatesCent(s) e' igual a Numero Real + 0.01 UnitedStatesDollar(s)
(equal     (MeasureFn ?NUMBER UnitedStatesGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 3.785411784) Liter))	Merge.kif 7212-7214	Numero Real UnitedStatesGallon(s) e' igual a Numero Real + 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 Organismo and Area Geografica e' igual a o numero de instancias dentro de a classe descrita por OrganismoI
(equal     (PopulationFn ?AREA)     (CardinalityFn         (KappaFn ?PERSON             (and                 (instance ?PERSON Human)                 (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 31712-31717	PopulationFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
(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 Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
(equal AccountCreationRejected     (FailureFn CreatingAnAccount))	ComputingBrands.kif 4534-4534	AccountCreationRejected e' igual a FailureFn CreatingAnAccount
(equal AmericanState     (GeographicPartTypeFn StateOrProvince UnitedStates))	Geography.kif 6976-6976	AmericanState e' igual a GeographicPartTypeFn Estado ou Provincia and UnitedStates
(equal AppleOrchard     (FarmOfProductFn Apple))	Food.kif 3681-3681	AppleOrchard e' igual a FarmOfProductFn Apple
(equal Blood     (FoodForFn Mosquito))	Mid-level-ontology.kif 12637-12637	Sangue e' igual a FoodForFn Mosquito
(equal BrainDead     (DeadOrMissingBodyPartFn Brain))	Medicine.kif 5188-5188	BrainDead e' igual a DeadOrMissingBodyPartFn Brain
(equal FallSeason     (RecurrentTimeIntervalFn September November))	Geography.kif 1666-1666	FallSeason e' igual a o periodo recorrente de Setembro a Novembro
(equal Food     (FoodForFn Human))	Merge.kif 14873-14873	Comida e' igual a FoodForFn Humano
(equal Glove     (CoveringFn Hand))	Cars.kif 4743-4743	Glove e' igual a CoveringFn Hand
(equal Pericarditis     (InflammationFn Pericardium))	Mid-level-ontology.kif 11411-11411	Pericarditis e' igual a InflammationFn Pericardium
(equal SpringSeason     (RecurrentTimeIntervalFn March May))	Geography.kif 1664-1664	SpringSeason e' igual a o periodo recorrente de Marco a Maio
(equal SquareKilometer     (SquareUnitFn         (KiloFn Meter)))	Geography.kif 3973-3973	SquareKilometer e' igual a SquareUnitFn 1 mil Meters
(equal SquareMeter     (SquareUnitFn Meter))	Geography.kif 3972-3972	SquareMeter e' igual a SquareUnitFn Meter
(equal SummerSeason     (RecurrentTimeIntervalFn June August))	Geography.kif 1665-1665	SummerSeason e' igual a o periodo recorrente de June a Agosto
(equal UnixEpoch     (SecondFn 0         (MinuteFn 0             (HourFn 0                 (DayFn 1                     (MonthFn January                         (YearFn 1970)))))))	QoSontology.kif 2143-2143	UnixEpoch e' igual a o segundo 0
(equal Vineyard     (FarmOfProductFn WineGrape))	Food.kif 3685-3685	Vineyard e' igual a FarmOfProductFn WineGrape
(equal WinterSeason     (RecurrentTimeIntervalFn December February))	Geography.kif 1667-1667	WinterSeason e' igual a o periodo recorrente de Dezembro a Fevereiro

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