ImmediatePastFn
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
物理
は
Iceberg
の
instance
では %n
クラス
クラス
は
Glacier
の
subclass
では %n
クラス
は
物理
で
made
%n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
(=>
(
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 10498-10510
物理
は
Clotting
の
instance
では %n
エンティティー
エンティティー
は
血
の
instance
では %n
Liquid
は
エンティティー
の
attribute
では %n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
Solid
は
エンティティー
の
attribute
では %n は
物理
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
物理
は
FindMyIPhone
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
iPhone
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
は
エンティティー
に
located
して %n を
know
ない は
エンティティー
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
は
エンティティー
は
エンティティー
に
located
して %n を
know
s %n{ない} は
エンティティー
の
time
の existence の すぐ
after
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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 3606-3622
物理
は
Inflating
の
instance
では %n
オブジェクト
オブジェクト
,
実数
,
実数
,
クラス
and
エンティティー
オブジェクト
は
クラス
の
instance
では %n
オブジェクト
は
クラス
の
instance
では %n
クラス
は
物質
の
instance
では %n
Gas
は
オブジェクト
の
attribute
では %n
Gas
は
オブジェクト
の
attribute
では %n
エンティティー
は
UnitOfVolume
の
instance
では %n
オブジェクト
の
measure
は
実数
の
エンティティー
(s) では %n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
の
measure
は
実数
の
エンティティー
(s) では %n は
物理
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8504-8506
時間位置
は
時間間隔
の
instance
では %n
時間位置
の immediately
before
は
時間位置
の
before
を
finish
es %n{ない}
(=>
(
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
エンティティー
は
Shrapnel
の
instance
では %n
オブジェクト
工程
オブジェクト
は
Bomb
の
instance
では %n
工程
は
Explosion
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
エンティティー
は
オブジェクト
の
part
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
part
では は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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 21904-21917
工程
は
Hijacking
の
instance
では %n
エンティティー
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
輸送機
の
instance
では %n
AutonomousAgent
は
エンティティー
を
possess
ない は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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 21960-21975
物理
は
Kidnapping
の
instance
では %n
エンティティー
エンティティー
and
エンティティー
エンティティー
は
意識[知覚]を持つ代理(人)
の
instance
では %n
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
エンティティー
に
located
して %n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
物理
の
time
の existence の
during
holds %n{ない}
(=>
(
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 11339-11350
objectTransferred
移動
and
オブジェクト
オブジェクト
エンティティー
移動
は
オブジェクト
から
originate
s %n{ない}
移動
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
オブジェクト
に
located
して %n は
移動
の immediately
before
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
移動
の すぐ
after
の
during
holds %n{ない}
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