ImmediateFutureFn
(=>
(
and
(
resourceExhausted
?P ?R)
(
instance
?R ?C))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
not
(
exists
(?OBJ1)
(
and
(
part
?OBJ1 ?R)
(
instance
?OBJ1 ?C))))))
Merge.kif 2537-2546
resourceExhausted
工程
and
オブジェクト
オブジェクト
は
クラス
の
instance
では %n
エンティティー
エンティティー
は
オブジェクト
の
part
では %n
エンティティー
は
クラス
の
instance
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
diseaseMedicine
病気または症候群
,
生物活性物質
and
工程
エンティティー
時間位置
,
エンティティー
and
エンティティー
病気または症候群
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
工程
の
instance
では %n
エンティティー
の
time
の existence は
時間位置
の
part
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
生物活性物質
の
instance
では %n は
病気または症候群
は
エンティティー
の
attribute
では は
時間位置
の すぐ
after
の
during
holds %n{ない} の 可能性を
increase
s %n{ない}
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
maxDeviceOperatingTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOn
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
greater
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
maxDeviceStorageTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOff
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
greater
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
minDeviceOperatingTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOn
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
less
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
minDeviceStorageTemp
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
UnitOfTemperature
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
DeviceOff
は
エンティティー
の
attribute
では %n
airTemperature
エンティティー
and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
less
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
DeviceDamaged
は
エンティティー
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
attribute
?H
Covid19
))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H)))
Likely
))
Medicine.kif 2798-2807
Covid19
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
は
COVIDAntibody
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
attribute
?H
Sleepy
))
(
desires
?H
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?H
Asleep
))))
Mid-level-ontology.kif 16434-16440
Sleepy
は
認識エージェント
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
認識エージェント
が
眠っている
は
認識エージェント
の
attribute
では %n は
時間位置
の すぐ
after
の
during
holds %n{ない} を
desire
s %n{ない}
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
Tourniquet
は
オブジェクト
の
attribute
では %n は
オブジェクト
IME の
during
holds %n{ない}
AutonomousAgent
工程
and
移動
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
Bleeding
の
instance
では %n
移動
は
取付け
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
移動
は
AutonomousAgent
に
end
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
工程
2
工程
2 は
Bleeding
の
instance
では %n
移動
の
time
の existence の すぐ
after
は
工程
2 の
time
の existence と
overlap
s %n{dない}
AutonomousAgent
が
工程
2 を
experience
s %n{ない} の 目的 %n{ない}
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4000-4010
confersNorm
エンティティー
,
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
には
エンティティー
の
modal
force
が ない %p{ある} は
時間位置
の immediately
before
の
during
holds %n{ない} ステートメント
エンティティー
には
エンティティー
の
modal
force
が ある は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
holdsDuring
?TIME
(
deprivesNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))))
Merge.kif 4022-4031
deprivesNorm
エンティティー
,
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
には
エンティティー
の
modal
force
が ある は
時間位置
の immediately
before
の
during
holds %n{ない} ステートメント
エンティティー
には
エンティティー
の
modal
force
が ない %p{ある} は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
instance
?BA
BleedingAir
)
(
hasPurpose
?BA
(
exists
(?FC ?A)
(
and
(
instance
?FC
FluidContainer
)
(
instance
?A
Air
)
(
holdsDuring
(
ImmediatePastFn
?BA)
(
contains
?FC ?A))
(
holdsDuring
(
ImmediateFutureFn
?BA)
(
not
(
contains
?FC ?A)))))))
Cars.kif 1519-1529
物理
は
BleedingAir
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
FluidContainer
の
instance
では %n
エンティティー
は
Air
の
instance
では %n
エンティティー
は
エンティティー
を
contain
s %n{ない} は
物理
の immediately
before
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
contain
ない は
物理
の すぐ
after
の
during
holds %n{ない} の 目的 %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
?C
Coronation
)
(
exists
(?PERSON ?PLACE)
(
and
(
instance
?PERSON
Human
)
(
patient
?C ?PERSON)
(
instance
?PLACE
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
chiefOfState
?PLACE
Monarch
?PERSON)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
chiefOfState
?PLACE
Monarch
?PERSON)))))
Government.kif 1375-1390
工程
は
Coronation
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
地政学的地域
の
instance
では %n
chiefOfState
エンティティー
,
Monarch
and
エンティティー
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
chiefOfState
エンティティー
,
Monarch
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
instance
?FD
FoodDistributionOperation
)
(
exists
(?FOOD ?CA)
(
and
(
instance
?FOOD
(
FoodForFn
Animal
))
(
instance
?CA
CognitiveAgent
)
(
patient
?FD ?FOOD)
(
destination
?FD ?CA)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?FD))
(
possesses
?CA ?FOOD)))))
Military.kif 62-71
工程
は
FoodDistributionOperation
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
FoodForFn
動物
の
instance
では %n
エンティティー
は
認識エージェント
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
を
possess
es %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
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
時間位置
は
時間間隔
の
instance
では %n
時間位置
の すぐ
after
は
時間位置
の
after
を
start
s %n{ない}
(=>
(
instance
?MD
MountingADevice
)
(
exists
(?C ?P)
(
and
(
instance
?C
Computer
)
(
instance
?P
ComputerIODevice
)
(
patient
?MD ?C)
(
patient
?MD ?P)
(
holdsDuring
(
WhenFn
?MD)
(
connectedEngineeringComponents
?C ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MD))
(
connectedPeripheral
?P ?C)))))
ComputingBrands.kif 3801-3812
工程
は
MountingADevice
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
Computer
の
instance
では %n
エンティティー
は
ComputerIODevice
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
に
connected
して %n は
工程
の
time
の existence の
during
holds %n{ない}
connectedPeripheral
エンティティー
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %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
?WED
Wedding
)
(
exists
(?PERSON1 ?PERSON2)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WED))
(
spouse
?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7965-7970
物理
は
Wedding
の
instance
では %n
エンティティー
エンティティー
spouse
エンティティー
and
エンティティー
は
物理
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
instance
?X
DeletingData
)
(
and
(
exists
(?DATA)
(
and
(
instance
?DATA
DigitalData
)
(
patient
?X ?DATA)))
(
not
(
exists
(?PROC ?CLASS)
(
and
(
instance
?PROC
ComputerProcess
)
(
instance
?PROC ?CLASS)
(
not
(
instance
?PROC
RestoringData
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?X))
(
capability
?CLASS
patient
?DATA)))))))
QoSontology.kif 112-129
工程
は
DeletingData
の
instance
では %n
エンティティー
エンティティー
は
DigitalData
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
クラス
エンティティー
は
ComputerProcess
の
instance
では %n
エンティティー
は
クラス
の
instance
では %n
エンティティー
は
RestoringData
の
instance
では
エンティティー
は
クラス
を
patient
として行う
capable
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
instance
?X
Key
)
(
hasPurpose
?X
(
exists
(?LOCK ?CLOSE ?OPEN)
(
and
(
instance
?LOCK
Lock
)
(
capability
(
KappaFn
?CLOSE
(
and
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?CLOSE)
(
attribute
?LOCK
Locked
))))
instrument
?X)
(
capability
(
KappaFn
?OPEN
(
and
(
instance
?OPEN
Closing
)
(
patient
?OPEN ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?OPEN)
(
not
(
attribute
?LOCK
Locked
)))))
instrument
?X)))))
Mid-level-ontology.kif 2670-2692
物理
は
Key
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
Lock
の
instance
では %n
物理
は
エンティティー
で記述される
class
を
instrument
として行う
capable
では %n
物理
は
エンティティー
で記述される
class
を
instrument
として行う
capable
では %n の 目的 %n{ない}
(=>
(
instance
?X
OperatorAssistedTelephoneCommunication
)
(
exists
(?ORIGIN ?DEST ?OPERATOR)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
instance
?OPERATOR
Human
)
(
hasPurpose
?OPERATOR
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?OPERATOR)
(
subProcess
?PROC ?X)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROC))
(
modalAttribute
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
origin
?COMM ?ORIGIN)
(
destination
?COMM ?DEST)))
Possibility
))))))))
Mid-level-ontology.kif 27047-27069
工程
は
OperatorAssistedTelephoneCommunication
の
instance
では %n
オブジェクト
エンティティー
and
物理
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
物理
は
人[人間]
の
instance
では %n
物理
は
エンティティー
エンティティー
は
意図的なプロセス
の
instance
では %n
物理
は
エンティティー
の
agent
では %n
エンティティー
は
工程
% の
subprocess
では %n ステートメント
エンティティー
エンティティー
は
コミュニケーション
の
instance
では %n
エンティティー
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない} には
Possibility
の
modal
force
が ある は
エンティティー
の
time
の existence の すぐ
after
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?X
RemoteKeylessSystem
)
(
exists
(?KEY ?LOCK ?CLOSE ?OPEN)
(
and
(
instance
?KEY
Key
)
(
instance
?KEY
RemoteControl
)
(
member
?KEY ?X)
(
instance
?LOCK
Lock
)
(
member
?LOCK ?X)
(
capability
(
KappaFn
?CLOSE
(
and
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?CLOSE)
(
attribute
?LOCK
Locked
))))
instrument
?KEY)
(
capability
(
KappaFn
?OPEN
(
and
(
instance
?OPEN
Closing
)
(
patient
?OPEN ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?OPEN)
(
not
(
attribute
?LOCK
Locked
)))))
instrument
?KEY))))
Cars.kif 3775-3800
コレクション
は
RemoteKeylessSystem
の
instance
では %n
オブジェクト
物理
,
記号文字列
and
記号文字列
オブジェクト
は
Key
の
instance
では %n
オブジェクト
は
RemoteControl
の
instance
では %n
オブジェクト
は
コレクション
の
member
では %n
物理
は
Lock
の
instance
では %n
物理
は
コレクション
の
member
では %n
オブジェクト
は
記号文字列
で記述される
class
を
instrument
として行う
capable
では %n
オブジェクト
は
記号文字列
で記述される
class
を
instrument
として行う
capable
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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