(equal     (MeasureFn ?NUMBER RankineDegree)     (MeasureFn         (MultiplicationFn ?NUMBER 1.8) KelvinDegree))	Merge.kif 7316-7318	NumeroReale RankineDegree(s is uguale a NumeroReale + 1.8 KelvinDegree(s
(equal     (MeasureFn ?NUMBER Slug)     (MeasureFn         (MultiplicationFn ?NUMBER 14593.90) Gram))	Merge.kif 7304-7306	NumeroReale Slug(s is uguale a NumeroReale + 14593.90 Gram(s
(equal     (MeasureFn ?NUMBER UnitedKingdomGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 4.54609) Liter))	Merge.kif 7257-7259	NumeroReale UnitedKingdomGallon(s is uguale a NumeroReale + 4.54609 Liter(s
(equal     (MeasureFn ?NUMBER UnitedStatesCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))	Merge.kif 7391-7393	NumeroReale UnitedStatesCent(s is uguale a NumeroReale + 0.01 UnitedStatesDollar(s
(equal     (MeasureFn ?NUMBER UnitedStatesGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 3.785411784) Liter))	Merge.kif 7212-7214	NumeroReale UnitedStatesGallon(s is uguale a NumeroReale + 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 AreaGeografica is uguale a il numero di istanzia in la classe descritta da OrganismoI
(equal     (PopulationFn ?AREA)     (CardinalityFn         (KappaFn ?PERSON             (and                 (instance ?PERSON Human)                 (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 31712-31717	PopulationFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa
(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 AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa
(equal AccountCreationRejected     (FailureFn CreatingAnAccount))	ComputingBrands.kif 4534-4534	AccountCreationRejected is uguale a FailureFn CreatingAnAccount
(equal AmericanState     (GeographicPartTypeFn StateOrProvince UnitedStates))	Geography.kif 6976-6976	AmericanState is uguale a GeographicPartTypeFn StatoOProvincia and UnitedStates
(equal AppleOrchard     (FarmOfProductFn Apple))	Food.kif 3681-3681	AppleOrchard is uguale a FarmOfProductFn Apple
(equal Blood     (FoodForFn Mosquito))	Mid-level-ontology.kif 12637-12637	Sangue is uguale a FoodForFn Mosquito
(equal BrainDead     (DeadOrMissingBodyPartFn Brain))	Medicine.kif 5188-5188	BrainDead is uguale a DeadOrMissingBodyPartFn Brain
(equal FallSeason     (RecurrentTimeIntervalFn September November))	Geography.kif 1666-1666	FallSeason is uguale a il periodo ricorrente da Settembre a Novembre
(equal Food     (FoodForFn Human))	Merge.kif 14873-14873	Cibo is uguale a FoodForFn Umano
(equal Glove     (CoveringFn Hand))	Cars.kif 4743-4743	Glove is uguale a CoveringFn Hand
(equal Pericarditis     (InflammationFn Pericardium))	Mid-level-ontology.kif 11411-11411	Pericarditis is uguale a InflammationFn Pericardium
(equal SpringSeason     (RecurrentTimeIntervalFn March May))	Geography.kif 1664-1664	SpringSeason is uguale a il periodo ricorrente da Marzo a Maggio
(equal SquareKilometer     (SquareUnitFn         (KiloFn Meter)))	Geography.kif 3973-3973	SquareKilometer is uguale a SquareUnitFn 1 mille Meters
(equal SquareMeter     (SquareUnitFn Meter))	Geography.kif 3972-3972	SquareMeter is uguale a SquareUnitFn Meter
(equal SummerSeason     (RecurrentTimeIntervalFn June August))	Geography.kif 1665-1665	SummerSeason is uguale a il periodo ricorrente da Giugno a Agosto
(equal UnixEpoch     (SecondFn 0         (MinuteFn 0             (HourFn 0                 (DayFn 1                     (MonthFn January                         (YearFn 1970)))))))	QoSontology.kif 2143-2143	UnixEpoch is uguale a il secondo 0
(equal Vineyard     (FarmOfProductFn WineGrape))	Food.kif 3685-3685	Vineyard is uguale a FarmOfProductFn WineGrape
(equal WinterSeason     (RecurrentTimeIntervalFn December February))	Geography.kif 1667-1667	WinterSeason is uguale a il periodo ricorrente da Dicembre a Febbraio

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