ImmediatePastFn
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
例
Physical
and
冰山
Class
子類
Class
and
冰川
持有期間
不久的過去
何時
Physical
and
材料
Class
and
Physical
(=>
(
instance
?C
Clotting
)
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
attribute
?B
Liquid
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
attribute
?B
Solid
)))))
Mid-level-ontology.kif 10497-10509
例
Physical
and
Clotting
Entity
例
Entity
and
Blood
持有期間
不久的過去
何時
Physical
and
attribute
Entity
and
液體
持有期間
眼前的未來
何時
Physical
and
attribute
Entity
and
固體
(=>
(
instance
?FMIP
FindMyIPhone
)
(
hasPurpose
?FMIP
(
exists
(?A ?IP ?P ?L)
(
and
(
instance
?IP
AppleIPhone
)
(
instrument
?P ?FMIP)
(
agent
?P ?A)
(
patient
?P ?IP)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?P))
(
not
(
knows
?A
(
located
?IP ?L))))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
knows
?A
(
located
?IP ?L)))))))
ComputingBrands.kif 4263-4282
例
Physical
and
FindMyIPhone
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
iPhone
儀器
entity
and
Physical
agent
entity
and
entity
患者
entity
and
entity
持有期間
不久的過去
何時
entity
and
知道
entity
and
位於
entity
and
entity
持有期間
眼前的未來
何時
entity
and
知道
entity
and
位於
entity
and
entity
(=>
(
instance
?I
Inflating
)
(
exists
(?G1 ?G2 ?V1 ?V2 ?S ?U)
(
and
(
instance
?G1 ?S)
(
instance
?G2 ?S)
(
instance
?S
Substance
)
(
attribute
?G1
Gas
)
(
attribute
?G2
Gas
)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
measure
?G1
(
MeasureFn
?V1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
measure
?G2
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1))))
Cars.kif 3614-3630
例
Physical
and
Inflating
Object
Object
,
RealNumber
,
RealNumber
,
Class
and
Entity
例
Object
and
Class
例
Object
and
Class
例
Class
and
Substance
attribute
Object
and
加油站
attribute
Object
and
加油站
例
Entity
and
UnitOfVolume
持有期間
不久的過去
何時
Physical
and
測量
Object
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
何時
Physical
and
測量
Object
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8526-8528
例
TimePosition
and
TimeInterval
飾面
不久的過去
TimePosition
and
過去
TimePosition
(=>
(
instance
?S
Shrapnel
)
(
exists
(?B ?E)
(
and
(
instance
?B
Bomb
)
(
instance
?E
Explosion
)
(
instrument
?E ?B)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?E))
(
part
?S ?B))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?E))
(
not
(
part
?S ?B))))))
MilitaryDevices.kif 2103-2118
例
Entity
and
Shrapnel
Object
Process
例
Object
and
炸彈
例
Process
and
爆炸
儀器
Process
and
Object
持有期間
不久的過去
何時
Process
and
部分
Entity
and
Object
持有期間
眼前的未來
何時
Process
and
部分
Entity
and
Object
(=>
(
instance
?X
Hijacking
)
(
exists
(?V ?A)
(
and
(
agent
?X ?A)
(
instance
?V
TransportationDevice
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
not
(
possesses
?A ?V)))
(
holdsDuring
(
WhenFn
?X)
(
possesses
?A ?V)))))
Mid-level-ontology.kif 21903-21916
例
Process
and
劫持
Entity
AutonomousAgent
agent
Process
and
AutonomousAgent
例
Entity
and
TransportationDevice
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
Entity
持有期間
何時
Process
and
擁有
AutonomousAgent
and
Entity
(=>
(
instance
?X
Kidnapping
)
(
exists
(?A ?LOC1 ?LOC2)
(
and
(
instance
?A
SentientAgent
)
(
instance
?LOC1
GeographicArea
)
(
instance
?LOC2
GeographicArea
)
(
not
(
equal
?LOC1 ?LOC2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
located
?A ?LOC1))
(
holdsDuring
(
WhenFn
?X)
(
located
?A ?LOC2)))))
Mid-level-ontology.kif 21959-21974
例
Physical
and
綁架
Entity
Entity
and
Entity
例
Entity
and
SentientAgent
例
Entity
and
GeographicArea
例
Entity
and
GeographicArea
等於
Entity
and
Entity
持有期間
不久的過去
何時
Physical
and
位於
Entity
and
Entity
持有期間
何時
Physical
and
位於
Entity
and
Entity
(=>
(
objectTransferred
?P ?OBJ)
(
exists
(?O ?D)
(
and
(
origin
?P ?O)
(
destination
?P ?D)
(
holdsDuring
(
ImmediatePastFn
?P)
(
located
?OBJ ?O))
(
holdsDuring
(
ImmediateFutureFn
?P)
(
located
?OBJ ?D)))))
Merge.kif 11361-11372
objectTransferred
Transfer
and
Object
Object
Entity
起源
Transfer
and
Object
目的地
Transfer
and
Entity
持有期間
不久的過去
Transfer
and
位於
Object
and
Object
持有期間
眼前的未來
Transfer
and
位於
Object
and
Entity
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