causes
(=>
(
counselInCase
?H ?A ?L)
(
desires
?H
(
exists
(?LD)
(
and
(
instance
?LD
LegalDecision
)
(
causes
?L ?LD)
(
benefits
?LD ?A)))))
Law.kif 464-471
counselInCase
人[人間]
,
AutonomousAgent
and
訴訟
人[人間]
が
訴訟
D
訴訟
D は
LegalDecision
の
instance
では %n
訴訟
は
訴訟
D を
cause
s %n{ない}
AutonomousAgent
は
訴訟
D の 受益者では %n を
desire
s %n{ない}
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
hazardous
物理
and
オブジェクト
ステートメント
エンティティー
エンティティー
は
損害を与える
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
involvedInEvent
エンティティー
and
物理
物理
は
エンティティー
を
cause
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
InterpersonalDisgust
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
エンティティー
は
知覚
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
の
time
の existence は
時間位置
の
during
に takes %n{ない} は
InterpersonalDisgust
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない} を
cause
s %n{ない}
(=>
(
holdsDuring
?T
(
attribute
?H
Antivaxxer
))
(
believes
?H
(
exists
(?V ?D)
(
and
(
instance
?V
Vaccination
)
(
instance
?D
Damaging
)
(
causes
?V ?D)))))
Medicine.kif 3821-3829
Antivaxxer
は
認識エージェント
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
認識エージェント
は
エンティティー
エンティティー
エンティティー
は
Vaccination
の
instance
では %n
エンティティー
は
損害を与える
の
instance
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない} を
believe
s %n{ない}
(=>
(
holdsDuring
?T1
(
prohibits
?A ?F))
(
exists
(?S ?B ?P)
(
and
(
instance
?S
Stating
)
(
during
(
WhenFn
?S) ?T1)
(
agent
?S ?A)
(
containsFormula
?S
(=>
(
causes
(
agent
?P ?B)
(
truth
?F
True
))
(
punishes
?A ?B))))))
Law.kif 65-78
prohibits
AutonomousAgent
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
工程
エンティティー
and
エンティティー
工程
は
記載
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
containsFormula
工程
and
エンティティー
は
エンティティー
の
agent
では %n は
エンティティー
is
True
%n を
cause
s %n{ない}
punishes
AutonomousAgent
and
エンティティー
(=>
(
instance
?A
Awarding
)
(
exists
(?RECIPIENT ?GIVER ?PROCESS ?AWARD)
(
and
(
instance
?RECIPIENT
AutonomousAgent
)
(
instance
?GIVER
AutonomousAgent
)
(
instance
?PROCESS
Process
)
(
instance
?AWARD
Object
)
(
agent
?PROCESS ?RECIPIENT)
(
agent
?A ?GIVER)
(
patient
?A ?AWARD)
(
destination
?A ?RECIPIENT)
(
causes
?PROCESS ?A))))
Mid-level-ontology.kif 18645-18657
工程
は
Awarding
の
instance
では %n
AutonomousAgent
AutonomousAgent
,
工程
and
工程
WARD
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
工程
の
instance
では %n
工程
WARD は
オブジェクト
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
WARD は
工程
の
patient
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
instance
?AT
AutomobileTransmission
)
(
hasPurpose
?AT
(
exists
(?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
(
and
(
instance
?C
Crankshaft
)
(
instance
?D
Driveshaft
)
(
instance
?A
Automobile
)
(
part
?D ?A)
(
part
?AT ?A)
(
part
?C ?A)
(
connectedEngineeringComponents
?C ?AT)
(
connectedEngineeringComponents
?D ?AT)
(
instance
?R1
Rotating
)
(
instance
?R2
Rotating
)
(
instance
?R3
Rotating
)
(
instance
?R4
Rotating
)
(
patient
?R1 ?C)
(
patient
?R2 ?C)
(
patient
?R3 ?D)
(
patient
?R4 ?D)
(
causes
?R1 ?R3)
(
causes
?R2 ?R4)
(
not
(
equal
?R1 ?R2))
(
holdsDuring
?R1
(
measure
?C
(
RotationFn
?N1
MinuteDuration
)))
(
holdsDuring
?R2
(
measure
?C
(
RotationFn
?N1
MinuteDuration
)))
(
holdsDuring
?R3
(
measure
?D
(
RotationFn
?N2
MinuteDuration
)))
(
holdsDuring
?R4
(
measure
?D
(
RotationFn
?N3
MinuteDuration
)))
(
not
(
equal
?N2 ?N3))))))
Cars.kif 2346-2380
物理
は
AutomobileTransmission
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Crankshaft
の
instance
では %n
エンティティー
は
Driveshaft
の
instance
では %n
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
物理
に
connected
して %n
エンティティー
は
物理
に
connected
して %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
エンティティー
と
equal
では
エンティティー
の
measure
は
RotationFn
エンティティー
and
MinuteDuration
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
の
measure
は
RotationFn
エンティティー
and
MinuteDuration
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
の
measure
は
RotationFn
エンティティー
and
MinuteDuration
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
の
measure
は
RotationFn
エンティティー
and
MinuteDuration
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
equal
では の 目的 %n{ない}
(=>
(
instance
?ATTACK
BiochemicalAttack
)
(
hasPurpose
?ATTACK
(
exists
(?DAMAGE ?ORGANISM)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?ORGANISM)
(
causes
?ATTACK ?DAMAGE)
(
instance
?ORGANISM
Organism
)))))
WMD.kif 70-78
物理
は
BiochemicalAttack
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
損害を与える
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
物理
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
物
の
instance
では %n の 目的 %n{ない}
(=>
(
instance
?BLEED
Bleeding
)
(
exists
(?INJURY)
(
and
(
instance
?INJURY
Injuring
)
(
causes
?INJURY ?BLEED))))
Mid-level-ontology.kif 21382-21387
工程
は
Bleeding
の
instance
では %n
工程
工程
は
けが
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
工程
は
FinalValueFee
の
instance
では %n
WebListing
金融取引
,
AutonomousAgent
,
エンティティー
and
WebSite
WebListing
は
WebListing
の
instance
では %n
金融取引
は
販売
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
WebListing
は
WebListing
の
instance
では %n
エンティティー
は
WebListing
の
patient
では %n
エンティティー
は
金融取引
の
patient
では %n
金融取引
は
工程
を
cause
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
hostedOn
WebListing
and
WebSite
AutonomousAgent
は
WebSite
を
possess
es %n{ない}
eCommerceSite
金融取引
and
AutonomousAgent
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?ADVERT ?PROC ?OWNER)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?PROC
ListOnSite
)
(
instance
?OWNER
AutonomousAgent
)
(
patient
?PROC ?ADVERT)
(
causes
?PROC ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
agent
?PROC ?OWNER))))
UXExperimentalTerms.kif 220-230
工程
は
InsertionFee
の
instance
では %n
エンティティー
工程
and
AutonomousAgent
エンティティー
は
WebListing
の
instance
では %n
工程
は
ListOnSite
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
工程
を
cause
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
instance
?CHECK
CheckInService
)
(
exists
(?AGENT ?CUST ?GREET ?SERVICE)
(
and
(
customer
?CUST ?AGENT)
(
serviceProvider
?CHECK ?AGENT)
(
instance
?GREET
Greeting
)
(
agent
?GREET ?CUST)
(
destination
?GREET ?AGENT)
(
subProcess
?GREET ?CHECK)
(
instance
?SERVICE
Process
)
(
agent
?SERVICE ?AGENT)
(
causes
?CHECK ?SERVICE))))
Hotel.kif 2154-2166
ServiceProcess
は
CheckInService
の
instance
では %n
認識エージェント
認識エージェント
,
工程
and
工程
customer
認識エージェント
and
認識エージェント
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
工程
は
Greeting
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
認識エージェント
に
end
s %n{ない}
工程
は
ServiceProcess
% の
subprocess
では %n
工程
は
工程
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
ServiceProcess
は
工程
を
cause
s %n{ない}
(=>
(
instance
?CM
CentrifugalMotion
)
(
exists
(?R ?A ?O1 ?O2)
(
and
(
instance
?R
Rotating
)
(
axis
?A ?O1)
(
origin
?CM ?A)
(
experiencer
?R ?O1)
(
experiencer
?CM ?O2)
(
causes
?R ?CM))))
Mid-level-ontology.kif 17487-17496
工程
は
CentrifugalMotion
の
instance
では %n
工程
オブジェクト
,
AutonomousAgent
and
AutonomousAgent
工程
は
Rotating
の
instance
では %n
axis
オブジェクト
and
AutonomousAgent
工程
は
オブジェクト
から
originate
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
instance
?CM
CentripetalMotion
)
(
exists
(?R ?A ?O1 ?O2)
(
and
(
instance
?R
Rotating
)
(
axis
?A ?O1)
(
destination
?CM ?A)
(
experiencer
?R ?O1)
(
experiencer
?CM ?O2)
(
causes
?R ?CM))))
Mid-level-ontology.kif 17502-17511
工程
は
CentripetalMotion
の
instance
では %n
工程
オブジェクト
,
AutonomousAgent
and
AutonomousAgent
工程
は
Rotating
の
instance
では %n
axis
オブジェクト
and
AutonomousAgent
工程
は
オブジェクト
に
end
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
instance
?CPR
CPR
)
(
hasPurpose
?CPR
(
exists
(?O ?HB)
(
and
(
instance
?O
Human
)
(
instance
?HB
HeartBeat
)
(
located
?HB ?O)
(
causes
?CPR ?HB)))))
Medicine.kif 599-607
物理
は
CPR
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
HeartBeat
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
物理
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?D
Distributor
)
(
hasPurpose
?D
(
exists
(?SP ?S ?O ?R ?E)
(
and
(
instance
?E
Engine
)
(
instance
?SP
SparkPlug
)
(
instance
?S
Spark
)
(
part
?O ?D)
(
part
?D ?E)
(
part
?SP ?E)
(
instance
?R
Rotating
)
(
causes
?R ?S)))))
Cars.kif 2274-2286
物理
は
Distributor
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Engine
の
instance
では %n
エンティティー
は
SparkPlug
の
instance
では %n
エンティティー
は
Spark
の
instance
では %n
エンティティー
は
物理
の
part
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?D
Driveshaft
)
(
hasPurpose
?D
(
exists
(?R1 ?R2 ?W ?A)
(
and
(
instance
?A
Automobile
)
(
instance
?W
Wheel
)
(
part
?D ?A)
(
part
?W ?A)
(
instance
?R1
Rotating
)
(
patient
?R1 ?D)
(
patient
?R2 ?W)
(
causes
?R1 ?R2)))))
Cars.kif 2325-2337
物理
は
Driveshaft
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
Wheel
の
instance
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
Rotating
の
instance
では %n
物理
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?DEVICE
SwitchDevice
)
(
exists
(?PROC1 ?PROC2 ?ELECTRIC)
(
and
(
instrument
?PROC1 ?DEVICE)
(
causes
?PROC1 ?PROC2)
(
instrument
?PROC2 ?ELECTRIC)
(
instance
?ELECTRIC
ElectricDevice
))))
Mid-level-ontology.kif 1788-1795
オブジェクト
は
SwitchDevice
の
instance
では %n
工程
工程
and
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
工程
は
工程
を
cause
s %n{ない}
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
ElectricDevice
の
instance
では %n
(=>
(
instance
?EC
EngineCranking
)
(
exists
(?EM ?E ?S ?R1 ?C ?R2)
(
and
(
instance
?EM
ElectricalMotor
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?S
Shaft
)
(
instance
?C
Crankshaft
)
(
part
?S ?EM)
(
subProcess
?R1 ?EC)
(
instance
?R1
Rotating
)
(
patient
?R1 ?S)
(
instance
?R2
Rotating
)
(
patient
?R2 ?C)
(
part
?C ?E)
(
causes
?R1 ?R2))))
Cars.kif 2215-2230
工程
は
EngineCranking
の
instance
では %n
オブジェクト
オブジェクト
,
オブジェクト
,
工程
,
オブジェクト
and
工程
オブジェクト
は
ElectricalMotor
の
instance
では %n
オブジェクト
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
Shaft
の
instance
では %n
オブジェクト
は
Crankshaft
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Rotating
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
は
Rotating
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
工程
を
cause
s %n{ない}
(=>
(
instance
?ECM
EngineControlModule
)
(
hasPurpose
?ECM
(
exists
(?A ?E ?P1 ?P2)
(
and
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
part
?E ?A)
(
part
?ECM ?A)
(
eventLocated
?P1 ?ECM)
(
eventLocated
?P2 ?E)
(
causes
?P1 ?P2)))))
Cars.kif 2519-2532
物理
は
EngineControlModule
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
Engine
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
物理
は
エンティティー
の
part
では %n
eventLocated
エンティティー
and
物理
eventLocated
エンティティー
and
エンティティー
エンティティー
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?ED
ExplosiveDevice
)
(
hasPurpose
?ED
(
exists
(?E ?D)
(
and
(
instance
?E
Explosion
)
(
instrument
?E ?ED)
(
causes
?E ?D)
(
instance
?D
Damaging
)))))
Mid-level-ontology.kif 17846-17854
物理
は
ExplosiveDevice
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Explosion
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
損害を与える
の
instance
では %n の 目的 %n{ない}
(=>
(
instance
?EVU
EmotionalVoiceUtterances
)
(
causes
(
exists
(?E ?A)
(
and
(
instance
?E
EmotionalState
)
(
attribute
?A ?E)))
(
agent
?EVU ?A)))
emotion.kif 99-106
エンティティー
は
EmotionalVoiceUtterances
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
感情状態
の
instance
では %n
エンティティー
は
エンティティー
の
attribute
では %n は
エンティティー
は
エンティティー
の
agent
では %n を
cause
s %n{ない}
(=>
(
instance
?EXPLOSION
Explosion
)
(
exists
(?PROC)
(
and
(
instance
?PROC
ChemicalProcess
)
(
causes
?PROC ?EXPLOSION))))
Mid-level-ontology.kif 15836-15841
工程
は
Explosion
の
instance
では %n
工程
工程
は
化学プロセス
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
(=>
(
instance
?F
Flywheel
)
(
hasPurpose
?F
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
Rotating
)
(
instance
?R2
Rotating
)
(
patient
?R1 ?F)
(
causes
?R1 ?R2)))))
Cars.kif 2239-2247
物理
は
Flywheel
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
物理
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?FLOOD
FlashFlooding
)
(
exists
(?WATER ?HOUR)
(
and
(
instance
?WATER
WaterMotion
)
(
causes
?WATER ?FLOOD)
(
meetsTemporally
(
WhenFn
?WATER)
(
WhenFn
?FLOOD))
(
duration
(
WhenFn
?WATER)
(
MeasureFn
?HOUR
HourDuration
))
(
lessThan
?HOUR 6.0))))
Weather.kif 1630-1642
工程
は
FlashFlooding
の
instance
では %n
工程
実数
工程
は
WaterMotion
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence に
meet
s %n{ない}
工程
の
time
の existence の
duration
は
実数
の
HourDuration
(s) では %n
実数
は 6.0 より
less
では %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