part
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
ImpairedBodyPartFn
クラス
は
オブジェクト
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
クラス
I は
クラス
の
instance
では %n
クラス
I は
オブジェクト
の
part
では %n
クラス
I は
公式
の 目的 %n{ない}
ステートメント
公式
には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
オブジェクト
の
measure
は
関数量
では %n は
時間位置
の
during
holds %n{ない}
engineIdleSpeed
InternalCombustionEngine
and
関数量
オブジェクト
は
Automobile
の
instance
では %n
InternalCombustionEngine
は
オブジェクト
の
part
では %n
オブジェクト
は
InternalCombustionEngine
の
part
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
時間位置
の
during
に takes %n{ない}
エンティティー
は
Pushing
の
instance
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
オブジェクト
の
part
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
エンティティー
は
オブジェクト
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
オブジェクト
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では %n
overlapsSpatially
HoleRegion
and
自己接続オブジェクト
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6237-6246
オブジェクト
は
BodyAreaFn
体の部分
の
instance
では %n
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
Near
対
オブジェクト
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3840-3845
オブジェクト
は
AegilopsGrass
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
LASS の
instance
では %n
オブジェクト
LASS は
DiploidCell
の
subclass
では %n
(=>
(
and
(
instance
?A
Americano
)
(
part
?E ?A)
(
part
?W ?A)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90.0
CelsiusDegree
))
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)))
Food.kif 1321-1332
オブジェクト
は
Americano
の
instance
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
DrinkingWater
の
instance
では %n
物質
の
measure
は 90.0 の
CelsiusDegree
(s) では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
approximateValue
実数
and 0.03
approximateValue
実数
and 0.15
(=>
(
and
(
instance
?A
Animal
)
(
instance
?S
AnimalShell
)
(
part
?S ?A))
(
or
(
instance
?A
Invertebrate
)
(
instance
?A
Reptile
)))
Mid-level-ontology.kif 11531-11538
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
AnimalShell
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
無脊椎動物
の
instance
では %n
オブジェクト
は
爬虫類
の
instance
では %n
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
オブジェクト
は
Antacid
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の すぐ
after
の
during
holds %n{ない}
phMeasure
オブジェクト
and
実数
phMeasure
オブジェクト
and
実数
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
オブジェクト
は
AntibodyCOVIDTest
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
計測
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
COVIDAntibody
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
ステートメント
オブジェクト
は
オブジェクト
オブジェクト
は
COVIDAntibody
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n を
know
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
オブジェクト
は
Armor
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
エンティティー
は
維持
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n
オブジェクト
が
エンティティー
を
experience
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
オブジェクト
は
Armor
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
エンティティー
は
損害を与える
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n
オブジェクト
が
エンティティー
を
experience
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
工程
は
LocalAnesthetizing
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
工程
の
patient
では %n
PainFn
オブジェクト
は
オブジェクト
の
attribute
では は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
オブジェクト
は
ProtonPumpInhibitor
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の すぐ
after
の
during
holds %n{ない}
phMeasure
オブジェクト
and
実数
phMeasure
オブジェクト
and
実数
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
PhysicalSystem
は
Automobile
の
instance
では %n
PhysicalSystem
は
Automobile
の
instance
では %n
オブジェクト
は
AutomobileShock
の
instance
では %n
オブジェクト
は
PhysicalSystem
の
part
では %n
オブジェクト
オブジェクト
は
AutomobileShock
の
instance
では %n
オブジェクト
は
PhysicalSystem
の
part
では %n
dampingRatio
PhysicalSystem
and
実数
dampingRatio
PhysicalSystem
and
実数
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Exoskeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Invertebrate
))
Mid-level-ontology.kif 11675-11680
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
Exoskeleton
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
無脊椎動物
の
instance
では %n
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Skeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Vertebrate
))
Mid-level-ontology.kif 11655-11660
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
Skeleton
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
脊椎動物
の
instance
では %n
(=>
(
and
(
instance
?AS
AirStream
)
(
part
?AIR ?AS))
(
attribute
?AR
Gas
))
Weather.kif 69-73
オブジェクト
は
AirStream
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Gas
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
オブジェクト
は
AutomaticApplication
の
instance
では %n
オブジェクト
は
SoftwareSystem
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
StartupFn
オブジェクト
は
StartupFn
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 12848-12854
オブジェクト
は
Breast
の
instance
では %n
自己接続オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
の
front
の
part
では %n
(=>
(
and
(
instance
?B
Breast
)
(
part
?B ?H))
(
attribute
?B
Female
))
Mid-level-ontology.kif 12859-12863
オブジェクト
は
Breast
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Female
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
オブジェクト
は
Brine
の
instance
では %n
オブジェクト
の
measure
は 1.0 の
Liter
(s) では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
SodiumChloride
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
実数
は 35.0 より
greater
では %n
実数
は 260.0 より
less
または同等 では %n
(=>
(
and
(
instance
?B
VehicleBrake
)
(
instance
?V
Vehicle
)
(
part
?B ?V))
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
(
StopFn
Motion
))
(
patient
?S ?V)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 3416-3426
オブジェクト
は
VehicleBrake
の
instance
では %n
オブジェクト
は
Vehicle
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
エンティティー
は
StopFn
motion
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
オブジェクト
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?BODY
ReproductiveBody
)
(
part
?BODY ?ORG)
(
instance
?ORG
Organism
))
(
attribute
?ORG
Female
))
Merge.kif 18117-18122
オブジェクト
は
生殖体
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
物
の
instance
では %n
Female
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
オブジェクト
は
BrakePedal
の
instance
では %n
工程
は
Pushing
の
instance
では %n
オブジェクト
は
Vehicle
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
eventLocated
工程
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
WearingFrictionSurface
の
instance
では %n
エンティティー
は
Friction
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n
工程
は
エンティティー
を
cause
s %n{ない} の 目的 %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