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
measure
Sigma KEE - measure
measure
appearance as argument number 1
(
documentation
measure
ChineseLanguage
"这是一个非常概括的
Predicate
, 它用于断言一个特定的
Object
是由一种特定的
PhysicalQuantity
来量度。一般来说,这个
Predicate
的第二个参数会是由
Function
MeasureFn
所产生的术语。")
chinese_format.kif 2632-2634
(
documentation
measure
EnglishLanguage
"A very general
Predicate
for asserting that a particular
Physical
is measured by a particular
PhysicalQuantity
. In general, the second argument of this
Predicate
will be a term produced with the
Function
MeasureFn
.")
Merge.kif 7472-7475
(
domain
measure
1
Physical
)
Merge.kif 7469-7469
domain
measure
, 1 and
Physical
(
domain
measure
2
PhysicalQuantity
)
Merge.kif 7470-7470
domain
measure
, 2 and
PhysicalQuantity
(
instance
measure
AsymmetricRelation
)
Merge.kif 7468-7468
instance
measure
and
AsymmetricRelation
(
instance
measure
BinaryPredicate
)
Merge.kif 7467-7467
instance
measure
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
measure
"%1 的
measure
%n 是 %2")
chinese_format.kif 607-607
(
format
EnglishLanguage
measure
"the
measure
of %1 is %n %2")
english_format.kif 610-610
(
subrelation
absorbedDose
measure
)
MilitaryProcesses.kif 868-868
subrelation
absorbedDose
and
measure
(
subrelation
age
measure
)
Merge.kif 7484-7484
subrelation
age
and
measure
(
subrelation
airTemperature
measure
)
Mid-level-ontology.kif 25584-25584
subrelation
airTemperature
and
measure
(
subrelation
barometricPressure
measure
)
Merge.kif 7782-7782
subrelation
barometricPressure
and
measure
(
subrelation
effectiveRange
measure
)
Mid-level-ontology.kif 1353-1353
subrelation
effectiveRange
and
measure
(
subrelation
fleetDeadWeightTonnage
measure
)
Transportation.kif 1005-1005
subrelation
fleetDeadWeightTonnage
and
measure
(
subrelation
fleetGrossRegisteredTonnage
measure
)
Transportation.kif 987-987
subrelation
fleetGrossRegisteredTonnage
and
measure
(
subrelation
linearExtent
measure
)
Merge.kif 7497-7497
subrelation
linearExtent
and
measure
(
subrelation
loudness
measure
)
Mid-level-ontology.kif 13574-13574
subrelation
loudness
and
measure
(
subrelation
memorySize
measure
)
QoSontology.kif 1660-1660
subrelation
memorySize
and
measure
(
subrelation
phMeasure
measure
)
Mid-level-ontology.kif 9793-9793
subrelation
phMeasure
and
measure
(
subrelation
significantWaveHeight
measure
)
Weather.kif 1528-1528
subrelation
significantWaveHeight
and
measure
(
subrelation
trackWidth
measure
)
Transportation.kif 393-393
subrelation
trackWidth
and
measure
(
subrelation
vesselDisplacement
measure
)
Transportation.kif 2526-2526
subrelation
vesselDisplacement
and
measure
(
subrelation
weight
measure
)
Merge.kif 7254-7254
subrelation
weight
and
measure
(
termFormat
ChineseLanguage
measure
"测量")
domainEnglishFormat.kif 36643-36643
(
termFormat
ChineseLanguage
measure
"计量")
chinese_format.kif 608-608
(
termFormat
ChineseTraditionalLanguage
measure
"測量")
domainEnglishFormat.kif 36642-36642
(
termFormat
EnglishLanguage
measure
"measure")
domainEnglishFormat.kif 36641-36641
antecedent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13452-13458
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 13174-13179
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 2553-2556
measure
Solution
and
MeasureFn
RealNumber
and
PHValue
potentialOfHydrogen
Solution
and
RealNumber
(=>
(
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 7563-7578
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
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17768-17779
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
UnitOfLength
instance
UnitOfMeasure
and
UnitOfVolume
equal
RealNumber
and
RealNumber
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
attribute
Object
and
FamilyStylePortion
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
attribute
Object
and
FamilyStylePortion
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
Object
and
Class
instance
Object
and
Class
instance
UnitOfMeasure
and
UnitOfMeasure
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2022-2043
attribute
FinancialTransaction
and
LimitOrder
partyToAgreement
FinancialTransaction
and
Agreement
attribute
Agreement
and
Broker
orderFor
FinancialTransaction
,
Buying
and
Security
measure
Security
and
PhysicalQuantity
limitPrice
FinancialTransaction
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfCurrency
askPrice
Security
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
AutonomousAgent
lessThanOrEqualTo
RealNumber
and
RealNumber
holdsObligation
KappaFn
SymbolicString
and
instance
SymbolicString
and
Buying
patient
SymbolicString
and
Security
measure
Security
and
PhysicalQuantity
equal
WhenFn
SymbolicString
and
SymbolicString
ingTime
overlapsTemporally
AutonomousAgent
and
SymbolicString
ingTime and
Agreement
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2045-2066
attribute
FinancialTransaction
and
LimitOrder
partyToAgreement
FinancialTransaction
and
Agreement
attribute
Agreement
and
Broker
orderFor
FinancialTransaction
,
Selling
and
Security
measure
Security
and
PhysicalQuantity
limitPrice
FinancialTransaction
and
MeasureFn
RealNumber
and
UnitOfMeasure
bidPrice
Security
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
AutonomousAgent
instance
UnitOfMeasure
and
UnitOfCurrency
greaterThanOrEqualTo
RealNumber
and
RealNumber
holdsObligation
KappaFn
SymbolicString
and
instance
SymbolicString
and
Selling
patient
SymbolicString
and
Security
measure
Security
and
PhysicalQuantity
equal
WhenFn
SymbolicString
and
SymbolicString
ingTime
overlapsTemporally
SymbolicString
ingTime and
AutonomousAgent
and
Agreement
(=>
(
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 13700-13713
boilingPoint
PureSubstance
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
Entity
and
PureSubstance
holdsDuring
TimeInterval
and
measure
Entity
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfTemperature
greaterThanOrEqualTo
RealNumber
and
RealNumber
holdsDuring
TimeInterval
and
attribute
Entity
and
Gas
Process
overlapsTemporally
WhenFn
Process
and
TimeInterval
instance
Process
and
Boiling
patient
Process
and
Entity
(=>
(
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
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
MeasureFn
RealNumber
and
MilesPerHour
and
TimeDuration
instance
Object
and
Automobile
instance
Process
and
GasPedal
instance
Process
and
Pushing
destination
Process
and
Object
part
InternalCombustionEngine
and
Object
part
Object
and
Object
instance
Object
and
Crankshaft
part
Object
and
InternalCombustionEngine
holdsDuring
WhenFn
Process
and
measure
Object
and
RotationFn
MeasureFn
entity
and
MilesPerHour
and
TimeDuration
modalAttribute
greaterThan
entity
and
RealNumber
and
Likely
(=>
(
and
(
equal
?MEASURE
(
MeasureFn
?NUMBER
Rad
))
(
measure
?OBJ ?MEASURE))
(
absorbedDose
?OBJ ?MEASURE))
MilitaryProcesses.kif 862-866
equal
RadiationMeasure
and
MeasureFn
RealNumber
and
Rad
measure
Object
and
RadiationMeasure
absorbedDose
Object
and
RadiationMeasure
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
governorSpeed
SpeedGovernor
and
FunctionQuantity
equal
MeasureFn
RealNumber
and
MilesPerHour
and
SpeedFn
LengthMeasure
and
TimeDuration
equal
MeasureFn
RealNumber
and
MilesPerHour
and
SpeedFn
LengthMeasure
and
TimeDuration
greaterThan
RealNumber
and
RealNumber
equal
RealNumber
PROB and
ProbabilityFn
measure
SpeedGovernor
and
MeasureFn
RealNumber
and
MilesPerHour
equal
RealNumber
PROB and
ProbabilityFn
measure
SpeedGovernor
and
MeasureFn
RealNumber
and
MilesPerHour
greaterThan
RealNumber
PROB and
RealNumber
PROB
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
holdsDuring
TimePosition
and
measure
Object
and
FunctionQuantity
engineIdleSpeed
InternalCombustionEngine
and
FunctionQuantity
instance
Object
and
Automobile
part
InternalCombustionEngine
and
Object
part
Object
and
InternalCombustionEngine
modalAttribute
entity
entity
during
entity
and
TimePosition
instance
entity
and
Pushing
destination
entity
and
entity
part
entity
and
Object
and
Likely
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30578-30599
holdsDuring
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
holdsDuring
TimeInterval
and
attribute
AutonomousAgent
and
Dieting
instance
Object
and
Meal
instance
Process
and
Eating
agent
Process
and
AutonomousAgent
resource
Process
and
Object
during
WhenFn
Process
and
TimeInterval
measure
Object
and
MeasureFn
RealNumber
and
Calorie
instance
Object
and
Meal
instance
Process
and
Eating
agent
Process
and
AutonomousAgent
resource
Process
and
Object
during
WhenFn
Process
and
TimeInterval
measure
Object
and
MeasureFn
RealNumber
and
Calorie
modalAttribute
greaterThan
RealNumber
and
RealNumber
and
Likely
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13690-13698
instance
Process
and
Boiling
boilingPoint
PureSubstance
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
Entity
and
PureSubstance
patient
Process
and
Entity
holdsDuring
WhenFn
Process
and
measure
Entity
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfTemperature
greaterThanOrEqualTo
RealNumber
and
RealNumber
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4081-4113
instance
Object
and
BimetalTemperatureSensor
instance
Object
and
Metal
instance
Object
and
Metal
equal
Object
and
Object
part
Object
and
Object
part
Object
and
Object
instance
Entity
and
TemperatureMeasure
instance
Entity
and
TemperatureMeasure
instance
RealNumber
and
LengthMeasure
instance
RealNumber
and
LengthMeasure
instance
RealNumber
and
LengthMeasure
instance
RealNumber
and
LengthMeasure
equal
Entity
and
Entity
equal
TimePosition
and
TimePosition
holdsDuring
TimePosition
and
measure
Object
and
Entity
measure
Object
and
RealNumber
measure
Object
and
RealNumber
holdsDuring
TimePosition
and
measure
Object
and
Entity
measure
Object
and
RealNumber
measure
Object
and
RealNumber
equal
DivisionFn
RealNumber
and
RealNumber
and
DivisionFn
RealNumber
and
RealNumber
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
VolumeMeasure
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 9984-10007
instance
Object
and
Antidiuretic
instance
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
moves
Motion
and
Object
instance
TimeInterval
and
Urination
result
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
instance
TimeInterval
and
Urination
equal
TimeInterval
and
TimeInterval
result
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
earlier
TimeInterval
and
Motion
earlier
Motion
and
TimeInterval
instance
UnitOfMeasure
and
VolumeMeasure
measure
TimeInterval
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
TimeInterval
and
MeasureFn
RealNumber
and
UnitOfMeasure
modalAttribute
greaterThan
RealNumber
and
RealNumber
and
Likely
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
VolumeMeasure
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 9954-9975
instance
Object
and
Diuretic
instance
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
moves
Motion
and
Object
instance
TimeInterval
and
Urination
result
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
instance
TimeInterval
and
Urination
result
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
earlier
TimeInterval
and
Motion
earlier
Motion
and
TimeInterval
instance
UnitOfMeasure
and
VolumeMeasure
measure
TimeInterval
and
MeasureFn
RealNumber
and
UnitOfMeasure
measure
TimeInterval
and
MeasureFn
RealNumber
and
UnitOfMeasure
modalAttribute
greaterThan
RealNumber
and
RealNumber
and
Likely
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 6716-6730
instance
Process
and
Deposition
patient
Process
and
Entity
holdsDuring
ImmediatePastFn
WhenFn
Process
and
measure
Entity
and
MeasureFn
RealNumber
and
Joule
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
measure
Entity
and
MeasureFn
RealNumber
and
Joule
lessThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
instance
Object
and
InternalCombustionEngine
instance
Object
and
CombustionChamber
part
Object
and
Object
instance
Entity
and
Fuel
instance
Entity
and
UnitOfVolume
holdsDuring
TimePosition
and
Object
は
Entity
を
contain
s %n{ない}
measure
Entity
and
MeasureFn
entity
and
Entity
attribute
Object
and
EngineFlooded
hasPurpose
Object
and
Entity
2
entity
instance
Entity
2 and
Fuel
Object
は
Entity
2 を
contain
s %n{ない}
measure
Entity
2 and
MeasureFn
entity
and
Entity
greaterThanOrEqualTo
entity
and
entity
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
instance
Entity
and
EngineChoke
holdsDuring
Process
and
attribute
Entity
and
DeviceOn
holdsDuring
Process
and
attribute
Entity
and
DeviceOff
instance
SelfConnectedObject
and
EngineCylinder
capacity
SelfConnectedObject
and
ConstantQuantity
instance
Process
and
FourStrokeCompression
instance
Process
and
FourStrokeCompression
eventLocated
Process
and
SelfConnectedObject
eventLocated
Process
and
SelfConnectedObject
instance
Object
and
Air
instance
Object
and
Fuel
part
Object
and
ConstantQuantity
IX1
part
Object
and
ConstantQuantity
IX1
measure
ConstantQuantity
IX1 and
ConstantQuantity
instance
Object
and
Air
instance
Object
and
Fuel
part
Object
and
ConstantQuantity
IX2
part
Object
and
ConstantQuantity
IX2
measure
ConstantQuantity
IX2 and
ConstantQuantity
instance
UnitOfMeasure
and
UnitOfMeasure
measure
Object
and
MeasureFn
Object
M and
UnitOfMeasure
measure
Object
and
MeasureFn
Object
M and
UnitOfMeasure
measure
Object
and
MeasureFn
Object
M and
UnitOfMeasure
measure
Object
and
MeasureFn
Object
M and
UnitOfMeasure
greaterThan
DivisionFn
Object
M and
Object
M and
DivisionFn
Object
M and
Object
M
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?CLASS
(
MeasureFn
?BOILVAL ?MEAS))
(
instance
?OBJ ?CLASS)
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 13812-13825
instance
Process
and
Evaporating
boilingPoint
PureSubstance
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
Object
and
PureSubstance
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfTemperature
patient
Process
and
Object
Object
part
Object
and
Object
greaterThan
RealNumber
and
RealNumber
holdsDuring
BeginFn
WhenFn
Process
and
attribute
Object
and
Liquid
holdsDuring
EndFn
WhenFn
Process
and
attribute
Object
and
Gas
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
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 7725-7733
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 13452-13458
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 13174-13179
measure
Physical
and
MeasureFn
RealNumber
and
OunceMass
measure
Physical
and
MeasureFn
DivisionFn
RealNumber
and 16.0 and
PoundMass
(=>
(
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 2097-2111
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
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2022-2043
attribute
FinancialTransaction
and
LimitOrder
partyToAgreement
FinancialTransaction
and
Agreement
attribute
Agreement
and
Broker
orderFor
FinancialTransaction
,
Buying
and
Security
measure
Security
and
PhysicalQuantity
limitPrice
FinancialTransaction
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfCurrency
askPrice
Security
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
AutonomousAgent
lessThanOrEqualTo
RealNumber
and
RealNumber
holdsObligation
KappaFn
SymbolicString
and
instance
SymbolicString
and
Buying
patient
SymbolicString
and
Security
measure
Security
and
PhysicalQuantity
equal
WhenFn
SymbolicString
and
SymbolicString
ingTime
overlapsTemporally
AutonomousAgent
and
SymbolicString
ingTime and
Agreement
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2045-2066
attribute
FinancialTransaction
and
LimitOrder
partyToAgreement
FinancialTransaction
and
Agreement
attribute
Agreement
and
Broker
orderFor
FinancialTransaction
,
Selling
and
Security
measure
Security
and
PhysicalQuantity
limitPrice
FinancialTransaction
and
MeasureFn
RealNumber
and
UnitOfMeasure
bidPrice
Security
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
AutonomousAgent
instance
UnitOfMeasure
and
UnitOfCurrency
greaterThanOrEqualTo
RealNumber
and
RealNumber
holdsObligation
KappaFn
SymbolicString
and
instance
SymbolicString
and
Selling
patient
SymbolicString
and
Security
measure
Security
and
PhysicalQuantity
equal
WhenFn
SymbolicString
and
SymbolicString
ingTime
overlapsTemporally
SymbolicString
ingTime and
AutonomousAgent
and
Agreement
(=>
(
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
(
attribute
?X ?Y)
(
instance
?Y
TemperatureAttribute
)
(
instance
?X
Object
))
(
exists
(?TEMP)
(
and
(
measure
?X ?TEMP)
(
instance
?TEMP
TemperatureMeasure
)
(
attribute
?TEMP ?Y))))
Mid-level-ontology.kif 25596-25605
attribute
Object
and
Attribute
instance
Attribute
and
TemperatureAttribute
instance
Object
and
Object
Object
measure
Object
and
Object
instance
Object
and
TemperatureMeasure
attribute
Object
and
Attribute
(=>
(
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 13383-13392
defaultMaximumMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
CompositeUnitOfMeasure
modalAttribute
entity
RealNumber
UANTITY
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
UnitOfMeasure
greaterThan
RealNumber
UANTITY and
RealNumber
and
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 13394-13405
defaultMaximumMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
subclass
Class
and
NonCompositeUnitOfMeasure
instance
UnitOfMeasure
and
Class
modalAttribute
entity
RealNumber
UANTITY and
entity
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
entity
instance
entity
and
Class
greaterThan
MeasureFn
RealNumber
UANTITY and
entity
and
MeasureFn
RealNumber
and
UnitOfMeasure
and
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 13413-13422
defaultMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
CompositeUnitOfMeasure
modalAttribute
entity
RealNumber
UANTITY
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
UnitOfMeasure
greaterThan
RealNumber
UANTITY and
MultiplicationFn
RealNumber
and 1.5 and
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 13424-13433
defaultMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
CompositeUnitOfMeasure
modalAttribute
entity
RealNumber
UANTITY
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
UnitOfMeasure
lessThan
RealNumber
UANTITY and
MultiplicationFn
RealNumber
and .5 and
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 13352-13361
defaultMinimumMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
CompositeUnitOfMeasure
modalAttribute
entity
RealNumber
UANTITY
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
UnitOfMeasure
lessThan
RealNumber
UANTITY and
RealNumber
and
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?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)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13363-13374
defaultMinimumMeasure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
subclass
Class
and
NonCompositeUnitOfMeasure
instance
UnitOfMeasure
and
Class
modalAttribute
entity
RealNumber
UANTITY and
entity
instance
entity
and
Object
measure
entity
and
MeasureFn
RealNumber
UANTITY and
entity
instance
entity
and
Class
lessThan
RealNumber
UANTITY and
RealNumber
and
Unlikely
(=>
(
and
(
graphMeasure
?G ?M)
(
instance
?AN
GraphNode
)
(
graphPart
?AN ?G)
(
graphPart
?AA ?G)
(
instance
?AA
GraphArc
)
(
abstractCounterpart
?AN ?PN)
(
abstractCounterpart
?AA ?PA)
(
arcWeight
?AA ?N))
(
measure
?PA
(
MeasureFn
?N ?M)))
Merge.kif 6132-6143
graphMeasure
Graph
and
UnitOfMeasure
instance
GraphElement
and
GraphNode
graphPart
GraphElement
and
Graph
graphPart
GraphArc
and
Graph
instance
GraphArc
and
GraphArc
abstractCounterpart
GraphElement
and
Physical
abstractCounterpart
GraphArc
and
Physical
arcWeight
GraphArc
and
RealNumber
measure
Physical
and
MeasureFn
RealNumber
and
UnitOfMeasure
(=>
(
and
(
immediateInstance
?BIG ?CLASS)
(
immediateInstance
?NORMAL ?CLASS)
(
attribute
?BIG
Oversized
))
(
exists
(?BIGSIZE ?NORMALSIZE ?U)
(
and
(
instance
?U
UnitOfMeasure
)
(
measure
?BIG
(
MeasureFn
?BIGSIZE ?U))
(
measure
?NORMAL
(
MeasureFn
?NORMALSIZE ?U))
(
greaterThan
?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1172-1184
immediateInstance
Object
and
Class
immediateInstance
Physical
and
Class
attribute
Object
and
Oversized
Object
SIZE
Physical
SIZE and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfMeasure
measure
Object
and
MeasureFn
Object
SIZE and
UnitOfMeasure
measure
Physical
and
MeasureFn
Physical
SIZE and
UnitOfMeasure
greaterThan
Object
SIZE and
Physical
SIZE
(=>
(
and
(
immediateInstance
?X ?CLASS)
(
immediateInstance
?Y ?CLASS)
(
attribute
?X
ColdTemperature
)
(
attribute
?Y
HotTemperature
))
(
exists
(?TEMPX ?TEMPY ?UNIT)
(
and
(
measure
?X
(
MeasureFn
?TEMPX ?UNIT))
(
instance
?UNIT
UnitOfTemperature
)
(
instance
?TEMPX
TemperatureMeasure
)
(
measure
?Y
(
MeasureFn
?TEMPY ?UNIT))
(
instance
?TEMPY
TemperatureMeasure
)
(
greaterThan
?TEMPY ?TEMPX))))
Mid-level-ontology.kif 25631-25646
immediateInstance
Object
and
Class
immediateInstance
Object
and
Class
attribute
Object
and
ColdTemperature
attribute
Object
and
HotTemperature
RealNumber
RealNumber
and
UnitOfMeasure
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfTemperature
instance
RealNumber
and
TemperatureMeasure
measure
Object
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
RealNumber
and
TemperatureMeasure
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 16986-17007
instance
Process
and
Accelerating
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
holdsDuring
BeginFn
WhenFn
Process
and
measure
AutonomousAgent
and
SpeedFn
MeasureFn
RealNumber
and
entity
and
MeasureFn
RealNumber
and
entity
holdsDuring
EndFn
WhenFn
Process
and
measure
AutonomousAgent
and
SpeedFn
MeasureFn
RealNumber
and
entity
and
MeasureFn
RealNumber
and
entity
greaterThan
RealNumber
and
RealNumber
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?ATOM
Actinium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
227
Amu
)))
Mid-level-ontology.kif 28728-28732
instance
Physical
and
Actinium
instance
Physical
and
Atom
measure
Physical
and
MeasureFn
227 and
Amu
(=>
(
and
(
instance
?ATOM
Aluminum
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
26.9815
Amu
)))
Mid-level-ontology.kif 27394-27398
instance
Physical
and
Aluminum
instance
Physical
and
Atom
measure
Physical
and
MeasureFn
26.9815 and
Amu
(=>
(
and
(
instance
?ATOM
Americium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
243
Amu
)))
Mid-level-ontology.kif 28834-28838
instance
Physical
and
Americium
instance
Physical
and
Atom
measure
Physical
and
MeasureFn
243 and
Amu
(=>
(
and
(
instance
?ATOM
Antimony
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
121.75
Amu
)))
Mid-level-ontology.kif 28028-28032
instance
Physical
and
Antimony
instance
Physical
and
Atom
measure
Physical
and
MeasureFn
121.75 and
Amu
(=>
(
and
(
instance
?ATOM
Argon
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
39.948
Amu
)))
Mid-level-ontology.kif 27477-27481
instance
Physical
and
Argon
instance
Physical
and
Atom
measure
Physical
and
MeasureFn
39.948 and
Amu
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