Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
MeasureFn
Sigma KEE - MeasureFn
MeasureFn
appearance as argument number 1
(
documentation
MeasureFn
ChineseLanguage
"这个
BinaryFunction
把一个
RealNumber
和一个
UnitOfMeasure
联系成这个
Number
的单位。 这是用来表达
PhysicalQuantity
的某种分量的实例。 例如:三米可以这样来表示 (
MeasureFn
3
Meter
)。")
chinese_format.kif 2434-2436
(
documentation
MeasureFn
EnglishLanguage
"This
BinaryFunction
maps a
RealNumber
and a
UnitOfMeasure
to that
Number
of units. It is used to express `measured' instances of
PhysicalQuantity
. Example: the concept of three meters is represented as (
MeasureFn
3
Meter
).")
Merge.kif 6047-6051
(
domain
MeasureFn
1
RealNumber
)
Merge.kif 6043-6043
The number 1 argument of
measure
is an
instance
of
real number
(
domain
MeasureFn
2
UnitOfMeasure
)
Merge.kif 6044-6044
The number 2 argument of
measure
is an
instance
of
unit of measure
(
instance
MeasureFn
BinaryFunction
)
Merge.kif 6041-6041
Measure
is an
instance
of
binary function
(
instance
MeasureFn
TotalValuedRelation
)
Merge.kif 6042-6042
Measure
is an
instance
of
total valued relation
(
range
MeasureFn
PhysicalQuantity
)
Merge.kif 6045-6045
The
range
of
measure
is an instance of
physical quantity
appearance as argument number 2
(
format
ChineseLanguage
MeasureFn
"%1 %2")
chinese_format.kif 633-633
(
format
EnglishLanguage
MeasureFn
"%1 %2(s)")
english_format.kif 639-639
(
termFormat
ChineseLanguage
MeasureFn
"测量")
domainEnglishFormat.kif 36595-36595
(
termFormat
ChineseLanguage
MeasureFn
"计量函数")
chinese_format.kif 634-634
(
termFormat
ChineseTraditionalLanguage
MeasureFn
"測量")
domainEnglishFormat.kif 36594-36594
(
termFormat
EnglishLanguage
MeasureFn
"measure")
domainEnglishFormat.kif 36593-36593
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500 ?S))
(
instance
?LD
Droplet
))
Geography.kif 6983-6989
A self connected object
is an
instance
of
liquid drop
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and 500 is
less
than
the real number
if and only if
the self connected object
is an
instance
of
droplet
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 6899-6910
An object
is an
instance
of
PM
and
a self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and 10 is
greater
than
the real number
and
the real number
is
greater
than 2.5 if and only if there exists
the object
10 such that
the object
10 is an
instance
of
PM10
and
the object
10 is a
part
of
the object
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThanOrEqualTo
?S 2.5))
(
exists
(?PM25)
(
and
(
instance
?PM25
FineParticulateMatter
)
(
part
?PM25 ?PM))))
Geography.kif 6928-6938
An object
is an
instance
of
PM
and
a self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and
the real number
is
greater
than or equal to 2.5 if and only if there exists
the object
25 such that
the object
25 is an
instance
of
PM2.5
and
the object
25 is a
part
of
the object
(<=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?AMOUNT
(
MeasureFn
1
(
SquareUnitFn
?UNIT))))
(
equal
?AMOUNT
(
MultiplicationFn
(
MeasureFn
1 ?UNIT)
(
MeasureFn
1 ?UNIT))))
Geography.kif 3761-3765
An unit of measure
is an
instance
of
unit of measure
and
a number
is
equal
to 1 the
square
unit of
the unit of measure
(s) if and only if
the number
is
equal
to 1
the unit of measure
(s) and 1
the unit of measure
(s)
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
North
))
Geography.kif 3569-3571
An object
courseWRT
true north
another object
for 0
angular degree
(s) if and only if
the object
is
north
to
the other object
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
135
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Southeast
))
Geography.kif 3593-3595
An object
courseWRT
true north
another object
for 135
angular degree
(s) if and only if
the object
is
southeast
to
the other object
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
180
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
South
))
Geography.kif 3577-3579
An object
courseWRT
true north
another object
for 180
angular degree
(s) if and only if
the object
is
south
to
the other object
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
225
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Southwest
))
Geography.kif 3597-3599
An object
courseWRT
true north
another object
for 225
angular degree
(s) if and only if
the object
is
southwest
to
the other object
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
270
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
West
))
Geography.kif 3581-3583
An object
courseWRT
true north
another object
for 270
angular degree
(s) if and only if
the object
is
west
to
the other object
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
315
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Northwest
))
Geography.kif 3601-3603
An object
courseWRT
true north
another object
for 315
angular degree
(s) if and only if
the object
is
northwest
to
the other object
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
360
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
North
))
Geography.kif 3585-3587
An object
courseWRT
true north
another object
for 360
angular degree
(s) if and only if
the object
is
north
to
the other object
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
45
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Northeast
))
Geography.kif 3589-3591
An object
courseWRT
true north
another object
for 45
angular degree
(s) if and only if
the object
is
northeast
to
the other object
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
90
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
East
))
Geography.kif 3573-3575
An object
courseWRT
true north
another object
for 90
angular degree
(s) if and only if
the object
is
east
to
the other object
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205)
PoundMass
)))
Mid-level-ontology.kif 11232-11238
The
measure
of
an object
is
a real number
metric ton
(s) if and only if the
measure
of
the object
is
the real number
and 2205
pound mass
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60 ?DEG)
ArcMinute
)))
Geography.kif 378-380
The
measure
of
an object
is
a real number
angular degree
(s) if and only if the
measure
of
the object
is 60 and
the real number
arc minute
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60 ?DEG)
ArcSecond
)))
Geography.kif 397-399
The
measure
of
an object
is
a real number
arc minute
(s) if and only if the
measure
of
the object
is 60 and
the real number
arc second
(s)
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16)
PoundMass
)))
Mid-level-ontology.kif 10972-10977
The
measure
of
an object
is
a real number
Ounce
(s) if and only if the
measure
of
the object
is
the real number
and 16
pound mass
(s)
(<=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
potentialOfHydrogen
?SOLUTION ?PH))
Geography.kif 2489-2492
The
measure
of
a solution
is
a real number
PH value
(s) if and only if
the real number
is a
potential
of hydrogen of
the solution
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
LengthMeasure
)
(
instance
?VM
VolumeMeasure
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 15680-15691
If the
approximate
diameter
of
a self connected object
is
a real number
the real number
M(s) and the
radius
of
an object
is
the real number
and 2
the real number
M(s) and the
measure
of
the object
is
another real number
another unit of measure
(s) and the
measure
of
the self connected object
is
a third real number
the other unit of measure
(s) and
the real number
M is an
instance
of
length measure
and
the other unit of measure
is an
instance
of
volume measure
,
then
the other real number
is
equal
to
the third real number
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))
(
arableLandArea
?REGION ?AMOUNT))
Geography.kif 2040-2047
If
a number
is an
arable
land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
a constant quantity
is
equal
to
the number
and
the real number
the unit of measure
(s),
then
the constant quantity
is an
arable
land area of
the geographic area
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2049-2059
If
a number
is an
arable
land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
arable land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the number
and
the real number
the unit of measure
(s)
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 12847-12860
If
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
an entity
is an
instance
of
a kind of pure substance
and the
measure
of
the entity
is
a quantity
the unit of measure
(s) holds
during
a time interval
and
the unit of measure
is an
instance
of
UnitOfTemperature
and
the quantity
is
greater
than or equal to
the real number
,
then
gas
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
boiling
and
the entity
is a
patient
of
the process
(=>
(
and
(
comparativeArea
?REGION1 ?RELATION ?FACTOR ?REGION2)
(
instance
?UNIT
UnitOfArea
)
(
measure
?REGION1
(
MeasureFn
?NUM1 ?UNIT))
(
measure
?REGION2
(
MeasureFn
?NUM2 ?UNIT)))
(?RELATION
(
MeasureFn
?NUM1 ?UNIT)
(
MeasureFn
(
MultiplicationFn
?FACTOR ?NUM2) ?UNIT)))
Geography.kif 658-668
If
a geographic area
comparative
area
a BinaryRelationExtendedToQuantities
for
a positive real number
with
another geographic area
and
an unit of measure
is an
instance
of
UnitOfArea
and the
measure
of
the geographic area
is
a real number
the unit of measure
(s) and the
measure
of
the other geographic area
is
another real number
the unit of measure
(s),
then
the BinaryRelationExtendedToQuantities
the real number
the unit of measure
(s) and
the positive real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 732-737
If
a financial account
current
account balance
a day
for
a real number
united states dollar
(s) and
the real number
is
less
than 0 and
another real number
is
equal
to (0 and
the real number
),
then
the financial account
is
overdraft
the other real number
united states dollar
(s) for
the day
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 11164-11173
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
has the
modal
force
of
unlikely
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?AMOUNT
(
MeasureFn
1
(
SquareUnitFn
?UNIT))))
(
equal
?AMOUNT
(
MultiplicationFn
(
MeasureFn
1 ?UNIT)
(
MeasureFn
1 ?UNIT))))
Geography.kif 3761-3765
An unit of measure
is an
instance
of
unit of measure
and
a number
is
equal
to 1 the
square
unit of
the unit of measure
(s) if and only if
the number
is
equal
to 1
the unit of measure
(s) and 1
the unit of measure
(s)
(<=>
(
and
(
instance
?X
Region
)
(
holdsDuring
?T
(
property
?X
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
and
(
airTemperature
?X
(
MeasureFn
298.15
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
29.530
InchMercury
)))))
Weather.kif 1547-1557
An entity
is an
instance
of
region
and
the entity
the
attribute
standard ambient temperature and pressure
holds
during
a time position
if and only if 298.15
kelvin degree
(s) is an
air
temperature of
the entity
and 29.530
inch mercury
(s) is a
barometric
pressure of
the entity
holds
during
the time position
(<=>
(
attribute
?WATER
OpenSea
)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER ?DIST)
(
greaterThan
?DIST
(
MeasureFn
5
NauticalMile
))))
Geography.kif 4421-4429
Open sea
is an
attribute
of
an object
if and only if
the object
is an
instance
of
salt water area
and
the object
is not an
instance
of
landlocked water
and the
distance
between
a physical
and
the object
is
a length measure
and
the length measure
is
greater
than 5
nautical mile
(s)
(<=>
(
compressionRatio
?E ?R)
(
and
(
minCylinderVolume
?E
(
MeasureFn
?MIN ?M))
(
maxCylinderVolume
?E
(
MeasureFn
?MAX ?M))
(
equal
?R
(
DivisionFn
?MIN ?MAX))))
Cars.kif 1918-1923
The compression ratio of
an engine
is
a real number
if and only if the minimum volume of the cylinders in the engine
the engine
is
another real number
an unit of measure
(s) and the maximum volume of the cylinders in the engine
the engine
is
the unit of measure
AX
the unit of measure
(s) and
the real number
is
equal
to
the other real number
and
the unit of measure
AX
(<=>
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 253-277
The
deaths
per thousand live births of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and 1000 is
equal
to
a number
and
a third integer
is
equal
to the number of
instances
in the
class
described by
another symbolic string
and
the third integer
and
the number
is
equal
to
the real number
(<=>
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 411-442
The
female
life expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
(<=>
(
equal
(
LifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 323-353
The
life
expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
(<=>
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 367-398
The
male
life expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
(<=>
(
larger
?OBJ1 ?OBJ2)
(
forall
(?QUANT1 ?QUANT2 ?UNIT)
(=>
(
and
(
measure
?OBJ1
(
MeasureFn
?QUANT1 ?UNIT))
(
measure
?OBJ2
(
MeasureFn
?QUANT2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
greaterThan
?QUANT1 ?QUANT2))))
Merge.kif 7371-7379
An object
is
larger
than
another object
if and only if for all
a real number
,
another real number
and
an unit of measure
if the
measure
of
the object
is
the real number
the unit of measure
(s) and the
measure
of
the other object
is
the other real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
UnitOfLength
,
then
the real number
is
greater
than
the other real number
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205)
PoundMass
)))
Mid-level-ontology.kif 11232-11238
The
measure
of
an object
is
a real number
metric ton
(s) if and only if the
measure
of
the object
is
the real number
and 2205
pound mass
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60 ?DEG)
ArcMinute
)))
Geography.kif 378-380
The
measure
of
an object
is
a real number
angular degree
(s) if and only if the
measure
of
the object
is 60 and
the real number
arc minute
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60 ?DEG)
ArcSecond
)))
Geography.kif 397-399
The
measure
of
an object
is
a real number
arc minute
(s) if and only if the
measure
of
the object
is 60 and
the real number
arc second
(s)
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16)
PoundMass
)))
Mid-level-ontology.kif 10972-10977
The
measure
of
an object
is
a real number
Ounce
(s) if and only if the
measure
of
the object
is
the real number
and 16
pound mass
(s)
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2049-2059
If
a number
is an
arable
land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
arable land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the number
and
the real number
the unit of measure
(s)
(=>
(
and
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
?T
(
student
?H ?ORG))
(
lessThan
?T
(
MeasureFn
1
YearDuration
)))))
Mid-level-ontology.kif 16430-16438
If
college freshman
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a time position
such that
the human
is a
student
of
the organization
holds
during
the time position
and
the time position
is
less
than 1
year duration
(s)
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
?T
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T
(
MeasureFn
2
YearDuration
))
(
lessThan
?T
(
MeasureFn
3
YearDuration
)))))
Mid-level-ontology.kif 16444-16455
If
college junior
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a time position
such that
the human
is a
student
of
the organization
holds
during
the time position
and
the time position
is
greater
than or equal to 2
year duration
(s) and
the time position
is
less
than 3
year duration
(s)
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
?T
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T
(
MeasureFn
3
YearDuration
))
(
lessThan
?T
(
MeasureFn
4
YearDuration
)))))
Mid-level-ontology.kif 16461-16472
If
college senior
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a time position
such that
the human
is a
student
of
the organization
holds
during
the time position
and
the time position
is
greater
than or equal to 3
year duration
(s) and
the time position
is
less
than 4
year duration
(s)
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
?T
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T
(
MeasureFn
1
YearDuration
))
(
lessThan
?T
(
MeasureFn
2
YearDuration
)))))
Mid-level-ontology.kif 16478-16489
If
college sophomore
is an
attribute
of
a position
and
a human
holds the
position
of
the position
in
an organization
,
then there exists
a time position
such that
the human
is a
student
of
the organization
holds
during
the time position
and
the time position
is
greater
than or equal to 1
year duration
(s) and
the time position
is
less
than 2
year duration
(s)
(=>
(
and
(
comparativeArea
?REGION1 ?RELATION ?FACTOR ?REGION2)
(
instance
?UNIT
UnitOfArea
)
(
measure
?REGION1
(
MeasureFn
?NUM1 ?UNIT))
(
measure
?REGION2
(
MeasureFn
?NUM2 ?UNIT)))
(?RELATION
(
MeasureFn
?NUM1 ?UNIT)
(
MeasureFn
(
MultiplicationFn
?FACTOR ?NUM2) ?UNIT)))
Geography.kif 658-668
If
a geographic area
comparative
area
a BinaryRelationExtendedToQuantities
for
a positive real number
with
another geographic area
and
an unit of measure
is an
instance
of
UnitOfArea
and the
measure
of
the geographic area
is
a real number
the unit of measure
(s) and the
measure
of
the other geographic area
is
another real number
the unit of measure
(s),
then
the BinaryRelationExtendedToQuantities
the real number
the unit of measure
(s) and
the positive real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 732-737
If
a financial account
current
account balance
a day
for
a real number
united states dollar
(s) and
the real number
is
less
than 0 and
another real number
is
equal
to (0 and
the real number
),
then
the financial account
is
overdraft
the other real number
united states dollar
(s) for
the day
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 11164-11173
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 11174-11185
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a set or class
is a
subclass
of
NonCompositeUnitOfMeasure
and
the unit of measure
is an
instance
of
the set or class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the set or class
and
the real number
UANTITY
the third entity
(s) is
greater
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 11193-11202
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
and 1.5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 11204-11213
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
and .5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 11135-11144
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
boilingPoint
Actinium
(
MeasureFn
3470
KelvinDegree
))
Mid-level-ontology.kif 27549-27549
3470
Kelvin degree
(s) is a
boiling
point of
actinium
(
boilingPoint
Aluminum
(
MeasureFn
2740
KelvinDegree
))
Mid-level-ontology.kif 27397-27397
2740
Kelvin degree
(s) is a
boiling
point of
aluminum
(
boilingPoint
Americium
(
MeasureFn
2880
KelvinDegree
))
Mid-level-ontology.kif 27561-27561
2880
Kelvin degree
(s) is a
boiling
point of
americium
(
boilingPoint
Antimony
(
MeasureFn
2023
KelvinDegree
))
Mid-level-ontology.kif 27473-27473
2023
Kelvin degree
(s) is a
boiling
point of
antimony
(
boilingPoint
Argon
(
MeasureFn
87.29
KelvinDegree
))
Mid-level-ontology.kif 27407-27407
87.29
Kelvin degree
(s) is a
boiling
point of
argon
(
boilingPoint
Arsenic
(
MeasureFn
886
KelvinDegree
))
Mid-level-ontology.kif 27437-27437
886
Kelvin degree
(s) is a
boiling
point of
arsenic
(
boilingPoint
Astatine
(
MeasureFn
610
KelvinDegree
))
Mid-level-ontology.kif 27541-27541
610
Kelvin degree
(s) is a
boiling
point of
astatine
(
boilingPoint
Barium
(
MeasureFn
1913
KelvinDegree
))
Mid-level-ontology.kif 27483-27483
1913
Kelvin degree
(s) is a
boiling
point of
barium
(
boilingPoint
Beryllium
(
MeasureFn
3243
KelvinDegree
))
Mid-level-ontology.kif 27379-27379
3243
Kelvin degree
(s) is a
boiling
point of
beryllium
(
boilingPoint
Bismuth
(
MeasureFn
1833
KelvinDegree
))
Mid-level-ontology.kif 27537-27537
1833
Kelvin degree
(s) is a
boiling
point of
bismuth
(
boilingPoint
Boron
(
MeasureFn
2823
KelvinDegree
))
Mid-level-ontology.kif 27381-27381
2823
Kelvin degree
(s) is a
boiling
point of
boron
(
boilingPoint
Bromine
(
MeasureFn
331.93
KelvinDegree
))
Mid-level-ontology.kif 27441-27441
331.93
Kelvin degree
(s) is a
boiling
point of
bromine
(
boilingPoint
Cadmium
(
MeasureFn
1038
KelvinDegree
))
Mid-level-ontology.kif 27467-27467
1038
Kelvin degree
(s) is a
boiling
point of
cadmium
(
boilingPoint
Caesium
(
MeasureFn
963
KelvinDegree
))
Mid-level-ontology.kif 27481-27481
963
Kelvin degree
(s) is a
boiling
point of
caesium
(
boilingPoint
Calcium
(
MeasureFn
1760
KelvinDegree
))
Mid-level-ontology.kif 27411-27411
1760
Kelvin degree
(s) is a
boiling
point of
calcium
(
boilingPoint
Carbon
(
MeasureFn
5100
KelvinDegree
))
Mid-level-ontology.kif 27383-27383
5100
Kelvin degree
(s) is a
boiling
point of
carbon
(
boilingPoint
Cerium
(
MeasureFn
3530
KelvinDegree
))
Mid-level-ontology.kif 27487-27487
3530
Kelvin degree
(s) is a
boiling
point of
cerium
(
boilingPoint
Chlorine
(
MeasureFn
238.55
KelvinDegree
))
Mid-level-ontology.kif 27405-27405
238.55
Kelvin degree
(s) is a
boiling
point of
chlorine
(
boilingPoint
Chromium
(
MeasureFn
2755
KelvinDegree
))
Mid-level-ontology.kif 27419-27419
2755
Kelvin degree
(s) is a
boiling
point of
chromium
(
boilingPoint
Cobalt
(
MeasureFn
3143
KelvinDegree
))
Mid-level-ontology.kif 27425-27425
3143
Kelvin degree
(s) is a
boiling
point of
cobalt
(
boilingPoint
Copper
(
MeasureFn
2868
KelvinDegree
))
Mid-level-ontology.kif 27429-27429
2868
Kelvin degree
(s) is a
boiling
point of
copper
(
boilingPoint
Dysprosium
(
MeasureFn
2608
KelvinDegree
))
Mid-level-ontology.kif 27503-27503
2608
Kelvin degree
(s) is a
boiling
point of
dysprosium
(
boilingPoint
Erbium
(
MeasureFn
2783
KelvinDegree
))
Mid-level-ontology.kif 27507-27507
2783
Kelvin degree
(s) is a
boiling
point of
erbium
(
boilingPoint
Europium
(
MeasureFn
1870
KelvinDegree
))
Mid-level-ontology.kif 27497-27497
1870
Kelvin degree
(s) is a
boiling
point of
europium
(
boilingPoint
Fluorine
(
MeasureFn
85.01
KelvinDegree
))
Mid-level-ontology.kif 27389-27389
85.01
Kelvin degree
(s) is a
boiling
point of
fluorine
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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