part
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
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.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3018-3036
オブジェクト
は
SkimmedMilk
の
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.0 +
実数
greater
では %n
実数
2 は 0.005 +
実数
より
less
または同等 では %n
(=>
(
and
(
instance
?M
TwoPercentMilk
)
(
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.02 ?N)))))
Food.kif 2945-2962
オブジェクト
は
TwoPercentMilk
の
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.02 +
実数
と
equal
では %n
(=>
(
and
(
instance
?M
WholeMilk
)
(
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.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2851-2869
オブジェクト
は
WholeMilk
の
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.0325 +
実数
greater
では %n
実数
2 は 0.05 +
実数
より
less
または同等 では %n
(=>
(
and
(
instance
?MELT
Melting
)
(
patient
?MELT ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?MELT))
(
attribute
?PART
Solid
))
(
holdsDuring
(
EndFn
(
WhenFn
?MELT))
(
attribute
?PART
Liquid
)))))
Merge.kif 13912-13920
工程
は
溶融
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
Solid
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Liquid
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?NUCLEUS ?CLASS)
(
subclass
?CLASS
CellNucleus
)
(
initialPart
?CLASS
EukaryoticCell
))
(
exists
(?CHROMOTIN)
(
and
(
instance
?CHROMOTIN
Chromotin
)
(
part
?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
CellNucleus
の
subclass
では %n
initialPart
オブジェクト
and
EukaryoticCell
オブジェクト
オブジェクト
は
Chromotin
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
自己接続オブジェクト
は
オブジェクト
の
instance
では %n
ConvexRoundShape
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
自己接続オブジェクト
は
TwoDimensionalObject
の
instance
では %n
GeometricPoint
GeometricPoint
は
自己接続オブジェクト
の
part
では %n
GeometricPoint
は
GeometricPoint
の
attribute
では %n
GeometricPoint
の
vertex
は
自己接続オブジェクト
では %n
GeometricPoint
は
自己接続オブジェクト
と
meet
s %n{ない}
GeometricPoint
は
自己接続オブジェクト
と
meet
s %n{ない}
OneDimensionalFigure
自己接続オブジェクト
の
tangent
は
OneDimensionalFigure
では %n
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?OEW
OpeningEyesWidely
)
(
agent
?OEW ?A))
(
exists
(?EL)
(
and
(
instance
?EL
Eyelid
)
(
part
?EL ?A)
(
patient
?OEW ?EL))))
emotion.kif 1668-1676
工程
は
OpeningEyesWidely
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
オブジェクト
は
Eyelid
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
工程
の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
MotorVehicleAndPartsDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
or
(
instance
?THING
TransportationDevice
)
(
exists
(?DEV)
(
and
(
part
?THING ?DEV)
(
instance
?DEV
TransportationDevice
)))
(
patient
?EV ?THING)))))))
naics.kif 7023-7040
コレクション
は
組織
の
instance
では %n
MotorVehicleAndPartsDealers
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
AutonomousAgent
は
販売
の
instance
では %n
オブジェクト
は
輸送機
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
輸送機
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
patient
では %n
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
part
?HEART ?H)
(
located
?P ?HEART))))
Medicine.kif 2072-2080
工程
は
HeartPalpitations
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
EART
AutonomousAgent
EART は
Heart
の
instance
では %n
AutonomousAgent
EART は
AutonomousAgent
の
part
では %n
工程
は
AutonomousAgent
EART に
located
して %n
(=>
(
and
(
instance
?P
Peeling
)
(
patient
?P ?O))
(
exists
(?S)
(
and
(
instance
?S
Skin
)
(
part
?O ?S))))
Mid-level-ontology.kif 11821-11828
工程
は
Peeling
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
Skin
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?P
Perspiring
)
(
experiencer
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?A)
(
destination
?P ?H))))
emotion.kif 1492-1500
工程
は
Perspiring
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
オブジェクト
は
Hand
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
工程
は
オブジェクト
に
end
s %n{ない}
(=>
(
and
(
instance
?P
PerspiringWholeBody
)
(
experiencer
?P ?A))
(
not
(
exists
(?B)
(
and
(
instance
?B
BodyPart
)
(
part
?B ?A)
(
not
(
destination
?P ?B))))))
emotion.kif 1505-1515
工程
は
PerspiringWholeBody
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
工程
は
オブジェクト
に
end
ない
(=>
(
and
(
instance
?P
Punching
)
(
agent
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
attribute
?H
Fist
)
(
part
?H ?A)
(
instrument
?P ?H))))
Mid-level-ontology.kif 6622-6631
工程
は
Punching
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
オブジェクト
は
Hand
の
instance
では %n
Fist
は
オブジェクト
の
attribute
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?PAGE
ViewItemPage
)
(
instance
?ADVERTISING
WebListing
)
(
component
?ADVERTISING ?PAGE)
(
patient
?ADVERTISING ?ITEM)
(
instance
?ITEM
Physical
))
(
exists
(?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
(
and
(
instance
?STATING
Stating
)
(
patient
?STATING ?DESCRIPTION)
(
refers
?DESCRIPTION ?ITEM)
(
result
?DESCRIPTION ?DESCRIPTIONCONTENT)
(
part
?DESCRIPTIONCONTENT ?PAGE))))
UXExperimentalTerms.kif 2078-2091
微粒子オブジェクト
は
ViewItemPage
の
instance
では %n
工程
は
WebListing
の
instance
では %n
工程
は
微粒子オブジェクト
の
component
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
物理
の
instance
では %n
工程
工程
and
工程
CONTENT
工程
は
記載
の
instance
では %n
工程
は
工程
の
patient
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
工程
CONTENT は
工程
の
result
では %n
工程
CONTENT は
微粒子オブジェクト
の
part
では %n
(=>
(
and
(
instance
?PATH
PathologicProcess
)
(
experiencer
?PATH ?ORG))
(
exists
(?PART ?DISEASE)
(
and
(
part
?PART ?ORG)
(
instance
?DISEASE
DiseaseOrSyndrome
)
(
attribute
?PART ?DISEASE))))
Merge.kif 10394-10402
工程
は
病理学的プロセス
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
属性
オブジェクト
は
AutonomousAgent
の
part
では %n
属性
は
病気または症候群
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?PLT
PressingLipsTogether
)
(
agent
?PLT ?A))
(
exists
(?L ?BM)
(
and
(
instance
?L
Lip
)
(
part
?L ?A)
(
instance
?BM
BodyMotion
)
(
patient
?BM ?L)
(
agent
?BM ?A))))
emotion.kif 1202-1212
工程
は
PressingLipsTogether
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
工程
オブジェクト
は
Lip
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
工程
は
動作
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?PROC
TherapeuticProcess
)
(
patient
?PROC ?BIO))
(
or
(
instance
?BIO
Organism
)
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
part
?BIO ?ORG)))))
Merge.kif 12244-12253
工程
は
治療経過
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
物
の
instance
では %n
オブジェクト
オブジェクト
は
物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?PROCESS
StateChange
)
(
patient
?PROCESS ?OBJ))
(
exists
(?PART ?STATE1 ?STATE2)
(
and
(
part
?PART ?OBJ)
(
instance
?STATE1
PhysicalState
)
(
instance
?STATE2
PhysicalState
)
(
not
(
equal
?STATE1 ?STATE2))
(
holdsDuring
(
BeginFn
(
WhenFn
?PROCESS))
(
attribute
?PART ?STATE1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROCESS))
(
attribute
?PART ?STATE2)))))
Merge.kif 13756-13767
工程
は
状態変化
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
エンティティー
and
エンティティー
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
物理状態
の
instance
では %n
エンティティー
は
物理状態
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 561-574
体の部分
は
CervicalVertebraBone
の
instance
では %n
体の部分
は
オブジェクト
の
part
では %n
オブジェクト
は
人[人間]
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
体の部分
体の部分
は
CervicalVertebraBone
の
instance
では %n
体の部分
は
体の部分
と
equal
では
体の部分
は
オブジェクト
の
part
では %n
connectedBodyPart
体の部分
and
体の部分
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R)))))
Anatomy.kif 505-517
体の部分
は
FalseRibBone
の
instance
では %n
体の部分
は
オブジェクト
の
part
では %n
オブジェクト
は
人[人間]
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
体の部分
体の部分
は
Sternum
の
instance
では %n
体の部分
は
オブジェクト
の
part
では %n
connectedBodyPart
体の部分
and
体の部分
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 601-614
体の部分
は
LumbarVertebraBone
の
instance
では %n
体の部分
は
オブジェクト
の
part
では %n
オブジェクト
は
人[人間]
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
体の部分
体の部分
は
LumbarVertebraBone
の
instance
では %n
体の部分
は
体の部分
と
equal
では
体の部分
は
オブジェクト
の
part
では %n
connectedBodyPart
体の部分
and
体の部分
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 669-682
体の部分
は
ThoracicVertebraBone
の
instance
では %n
体の部分
は
オブジェクト
の
part
では %n
オブジェクト
は
人[人間]
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
体の部分
体の部分
は
ThoracicVertebraBone
の
instance
では %n
体の部分
は
体の部分
と
equal
では
体の部分
は
オブジェクト
の
part
では %n
connectedBodyPart
体の部分
and
体の部分
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 492-503
体の部分
は
TrueRibBone
の
instance
では %n
体の部分
は
オブジェクト
の
part
では %n
オブジェクト
は
人[人間]
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
体の部分
体の部分
は
Sternum
の
instance
では %n
体の部分
は
オブジェクト
の
part
では %n
connectedBodyPart
体の部分
and
体の部分
(=>
(
and
(
instance
?RAPIDS
Rapids
)
(
bottom
?BOTTOM ?RAPIDS))
(
exists
(?ROCK)
(
and
(
instance
?ROCK
Rock
)
(
part
?ROCK ?BOTTOM))))
Geography.kif 5646-5653
自己接続オブジェクト
は
Rapids
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
オブジェクト
オブジェクト
は
Rock
の
instance
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %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