equal
(
equal
(
MeasureFn
?NUMBER
RankineDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.8)
KelvinDegree
))
Merge.kif 7316-7318
A real number
rankine degree
(s) is
equal
to
the real number
and 1.8
kelvin degree
(s)
(
equal
(
MeasureFn
?NUMBER
Slug
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 14593.90)
Gram
))
Merge.kif 7304-7306
A real number
slug
(s) is
equal
to
the real number
and 14593.90
gram
(s)
(
equal
(
MeasureFn
?NUMBER
UnitedKingdomGallon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.54609)
Liter
))
Merge.kif 7257-7259
A real number
united kingdom gallon
(s) is
equal
to
the real number
and 4.54609
liter
(s)
(
equal
(
MeasureFn
?NUMBER
UnitedStatesCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
UnitedStatesDollar
))
Merge.kif 7391-7393
A real number
united states cent
(s) is
equal
to
the real number
and 0.01
united states dollar
(s)
(
equal
(
MeasureFn
?NUMBER
UnitedStatesGallon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 3.785411784)
Liter
))
Merge.kif 7212-7214
A real number
united states gallon
(s) is
equal
to
the real number
and 3.785411784
liter
(s)
(
equal
(
OrganismPopulationFn
?O ?AREA)
(
CardinalityFn
(
KappaFn
?OI
(
and
(
instance
?OI ?O)
(
located
?OI ?AREA)))))
Mid-level-ontology.kif 31734-31739
Individuals of type
an organism
in
a geographic area
. is
equal
to the number of
instances
in the
class
described by
the organism
I
(
equal
(
PopulationFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
inhabits
?PERSON ?AREA)))))
Mid-level-ontology.kif 31712-31717
The
population
of
a geopolitical area
is
equal
to the number of
instances
in the
class
described by
a symbolic string
(
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
The
reaching
military age annually male of
a geopolitical area
and
a year
is
equal
to the number of
instances
in the
class
described by
a symbolic string
(
equal
AccountCreationRejected
(
FailureFn
CreatingAnAccount
))
ComputingBrands.kif 4534-4534
Account creation rejected
is
equal
to
failure fn
creating an account
(
equal
AmericanState
(
GeographicPartTypeFn
StateOrProvince
UnitedStates
))
Geography.kif 6976-6976
American state
is
equal
to all the
instances
of
state or province
in
united states
(
equal
AppleOrchard
(
FarmOfProductFn
Apple
))
Food.kif 3681-3681
Apple orchard
is
equal
to a
farm
of
apple
in
(
equal
Blood
(
FoodForFn
Mosquito
))
Mid-level-ontology.kif 12637-12637
Blood
is
equal
to
food
for
mosquito
(
equal
BrainDead
(
DeadOrMissingBodyPartFn
Brain
))
Medicine.kif 5188-5188
Brain dead
is
equal
to
dead or missing body part fn
brain
(
equal
FallSeason
(
RecurrentTimeIntervalFn
September
November
))
Geography.kif 1666-1666
Fall season
is
equal
to the
recurring
period
from
September
to
November
(
equal
Food
(
FoodForFn
Human
))
Merge.kif 14873-14873
Food
is
equal
to
food
for
human
(
equal
Glove
(
CoveringFn
Hand
))
Cars.kif 4743-4743
Glove
is
equal
to a
covering
for
hand
(
equal
Pericarditis
(
InflammationFn
Pericardium
))
Mid-level-ontology.kif 11411-11411
Pericarditis
is
equal
to inflammation of
pericardial sac
(
equal
SpringSeason
(
RecurrentTimeIntervalFn
March
May
))
Geography.kif 1664-1664
Spring season
is
equal
to the
recurring
period
from
March
to
May
(
equal
SquareKilometer
(
SquareUnitFn
(
KiloFn
Meter
)))
Geography.kif 3973-3973
Square kilometer
is
equal
to the
square
unit of 1
thousand
meter
s
(
equal
SquareMeter
(
SquareUnitFn
Meter
))
Geography.kif 3972-3972
Square meter
is
equal
to the
square
unit of
meter
(
equal
SummerSeason
(
RecurrentTimeIntervalFn
June
August
))
Geography.kif 1665-1665
Summer season
is
equal
to the
recurring
period
from
June
to
August
(
equal
UnixEpoch
(
SecondFn
0
(
MinuteFn
0
(
HourFn
0
(
DayFn
1
(
MonthFn
January
(
YearFn
1970)))))))
QoSontology.kif 2143-2143
Unix epoch
is
equal
to the
second
0
(
equal
Vineyard
(
FarmOfProductFn
WineGrape
))
Food.kif 3685-3685
Vineyard
is
equal
to a
farm
of
wine grape
in
(
equal
WinterSeason
(
RecurrentTimeIntervalFn
December
February
))
Geography.kif 1667-1667
Winter season
is
equal
to the
recurring
period
from
December
to
February
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