equal
(
equal
(
MeasureFn
?NUMBER
Quart
)
(
MeasureFn
(
DivisionFn
?NUMBER 4)
UnitedStatesGallon
))
Merge.kif 7221-7223
Nombre r�el
Quart
(s) est
nombre r�el
+ 4
UnitedStatesGallon
(s)
(
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 31730-31735
OrganismPopulationFn
organisme
and
secteur g�ographique
est
instances
dans la
classe
d�crite par
organisme
I
(
equal
(
PopulationFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
inhabits
?PERSON ?AREA)))))
Mid-level-ontology.kif 31708-31713
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 12636-12636
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 14895-14895
Nourriture
est
FoodForFn
humain
(
equal
Glove
(
CoveringFn
Hand
))
Cars.kif 4751-4751
Glove
est
CoveringFn
Hand
(
equal
Pericarditis
(
InflammationFn
Pericardium
))
Mid-level-ontology.kif 11410-11410
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
Meter
s
(
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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