Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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 6264-6268
(
domain
MeasureFn
1
RealNumber
)
Merge.kif 6260-6260
domain
MeasureFn
, 1 and
RealNumber
(
domain
MeasureFn
2
UnitOfMeasure
)
Merge.kif 6261-6261
domain
MeasureFn
, 2 and
UnitOfMeasure
(
instance
MeasureFn
BinaryFunction
)
Merge.kif 6258-6258
instance
MeasureFn
and
BinaryFunction
(
instance
MeasureFn
TotalValuedRelation
)
Merge.kif 6259-6259
instance
MeasureFn
and
TotalValuedRelation
(
range
MeasureFn
PhysicalQuantity
)
Merge.kif 6262-6262
range
MeasureFn
and
PhysicalQuantity
appearance as argument number 2
(
format
ChineseLanguage
MeasureFn
"%1 %2")
chinese_format.kif 633-633
(
format
EnglishLanguage
MeasureFn
"%1 %2(s)")
english_format.kif 636-636
(
termFormat
ChineseLanguage
MeasureFn
"测量")
domainEnglishFormat.kif 36654-36654
(
termFormat
ChineseLanguage
MeasureFn
"计量函数")
chinese_format.kif 634-634
(
termFormat
ChineseTraditionalLanguage
MeasureFn
"測量")
domainEnglishFormat.kif 36653-36653
(
termFormat
EnglishLanguage
MeasureFn
"measure")
domainEnglishFormat.kif 36652-36652
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500.0 ?S))
(
instance
?LD
Droplet
))
Geography.kif 7240-7246
instance
SelfConnectedObject
and
LiquidDrop
approximateDiameter
SelfConnectedObject
and
MeasureFn
RealNumber
and
Micrometer
lessThan
500.0 and
RealNumber
instance
SelfConnectedObject
and
Droplet
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10.0 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 7156-7167
instance
Object
and
ParticulateMatter
part
SelfConnectedObject
and
Object
approximateDiameter
SelfConnectedObject
and
MeasureFn
RealNumber
and
Micrometer
greaterThan
10.0 and
RealNumber
greaterThan
RealNumber
and 2.5
Object
0
instance
Object
0 and
CoarseParticulateMatter
part
Object
0 and
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 7185-7195
instance
Object
and
ParticulateMatter
part
SelfConnectedObject
and
Object
approximateDiameter
SelfConnectedObject
and
MeasureFn
RealNumber
and
Micrometer
greaterThanOrEqualTo
RealNumber
and 2.5
Object
5
instance
Object
5 and
FineParticulateMatter
part
Object
5 and
Object
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
0.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
North
))
Geography.kif 3653-3655
courseWRTTrueNorth
Object
,
Object
and
MeasureFn
0.0 and
AngularDegree
orientation
Object
,
Object
and
North
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
135.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Southeast
))
Geography.kif 3677-3679
courseWRTTrueNorth
Object
,
Object
and
MeasureFn
135.0 and
AngularDegree
orientation
Object
,
Object
and
Southeast
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
180.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
South
))
Geography.kif 3661-3663
courseWRTTrueNorth
Object
,
Object
and
MeasureFn
180.0 and
AngularDegree
orientation
Object
,
Object
and
South
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
225.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Southwest
))
Geography.kif 3681-3683
courseWRTTrueNorth
Object
,
Object
and
MeasureFn
225.0 and
AngularDegree
orientation
Object
,
Object
and
Southwest
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
270.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
West
))
Geography.kif 3665-3667
courseWRTTrueNorth
Object
,
Object
and
MeasureFn
270.0 and
AngularDegree
orientation
Object
,
Object
and
West
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
315.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Northwest
))
Geography.kif 3685-3687
courseWRTTrueNorth
Object
,
Object
and
MeasureFn
315.0 and
AngularDegree
orientation
Object
,
Object
and
Northwest
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
360.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
North
))
Geography.kif 3669-3671
courseWRTTrueNorth
Object
,
Object
and
MeasureFn
360.0 and
AngularDegree
orientation
Object
,
Object
and
North
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
45.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Northeast
))
Geography.kif 3673-3675
courseWRTTrueNorth
Object
,
Object
and
MeasureFn
45.0 and
AngularDegree
orientation
Object
,
Object
and
Northeast
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
90.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
East
))
Geography.kif 3657-3659
courseWRTTrueNorth
Object
,
Object
and
MeasureFn
90.0 and
AngularDegree
orientation
Object
,
Object
and
East
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1701-1707
equal
FunctionQuantity
and
MeasureFn
RealNumber
and
MilesPerHour
equal
FunctionQuantity
and
SpeedFn
MeasureFn
RealNumber
and
Mile
and
MeasureFn
1 and
HourDuration
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3058-3069
FinancialInstrument
FinancialInstrument
Price and
RealNumber
instance
Agreement
and
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MeasureFn
FinancialInstrument
Price and
UnitOfMeasure
and
Agent
instance
UnitOfMeasure
and
UnitOfCurrency
strikePrice
Agreement
and
MeasureFn
RealNumber
and
UnitOfMeasure
lessThan
FinancialInstrument
Price and
RealNumber
outOfTheMoney
Agreement
and
Agent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3009-3020
FinancialInstrument
FinancialInstrument
Price and
RealNumber
instance
Agreement
and
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MeasureFn
FinancialInstrument
Price and
UnitOfMeasure
and
Agent
instance
UnitOfMeasure
and
UnitOfCurrency
strikePrice
Agreement
and
MeasureFn
RealNumber
and
UnitOfMeasure
lessThan
RealNumber
and
FinancialInstrument
Price
inTheMoney
Agreement
and
Agent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3022-3033
FinancialInstrument
FinancialInstrument
Price and
RealNumber
instance
Agreement
and
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MeasureFn
FinancialInstrument
Price and
UnitOfMeasure
and
Agent
instance
UnitOfMeasure
and
UnitOfCurrency
strikePrice
Agreement
and
MeasureFn
RealNumber
and
UnitOfMeasure
lessThan
FinancialInstrument
Price and
RealNumber
inTheMoney
Agreement
and
Agent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3071-3082
FinancialInstrument
FinancialInstrument
Price and
RealNumber
instance
Agreement
and
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MeasureFn
FinancialInstrument
Price and
UnitOfMeasure
and
Agent
instance
UnitOfMeasure
and
UnitOfCurrency
strikePrice
Agreement
and
MeasureFn
RealNumber
and
UnitOfMeasure
lessThan
RealNumber
and
FinancialInstrument
Price
outOfTheMoney
Agreement
and
Agent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13124-13130
measure
Physical
and
MeasureFn
RealNumber
and
MetricTon
measure
Physical
and
MeasureFn
MultiplicationFn
RealNumber
and 2205.0 and
PoundMass
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
measure
Physical
and
MeasureFn
RealNumber
and
AngularDegree
measure
Physical
and
MeasureFn
MultiplicationFn
60.0 and
RealNumber
and
ArcMinute
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
measure
Physical
and
MeasureFn
RealNumber
and
ArcMinute
measure
Physical
and
MeasureFn
MultiplicationFn
60.0 and
RealNumber
and
ArcSecond
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 12846-12851
measure
Physical
and
MeasureFn
RealNumber
and
OunceMass
measure
Physical
and
MeasureFn
DivisionFn
RealNumber
and 16.0 and
PoundMass
(<=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
potentialOfHydrogen
?SOLUTION ?PH))
Geography.kif 2551-2554
measure
Solution
and
MeasureFn
RealNumber
and
PHValue
potentialOfHydrogen
Solution
and
RealNumber
(<=>
(
sectorValueOfGDPInPeriod
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT) ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
sectorValueOfGDP
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT))))))
Economy.kif 1124-1132
sectorValueOfGDPInPeriod
GeopoliticalArea
,
IndustryAttribute
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
sectorValueOfGDP
GeopoliticalArea
,
IndustryAttribute
and
MeasureFn
RealNumber
and
UnitOfMeasure
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7508-7523
amount
Substance
,
CorpuscularObject
and
MeasureFn
RealNumber
and
UnitOfMass
instance
Substance
I and
Substance
measure
Substance
I and
MeasureFn
RealNumber
and
UnitOfMass
part
Substance
I and
CorpuscularObject
List
inList
MeasureFn
RealNumber
and
UnitOfMass
and
List
equal
List
and
AmountsFn
Substance
,
CorpuscularObject
and
UnitOfMass
equal
RealNumber
and
ListSumFn
List
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLenght
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17419-17430
approximateDiameter
SelfConnectedObject
and
MeasureFn
RealNumber
and
RealNumber
M
sphereRadius
Object
and
MeasureFn
DivisionFn
RealNumber
and 2.0 and
RealNumber
M
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
SelfConnectedObject
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
RealNumber
M and
UnitOfLenght
instance
UnitOfMeasure
and
UnitOfVolume
equal
RealNumber
and
RealNumber
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
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 2679-2689
instance
Entity
and
Region
holdsDuring
TimePosition
and
property
Entity
and
StandardAmbientTemperaturePressure
holdsDuring
TimePosition
and
airTemperature
Entity
and
MeasureFn
298.15 and
KelvinDegree
barometricPressure
Entity
and
MeasureFn
29.530 and
InchMercury
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?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) ?Y)
(
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 383-416
instance
Year
and
YearFn
Year
EAR
equal
MaleLifeExpectancyAtBirthFn
GeopoliticalArea
and
Year
and
RealNumber
List
instance
List
and
List
instance
ListLengthFn
List
and
Integer
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM and
SymbolicString
Entity
instance
Entity
and
SymbolicString
inList
Entity
and
List
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
entity
and
Birth
experiencer
entity
and
entity
instance
entity
and
Human
attribute
entity
and
Male
during
WhenFn
entity
and
Year
equal
WhereFn
entity
and
WhenFn
entity
and
GeopoliticalArea
instance
entity
and
Death
experiencer
entity
and
entity
holdsDuring
WhenFn
entity
and
age
entity
and
MeasureFn
SymbolicString
and
YearDuration
average
List
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?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) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 264-290
instance
Year
and
YearFn
Integer
equal
DeathsPerThousandLiveBirthsFn
GeopoliticalArea
and
Year
and
RealNumber
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Birth
experiencer
SymbolicString
and
entity
instance
entity
and
Human
during
WhenFn
SymbolicString
and
Year
equal
WhereFn
SymbolicString
and
WhenFn
SymbolicString
and
GeopoliticalArea
equal
DivisionFn
Integer
and 1000 and
RealNumber
equal
entity
DEATHCOUNT and
CardinalityFn
KappaFn
SymbolicString
and
instance
SymbolicString
and
Death
experiencer
SymbolicString
and
entity
instance
entity
and
Human
age
entity
and
MeasureFn
entity
and
YearDuration
lessThan
entity
and 1
during
WhenFn
SymbolicString
and
Year
equal
WhereFn
SymbolicString
and
WhenFn
SymbolicString
and
GeopoliticalArea
equal
DivisionFn
entity
DEATHCOUNT and
RealNumber
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?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) ?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 429-462
instance
Year
and
YearFn
Integer
equal
FemaleLifeExpectancyAtBirthFn
GeopoliticalArea
and
Year
and
RealNumber
List
instance
List
and
List
instance
ListLengthFn
List
and
Integer
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM and
SymbolicString
Entity
instance
Entity
and
SymbolicString
inList
Entity
and
List
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
entity
and
Birth
experiencer
entity
and
entity
instance
entity
and
Human
attribute
entity
and
Female
during
WhenFn
entity
and
Year
equal
WhereFn
entity
and
WhenFn
entity
and
GeopoliticalArea
instance
entity
and
Death
experiencer
entity
and
entity
holdsDuring
WhenFn
entity
and
age
entity
and
MeasureFn
SymbolicString
and
YearDuration
average
List
and
RealNumber
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?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) ?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 336-368
instance
Year
and
YearFn
Integer
equal
LifeExpectancyAtBirthFn
GeopoliticalArea
and
Year
and
RealNumber
List
instance
List
and
List
instance
ListLengthFn
List
and
Integer
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM and
SymbolicString
Entity
instance
Entity
and
SymbolicString
inList
Entity
and
List
equal
Integer
and
CardinalityFn
KappaFn
SymbolicString
and
instance
entity
and
Birth
experiencer
entity
and
entity
instance
entity
and
Human
during
WhenFn
entity
and
Year
equal
WhereFn
entity
and
WhenFn
entity
and
GeopoliticalArea
instance
entity
and
Death
experiencer
entity
and
entity
holdsDuring
WhenFn
entity
and
age
entity
and
MeasureFn
SymbolicString
and
YearDuration
average
List
and
RealNumber
(<=>
(
attribute
?WATER
OpenSea
)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0)))
Geography.kif 4610-4618
attribute
Object
and
OpenSea
instance
Object
and
SaltWaterArea
instance
Object
and
LandlockedWater
distance
Physical
,
Object
and
MeasureFn
RealNumber
and
NauticalMile
greaterThan
RealNumber
and 5.0
(<=>
(
compressionRatio
?E ?R)
(
and
(
minCylinderVolume
?E
(
MeasureFn
?MIN ?M))
(
maxCylinderVolume
?E
(
MeasureFn
?MAX ?M))
(
equal
?R
(
DivisionFn
?MIN ?MAX))))
Cars.kif 1928-1933
compressionRatio
Engine
and
RealNumber
minCylinderVolume
Engine
and
MeasureFn
RealNumber
and
UnitOfMeasure
maxCylinderVolume
Engine
and
MeasureFn
UnitOfMeasure
AX and
UnitOfMeasure
equal
RealNumber
and
DivisionFn
RealNumber
and
UnitOfMeasure
AX
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1701-1707
equal
FunctionQuantity
and
MeasureFn
RealNumber
and
MilesPerHour
equal
FunctionQuantity
and
SpeedFn
MeasureFn
RealNumber
and
Mile
and
MeasureFn
1 and
HourDuration
(<=>
(
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 7670-7678
larger
Object
and
Object
RealNumber
RealNumber
and
UnitOfMeasure
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfLength
greaterThan
RealNumber
and
RealNumber
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13124-13130
measure
Physical
and
MeasureFn
RealNumber
and
MetricTon
measure
Physical
and
MeasureFn
MultiplicationFn
RealNumber
and 2205.0 and
PoundMass
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
measure
Physical
and
MeasureFn
RealNumber
and
AngularDegree
measure
Physical
and
MeasureFn
MultiplicationFn
60.0 and
RealNumber
and
ArcMinute
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
measure
Physical
and
MeasureFn
RealNumber
and
ArcMinute
measure
Physical
and
MeasureFn
MultiplicationFn
60.0 and
RealNumber
and
ArcSecond
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 12846-12851
measure
Physical
and
MeasureFn
RealNumber
and
OunceMass
measure
Physical
and
MeasureFn
DivisionFn
RealNumber
and 16.0 and
PoundMass
(<=>
(
sectorValueOfGDPInPeriod
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT) ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
sectorValueOfGDP
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT))))))
Economy.kif 1124-1132
sectorValueOfGDPInPeriod
GeopoliticalArea
,
IndustryAttribute
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
TimeInterval
TimePosition
instance
TimePosition
and
TimeInterval
holdsDuring
TimePosition
and
sectorValueOfGDP
GeopoliticalArea
,
IndustryAttribute
and
MeasureFn
RealNumber
and
UnitOfMeasure
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7508-7523
amount
Substance
,
CorpuscularObject
and
MeasureFn
RealNumber
and
UnitOfMass
instance
Substance
I and
Substance
measure
Substance
I and
MeasureFn
RealNumber
and
UnitOfMass
part
Substance
I and
CorpuscularObject
List
inList
MeasureFn
RealNumber
and
UnitOfMass
and
List
equal
List
and
AmountsFn
Substance
,
CorpuscularObject
and
UnitOfMass
equal
RealNumber
and
ListSumFn
List
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2083-2093
arableLandArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
greaterThanOrEqualTo
RealNumber
and 0.0
totalArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
RealNumber
and
AreaMeasure
equal
RealNumber
and
MultiplicationFn
RealNumber
and
RealNumber
arableLandArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.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 2095-2109
arableLandArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
greaterThanOrEqualTo
RealNumber
and 0.0
totalArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfArea
GeographicArea
instance
GeographicArea
and
ArableLand
geographicSubregion
GeographicArea
and
GeographicArea
measure
GeographicArea
and
MeasureFn
MultiplicationFn
RealNumber
and
RealNumber
and
UnitOfMeasure
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 193-212
attribute
Agent
and
Muslim
equal
WealthFn
Agent
and
CurrencyMeasure
modalAttribute
entity
entity
and
entity
instance
entity
and
Zakat
instance
entity
and
Year
during
entity
and
WhenFn
Agent
holdsDuring
entity
and
attribute
Agent
and
FullyFormed
agent
entity
and
Agent
patient
entity
and
entity
monetaryValue
entity
and
MeasureFn
entity
and
entity
instance
entity
and
UnitOfCurrency
greaterThan
entity
and
MultiplicationFn
CurrencyMeasure
and 0.025 and
Obligation
(=>
(
and
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18163-18172
attribute
Position
and
CollegeFreshman
occupiesPosition
Human
,
Position
and
Organization
RealNumber
holdsDuring
MeasureFn
RealNumber
and
YearDuration
and
student
Human
and
Organization
lessThan
RealNumber
and 1
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18178-18188
attribute
Position
and
CollegeJunior
occupiesPosition
Human
,
Position
and
Organization
RealNumber
holdsDuring
MeasureFn
RealNumber
and
YearDuration
and
student
Human
and
Organization
greaterThanOrEqualTo
RealNumber
and 2
lessThan
RealNumber
and 3
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18194-18204
attribute
Position
and
CollegeSenior
occupiesPosition
Human
,
Position
and
Organization
RealNumber
holdsDuring
MeasureFn
RealNumber
and
YearDuration
and
student
Human
and
Organization
greaterThanOrEqualTo
RealNumber
and 3
lessThan
RealNumber
and 4
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18210-18220
attribute
Position
and
CollegeSophomore
occupiesPosition
Human
,
Position
and
Organization
RealNumber
holdsDuring
MeasureFn
RealNumber
and
YearDuration
and
student
Human
and
Organization
greaterThanOrEqualTo
RealNumber
and 1
lessThan
RealNumber
and 2
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
attribute
Object
and
Oversized
immediateInstance
Object
and
Class
subclass
Class
and
HotelUnit
Physical
RealNumber
,
RealNumber
and
UnitOfMeasure
immediateInstance
Physical
and
Class
instance
UnitOfMeasure
and
UnitOfArea
measure
Physical
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
RealNumber
and
AreaMeasure
instance
RealNumber
and
AreaMeasure
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1129-1149
citizen
Human
and
Nation
subProposition
UniversalSuffrageLaw
and
RegionalLawFn
Nation
confersRight
entity
entity
and
entity
citizen
Human
and
Nation
suffrageAgeMinimum
Nation
and
MeasureFn
entity
and
YearDuration
age
Human
and
MeasureFn
entity
and
YearDuration
greaterThanOrEqualTo
entity
and
entity
instance
entity
and
ElectionFn
Nation
entity
instance
entity
and
VotingFn
entity
agent
entity
and
Human
,
RegionalLawFn
Nation
and
Human
(=>
(
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 666-676
comparativeArea
GeographicArea
,
BinaryRelationExtendedToQuantities
,
PositiveRealNumber
and
GeographicArea
instance
UnitOfMeasure
and
UnitOfArea
measure
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
BinaryRelationExtendedToQuantities
MeasureFn
RealNumber
and
UnitOfMeasure
and
MeasureFn
MultiplicationFn
PositiveRealNumber
and
RealNumber
and
UnitOfMeasure
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
boilingPoint
Actinium
(
MeasureFn
3470.0
KelvinDegree
))
Mid-level-ontology.kif 28844-28844
boilingPoint
Actinium
and
MeasureFn
3470.0 and
KelvinDegree
(
boilingPoint
Aluminum
(
MeasureFn
2740.0
KelvinDegree
))
Mid-level-ontology.kif 28692-28692
boilingPoint
Aluminum
and
MeasureFn
2740.0 and
KelvinDegree
(
boilingPoint
Americium
(
MeasureFn
2880.0
KelvinDegree
))
Mid-level-ontology.kif 28856-28856
boilingPoint
Americium
and
MeasureFn
2880.0 and
KelvinDegree
(
boilingPoint
Antimony
(
MeasureFn
2023.0
KelvinDegree
))
Mid-level-ontology.kif 28768-28768
boilingPoint
Antimony
and
MeasureFn
2023.0 and
KelvinDegree
(
boilingPoint
Argon
(
MeasureFn
87.29
KelvinDegree
))
Mid-level-ontology.kif 28702-28702
boilingPoint
Argon
and
MeasureFn
87.29 and
KelvinDegree
(
boilingPoint
Arsenic
(
MeasureFn
886.0
KelvinDegree
))
Mid-level-ontology.kif 28732-28732
boilingPoint
Arsenic
and
MeasureFn
886.0 and
KelvinDegree
(
boilingPoint
Astatine
(
MeasureFn
610.0
KelvinDegree
))
Mid-level-ontology.kif 28836-28836
boilingPoint
Astatine
and
MeasureFn
610.0 and
KelvinDegree
(
boilingPoint
Barium
(
MeasureFn
1913.0
KelvinDegree
))
Mid-level-ontology.kif 28778-28778
boilingPoint
Barium
and
MeasureFn
1913.0 and
KelvinDegree
(
boilingPoint
Beryllium
(
MeasureFn
3243.0
KelvinDegree
))
Mid-level-ontology.kif 28674-28674
boilingPoint
Beryllium
and
MeasureFn
3243.0 and
KelvinDegree
(
boilingPoint
Bismuth
(
MeasureFn
1833.0
KelvinDegree
))
Mid-level-ontology.kif 28832-28832
boilingPoint
Bismuth
and
MeasureFn
1833.0 and
KelvinDegree
(
boilingPoint
Boron
(
MeasureFn
2823.0
KelvinDegree
))
Mid-level-ontology.kif 28676-28676
boilingPoint
Boron
and
MeasureFn
2823.0 and
KelvinDegree
(
boilingPoint
Bromine
(
MeasureFn
331.93
KelvinDegree
))
Mid-level-ontology.kif 28736-28736
boilingPoint
Bromine
and
MeasureFn
331.93 and
KelvinDegree
(
boilingPoint
Cadmium
(
MeasureFn
1038.0
KelvinDegree
))
Mid-level-ontology.kif 28762-28762
boilingPoint
Cadmium
and
MeasureFn
1038.0 and
KelvinDegree
(
boilingPoint
Caesium
(
MeasureFn
963.0
KelvinDegree
))
Mid-level-ontology.kif 28776-28776
boilingPoint
Caesium
and
MeasureFn
963.0 and
KelvinDegree
(
boilingPoint
Calcium
(
MeasureFn
1760.0
KelvinDegree
))
Mid-level-ontology.kif 28706-28706
boilingPoint
Calcium
and
MeasureFn
1760.0 and
KelvinDegree
(
boilingPoint
Carbon
(
MeasureFn
5100.0
KelvinDegree
))
Mid-level-ontology.kif 28678-28678
boilingPoint
Carbon
and
MeasureFn
5100.0 and
KelvinDegree
(
boilingPoint
Cerium
(
MeasureFn
3530.0
KelvinDegree
))
Mid-level-ontology.kif 28782-28782
boilingPoint
Cerium
and
MeasureFn
3530.0 and
KelvinDegree
(
boilingPoint
Chlorine
(
MeasureFn
238.55
KelvinDegree
))
Mid-level-ontology.kif 28700-28700
boilingPoint
Chlorine
and
MeasureFn
238.55 and
KelvinDegree
(
boilingPoint
Chromium
(
MeasureFn
2755.0
KelvinDegree
))
Mid-level-ontology.kif 28714-28714
boilingPoint
Chromium
and
MeasureFn
2755.0 and
KelvinDegree
(
boilingPoint
Cobalt
(
MeasureFn
3143.0
KelvinDegree
))
Mid-level-ontology.kif 28720-28720
boilingPoint
Cobalt
and
MeasureFn
3143.0 and
KelvinDegree
(
boilingPoint
Copper
(
MeasureFn
2868.0
KelvinDegree
))
Mid-level-ontology.kif 28724-28724
boilingPoint
Copper
and
MeasureFn
2868.0 and
KelvinDegree
(
boilingPoint
Dysprosium
(
MeasureFn
2608.0
KelvinDegree
))
Mid-level-ontology.kif 28798-28798
boilingPoint
Dysprosium
and
MeasureFn
2608.0 and
KelvinDegree
(
boilingPoint
Erbium
(
MeasureFn
2783.0
KelvinDegree
))
Mid-level-ontology.kif 28802-28802
boilingPoint
Erbium
and
MeasureFn
2783.0 and
KelvinDegree
(
boilingPoint
Europium
(
MeasureFn
1870.0
KelvinDegree
))
Mid-level-ontology.kif 28792-28792
boilingPoint
Europium
and
MeasureFn
1870.0 and
KelvinDegree
(
boilingPoint
Fluorine
(
MeasureFn
85.01
KelvinDegree
))
Mid-level-ontology.kif 28684-28684
boilingPoint
Fluorine
and
MeasureFn
85.01 and
KelvinDegree
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