causes
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
は
HearingProtection
の
instance
では %n
動物
は
人[人間]
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
WearableItem
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
工程
は
HappyVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Happiness
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12313-12321
工程
は
殺害
の
instance
では %n
AutonomousAgent
は
工程
の
patient
では %n
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
物理
は
KnockLight
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
は
部屋
の
instance
では %n
オブジェクト
は
Door
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
衝撃
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
放射音
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
RadiatingVisibleLight
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
工程
は
CeliacDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
は
SmallIntestine
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
ステートメント
エンティティー
エンティティー
は
Diarrhoea
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
工程
は
エンティティー
を
cause
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8600-8610
オブジェクト
は
Poison
の
instance
では %n
motion
は
摂取
の
instance
では %n
moves
motion
and
オブジェクト
AutonomousAgent
が
motion
を
experience
s %n{ない}
工程
工程
は
損害を与える
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
motion
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?PLANNING
OperationPlanning
)
(
agent
?PLANNING ?COMMANDER))
(
or
(
and
(
instance
?COMMANDER
CombatantCommander
)
(
exists
(?REQUEST ?CHAIRMAN)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?CHAIRMAN)
(
attribute
?CHAIRMAN
ChairmanJCS
)
(
causes
?REQUEST ?PLANNING))))
(
and
(
instance
?COMMANDER
SubunifiedCommander
)
(
exists
(?REQUEST ?COMMANDERSUPER ?MILITARY)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?COMMANDERSUPER)
(
attribute
?COMMANDERSUPER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?COMMANDER ?COMMANDERSUPER)
(
instance
?MILITARY
MilitaryForce
)
(
causes
?REQUEST ?PLANNING))))))
MilitaryProcesses.kif 1582-1604
工程
は
OperationPlanning
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
CombatantCommander
の
instance
では %n
工程
AutonomousAgent
工程
は
要求
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ChairmanJCS
は
AutonomousAgent
の
attribute
では %n
工程
は
工程
を
cause
s %n{ない}
AutonomousAgent
は
SubunifiedCommander
の
instance
では %n
工程
AutonomousAgent
SUPER and
組織
工程
は
要求
の
instance
では %n
AutonomousAgent
SUPER は
工程
の
agent
では %n
MilitaryCommander
は
AutonomousAgent
SUPER の
attribute
では %n
subordinatePosition
組織
,
AutonomousAgent
and
AutonomousAgent
SUPER
組織
は
MilitaryForce
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?PROC
DiagnosticProcess
)
(
agent
?PROC ?AGENT))
(
exists
(?CAUSE)
(
hasPurposeForAgent
?PROC
(
knows
?AGENT
(
causes
?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12958-12963
工程
は
診断プロセス
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
は
AutonomousAgent
の 目的
AutonomousAgent
は
エンティティー
は
工程
を
cause
s %n{ない} を
know
s %n{ない} %n{ない}
(=>
(
and
(
instance
?S
Sentencing
)
(
patient
?S ?P))
(
exists
(?C)
(
and
(
causes
?C ?S)
(
instance
?C
LegalConviction
)
(
patient
?C ?P)
(
earlier
(
WhenFn
?C)
(
WhenFn
?S)))))
Mid-level-ontology.kif 16250-16259
工程
は
Sentencing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
工程
を
cause
s %n{ない}
工程
は
LegalConviction
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
工程
は
Sepsis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
は
Infecting
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
WearableItem
は
SafetyHarness
の
instance
では %n
動物
は
動物
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
WearableItem
は
エンティティー
の
instrument
では %n
動物
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?SS
StayingStill
)
(
experiencer
?SS ?A))
(
not
(
exists
(?B ?T)
(
and
(
instance
?B
BodyMotion
)
(
instance
?T
Translocation
)
(
causes
?B ?T)
(
agent
?B ?A)))))
emotion.kif 1523-1533
工程
は
StayingStill
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
工程
は
動作
の
instance
では %n
工程
は
Translocation
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1967-1975
工程
は
SadVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Sadness
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1928-1936
工程
は
SurprisedVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Surprise
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
ContentBearingPhysical
は
DeathCertificate
の
instance
では %n
工程
は
死
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
containsFormula
ContentBearingPhysical
and
工程
AY
エンティティー
,
エンティティー
and
エンティティー
ROC
deathdate
AutonomousAgent
and
工程
AY
工程
AY は
日
の
instance
では %n
deathplace
AutonomousAgent
and
エンティティー
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
AutonomousAgent
を
express
es %n{ない}
エンティティー
は
Name
の
instance
では %n
エンティティー
ROC は
工程
を
cause
s %n{ない}
エンティティー
ROC は
工程
の
instance
では %n
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
オブジェクト
は
CarAlarm
の
instance
では %n
オブジェクト
は
SelfPoweredRoadVehicle
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
エンティティー
,
エンティティー
and
エンティティー
オブジェクト
は
エンティティー
は
Stealing
の
instance
では %n
エンティティー
は
損害を与える
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
オブジェクト
は
エンティティー
の
patient
では %n
エンティティー
の
time
の existence は
エンティティー
と
equal
では %n
eventPartlyLocated
エンティティー
and
エンティティー
エンティティー
エンティティー
は
放射音
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
Near
対
エンティティー
では %n は
エンティティー
の
during
holds %n{ない} は
エンティティー
は
エンティティー
エンティティー
は
Stealing
の
instance
では %n
エンティティー
は
損害を与える
の
instance
では %n
eventPartlyLocated
エンティティー
and
エンティティー
オブジェクト
は
エンティティー
の
patient
では %n は
エンティティー
の
during
holds %n{ない} を
know
s %n{ない}
エンティティー
の
time
の existence は
エンティティー
の
time
の existence を
finish
es %n{ない} の 可能性を
increase
s %n{ない} の 目的 %n{ない}
の 目的 %n{ない}
(=>
(
and
(
instance
?X
DutyTax
)
(
refers
?X ?OBJ)
(
patient
?X ?OBJ))
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?OBJ)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
earlier
(
WhenFn
?T)
(
WhenFn
?X))
(
causes
?T ?X))))
FinancialOntology.kif 949-964
工程
は
DutyTax
の
instance
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
オブジェクト
and
エンティティー
工程
は
移動
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
国民
の
instance
では %n
エンティティー
は
国民
の
instance
では %n
オブジェクト
は
エンティティー
と
equal
では
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
WearableItem
は
Respirator
の
instance
では %n
動物
は
動物
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
WearableItem
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n の 目的 %n{ない}
(=>
(
and
(
taxDeferredIncome
?Agent ?Income ?Activity)
(
time
?Activity ?Time))
(
not
(
exists
(?Tax)
(
and
(
instance
?Tax
Tax
)
(
causes
?Activity ?Tax)
(
time
?Tax ?Time)))))
FinancialOntology.kif 3312-3321
taxDeferredIncome
人[人間]
,
通貨測定
and
組織プロセス
組織プロセス
は
時間位置
の
during
exists %n{ない}
工程
工程
は
Tax
の
instance
では %n
組織プロセス
は
工程
を
cause
s %n{ない}
工程
は
時間位置
の
during
exists %n{ない}
(=>
(
attribute
?H
(
InjuryCausedFn
?PC))
(
exists
(?I ?P)
(
and
(
instance
?I
Injuring
)
(
patient
?I ?H)
(
instance
?P ?PC)
(
causes
?P ?I))))
Medicine.kif 403-410
InjuryCausedFn
工程
は
オブジェクト
の
attribute
では %n
工程
工程
工程
は
けが
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
は
工程
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
(=>
(
attribute
?H
Bruise
)
(
exists
(?I ?P)
(
and
(
instance
?I
Injuring
)
(
patient
?I ?H)
(
instance
?P
Bleeding
)
(
causes
?P ?I))))
Medicine.kif 425-432
Bruise
は
オブジェクト
の
attribute
では %n
工程
工程
工程
は
けが
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
は
Bleeding
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
(=>
(
attribute
?M
CoinOperated
)
(
hasPurpose
?M
(
exists
(?C ?FT ?A ?ACT)
(
and
(
instance
?C
CurrencyCoin
)
(
instance
?FT
FinancialTransaction
)
(
destination
?FT ?M)
(
patient
?FT ?C)
(
origin
?FT ?A)
(
causes
?FT ?ACT)
(
wants
?A ?ACT)))))
Mid-level-ontology.kif 29474-29485
CoinOperated
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
CT
エンティティー
は
CurrencyCoin
の
instance
では %n
エンティティー
は
金融取引
の
instance
では %n
エンティティー
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
CT を
cause
s %n{ない}
エンティティー
は
エンティティー
CT を
want
s %n{ない} の 目的 %n{ない}
(=>
(
attribute
?P
Comedian
)
(
exists
(?PERF ?L)
(
and
(
instance
?PERF
Performance
)
(
agent
?PERF ?P)
(
instance
?L
Laughing
)
(
causes
?PERF ?L))))
Mid-level-ontology.kif 18795-18802
Comedian
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
ERF
工程
AutonomousAgent
ERF は
Performance
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
ERF の
agent
では %n
工程
は
Laughing
の
instance
では %n
AutonomousAgent
ERF は
工程
を
cause
s %n{ない}
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
exists
(?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
(
and
(
instance
?WEBPAGE
WebPage
)
(
subString
?WEBPAGE ?SITE)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?ACCESSING ?AGENT)
(
programRunning
?BPROC ?BROWSER)
(
causes
?BPROC ?ACCESSING)
(
destination
?ACCESSING ?WEBPAGE)
(
represents
?STRING ?AGENT))))
UXExperimentalTerms.kif 736-748
browserID
Identifier
,
WebBrowser
and
WebSite
記号文字列
工程
,
AutonomousAgent
and
ComputerProcess
記号文字列
は
WebPage
の
instance
では %n
subString
記号文字列
and
WebSite
工程
は
AccessingWebPage
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
は
工程
を
cause
s %n{ない}
工程
は
記号文字列
に
end
s %n{ない}
Identifier
は
AutonomousAgent
を
express
es %n{ない}
(=>
(
causesSubclass
?PROC1 ?PROC2)
(
forall
(?INST2)
(=>
(
instance
?INST2 ?PROC2)
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
causes
?INST1 ?INST2))))))
Merge.kif 3810-3818
causesSubclass
工程
and
工程
工程
工程
は
工程
の
instance
では %n
工程
工程
は
工程
の
instance
では %n
工程
は
工程
を
cause
s %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