part
(=>
(
and
(
instance
?F
FungalDisease
)
(
attribute
?H ?F))
(
exists
(?FUN)
(
and
(
part
?FUN ?H)
(
instance
?FUN
Fungus
))))
Mid-level-ontology.kif 5879-5886
属性
は
FungalDisease
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
属性
UN
属性
UN は
オブジェクト
の
part
では %n
属性
UN は
菌類
の
instance
では %n
(=>
(
and
(
instance
?F
ParasiticDisease
)
(
attribute
?H ?F))
(
exists
(?PAR)
(
and
(
part
?PAR ?H)
(
instance
?PAR
Parasite
))))
Mid-level-ontology.kif 5865-5872
属性
は
ParasiticDisease
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Parasite
の
instance
では %n
(=>
(
and
(
instance
?FILTER
AbsoluteFilter
)
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?GAS)
(
instance
?GAS
GasMixture
)
(
patient
?REMOVE ?PARTICLE)
(
attribute
?PARTICLE
Solid
)
(
instrument
?REMOVE ?FILTER))
(
not
(
part
?PARTICLE ?GAS)))
MilitaryDevices.kif 1379-1389
オブジェクト
は
AbsoluteFilter
の
instance
では %n
工程
は
除却
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
GasMixture
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
Solid
は
オブジェクト
の
attribute
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
オブジェクト
の
part
では
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
オブジェクト
は
FuelPump
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
交通手段
の
instance
では %n
工程
は
Fuel
の
instance
では %n
工程
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
GasTank
の
instance
では %n
エンティティー
は
オブジェクト
の
part
では %n
エンティティー
は
EngineCylinder
の
instance
では %n
エンティティー
は
オブジェクト
の
part
では %n
工程
は
エンティティー
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?FREEZE))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?FREEZE))
(
attribute
?PART
Solid
)))))
Merge.kif 14000-14008
工程
は
凍結
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
Liquid
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Solid
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
オブジェクト
は
Gene
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
細胞
の
instance
では %n
工程
オブジェクト
and
オブジェクト
工程
は
生物学的プロセス
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
工程
の
result
では %n
オブジェクト
は
Nucleotide
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RNAMolecule
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?G
Grinding
)
(
patient
?G ?O)
(
instance
?O
CorpuscularObject
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
exists
(?C)
(
and
(
result
?G ?C)
(
instance
?C
Collection
)
(
forall
(?M)
(=>
(
member
?M ?C)
(
part
?M ?O)))))))
Food.kif 1012-1026
工程
は
Grinding
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
微粒子オブジェクト
の
instance
では %n
エンティティー
エンティティー
は
工程
の
result
では %n
エンティティー
は
コレクション
の
instance
では %n
エンティティー
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は
エンティティー
の
part
では %n
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?GERD
GERefluxDisease
)
(
experiencer
?GERD ?H))
(
exists
(?T ?S ?E)
(
and
(
instance
?T
Transfer
)
(
origin
?T ?S)
(
instance
?S
Stomach
)
(
instance
?E
Esophagus
)
(
destination
?T ?E)
(
part
?S ?H)
(
part
?E ?H)
(
subProcess
?T ?GERD))))
Medicine.kif 1916-1929
工程
は
GERefluxDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
オブジェクト
and
オブジェクト
工程
は
移動
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
Esophagus
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Foot
)
(
instance
?L2
Foot
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12709-12722
オブジェクト
は
霊長類
の
instance
では %n
属性
は
病気または症候群
の
instance
では %n
属性
は
オブジェクト
の
attribute
では
オブジェクト
オブジェクト
オブジェクト
は
Foot
の
instance
では %n
オブジェクト
は
Foot
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12682-12695
オブジェクト
は
霊長類
の
instance
では %n
属性
は
病気または症候群
の
instance
では %n
属性
は
オブジェクト
の
attribute
では
オブジェクト
オブジェクト
オブジェクト
は
Leg
の
instance
では %n
オブジェクト
は
Leg
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Lung
)
(
instance
?L2
Lung
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 11198-11211
オブジェクト
は
霊長類
の
instance
では %n
属性
は
病気または症候群
の
instance
では %n
属性
は
オブジェクト
の
attribute
では
オブジェクト
オブジェクト
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
物理
は
HeartAttack
の
instance
では %n
オブジェクト
は
Heart
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
時間間隔
オブジェクト
時間間隔
は
LiquidMotion
の
instance
では %n
objectTransferred
時間間隔
and
オブジェクト
オブジェクト
は
血
の
instance
では %n
時間間隔
は
物理
の
time
の existence の
during
に takes %n{ない}
時間間隔
は
オブジェクト
に
end
s %n{ない}
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
物理
は
Stroke
の
instance
では %n
オブジェクト
は
Brain
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
オブジェクト
は
NerveCell
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
時間間隔
オブジェクト
時間間隔
は
LiquidMotion
の
instance
では %n
objectTransferred
時間間隔
and
オブジェクト
オブジェクト
は
血
の
instance
では %n
時間間隔
は
物理
の
time
の existence の
during
に takes %n{ない}
時間間隔
は
オブジェクト
に
end
s %n{ない}
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?P)
(
and
(
part
?P ?H)
(
meetsSpatially
?P ?HR))))
Cars.kif 4287-4299
オブジェクト
は
Reel
の
instance
では %n
工程
は
保持
の
instance
では %n
オブジェクト
は
微粒子オブジェクト
の
instance
では %n
LongAndThin
は
オブジェクト
の
attribute
では %n
Pliable
は
オブジェクト
の
attribute
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
exists
(?TH)
(
and
(
instance
?TH
Trachea
)
(
part
?TH ?H)
(
destination
?I ?TH))))
Medicine.kif 4135-4145
移動
は
Intubation
の
instance
では %n
オブジェクト
は
Tube
の
instance
では %n
objectTransferred
移動
and
オブジェクト
AutonomousAgent
が
移動
を
experience
s %n{ない}
オブジェクト
H
オブジェクト
H は
Trachea
の
instance
では %n
オブジェクト
H は
AutonomousAgent
の
part
では %n
移動
は
オブジェクト
H に
end
s %n{ない}
(=>
(
and
(
instance
?II
IntraosseousInfusion
)
(
patient
?II ?H))
(
exists
(?B)
(
and
(
instance
?B
BoneMarrow
)
(
destination
?II ?B)
(
part
?B ?H))))
Medicine.kif 1179-1187
工程
は
IntraosseousInfusion
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
BoneMarrow
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?KICK
Kicking
)
(
agent
?KICK ?ANIMAL))
(
exists
(?FOOT)
(
and
(
instance
?FOOT
Foot
)
(
part
?FOOT ?ANIMAL)
(
instrument
?KICK ?FOOT))))
Mid-level-ontology.kif 6637-6645
工程
は
Kicking
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
オブジェクト
は
Foot
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
exists
(?E)
(
and
(
instance
?E
Egg
)
(
patient
?L ?E)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
part
?E ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
not
(
part
?E ?A))))))
Mid-level-ontology.kif 24116-24129
工程
は
LayingEggs
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
エンティティー
は
Egg
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
AutonomousAgent
の
part
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
オブジェクト
は
LeafSpring
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RoadVehicle
の
instance
では %n
ステートメント
オブジェクト
2
オブジェクト
2 は
LeafSpring
の
instance
では %n
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
2 と
equal
では
オブジェクト
は
オブジェクト
2 と
meet
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?LA
LeftAtrium
)
(
part
?LA ?H))
(
exists
(?H ?HEART)
(
and
(
equal
?HEART
(
HoleHostFn
?LA))
(
part
?HEART ?H)
(
instance
?HEART
Heart
))))
Medicine.kif 275-283
HoleRegion
は
LeftAtrium
の
instance
では %n
HoleRegion
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
EART
オブジェクト
EART は ホール
HoleRegion
の
host
と
equal
では %n
オブジェクト
EART は
オブジェクト
の
part
では %n
オブジェクト
EART は
Heart
の
instance
では %n
(=>
(
and
(
instance
?LA
LeftVentricle
)
(
part
?LA ?H))
(
exists
(?H ?HEART)
(
and
(
equal
?HEART
(
HoleHostFn
?LA))
(
part
?HEART ?H)
(
instance
?HEART
Heart
))))
Medicine.kif 291-299
HoleRegion
は
LeftVentricle
の
instance
では %n
HoleRegion
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
EART
オブジェクト
EART は ホール
HoleRegion
の
host
と
equal
では %n
オブジェクト
EART は
オブジェクト
の
part
では %n
オブジェクト
EART は
Heart
の
instance
では %n
(=>
(
and
(
instance
?LA
RightAtrium
)
(
part
?LA ?H))
(
exists
(?H ?HEART)
(
and
(
equal
?HEART
(
HoleHostFn
?LA))
(
part
?HEART ?H)
(
instance
?HEART
Heart
))))
Medicine.kif 307-315
HoleRegion
は
RightAtrium
の
instance
では %n
HoleRegion
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
EART
オブジェクト
EART は ホール
HoleRegion
の
host
と
equal
では %n
オブジェクト
EART は
オブジェクト
の
part
では %n
オブジェクト
EART は
Heart
の
instance
では %n
(=>
(
and
(
instance
?LA
RightVentricle
)
(
part
?LA ?H))
(
exists
(?H ?HEART)
(
and
(
equal
?HEART
(
HoleHostFn
?LA))
(
part
?HEART ?H)
(
instance
?HEART
Heart
))))
Medicine.kif 323-331
HoleRegion
は
RightVentricle
の
instance
では %n
HoleRegion
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
EART
オブジェクト
EART は ホール
HoleRegion
の
host
と
equal
では %n
オブジェクト
EART は
オブジェクト
の
part
では %n
オブジェクト
EART は
Heart
の
instance
では %n
(=>
(
and
(
instance
?M
OnePercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.01 ?N)))))
Food.kif 2969-2986
オブジェクト
は
OnePercentMilk
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.01 +
実数
と
equal
では %n
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
オブジェクト
は
SemiSkimmedMilk
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.015 +
実数
greater
では %n
実数
2 は 0.02 +
実数
より
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