objectTransferred
(=>
(
instance
?INVOICE
Invoice
)
(
exists
(?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?INVOICE)
(
buys
?BUYER ?SELLER ?ENT)
(
confersRight
(
exists
(?SELLING)
(
and
(
before
(
BeginFn
(
WhenFn
?INVOICE))
(
BeginFn
(
WhenFn
?SELLING)))
(
instance
?SELLING
Selling
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?SELLING ?PRODUCT)
(
refers
?INVOICE ?PRODUCT)
(
agent
?SELLING ?SELLER)
(
patient
?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 29868-29888
エンティティー
は
Invoice
の
instance
では %n
記号文字列
認識エージェント
,
AutonomousAgent
,
エンティティー
and
エンティティー
記号文字列
の
unique
の識別子は
エンティティー
では %n
buys
認識エージェント
,
AutonomousAgent
and
エンティティー
AutonomousAgent
は
認識エージェント
が
エンティティー
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない}
エンティティー
は
販売
の
instance
では %n
エンティティー
は
製品
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
への
reference
を includes %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
認識エージェント
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
instance
?LP
Lubricating
)
(
exists
(?L)
(
and
(
instance
?L
Lubricant
)
(
objectTransferred
?LP ?L))))
Cars.kif 2999-3004
移動
は
Lubricating
の
instance
では %n
オブジェクト
オブジェクト
は
Lubricant
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
instance
?N
Needle
)
(
hasPurpose
?N
(
exists
(?H ?TP ?F ?RI)
(
and
(
instance
?H
Animal
)
(
instance
?TP
TherapeuticProcss
)
(
attribute
?F
Fluid
)
(
patient
?TP ?H)
(
instrument
?TP ?N)
(
or
(
instance
?RI
Removing
)
(
instance
?RI
Inserting
))
(
subProcess
?RI ?TP)
(
objectTransferred
?RI ?F)))))
Medicine.kif 924-938
物理
は
Needle
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
動物
の
instance
では %n
エンティティー
は
TherapeuticProcss
の
instance
では %n
Fluid
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
の
patient
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
は
Inserting
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
objectTransferred
エンティティー
and
エンティティー
の 目的 %n{ない}
(=>
(
instance
?OT
OrganTransplant
)
(
exists
(?H ?O ?P)
(
and
(
instance
?H
Animal
)
(
instance
?O
Organ
)
(
instance
?P
Putting
)
(
subProcess
?P ?OT)
(
objectTransferred
?P ?O)
(
destination
?P ?H))))
Medicine.kif 4642-4651
工程
は
OrganTransplant
の
instance
では %n
エンティティー
オブジェクト
and
移動
エンティティー
は
動物
の
instance
では %n
オブジェクト
は
臓器
の
instance
では %n
移動
は
置く
の
instance
では %n
移動
は
工程
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
移動
は
エンティティー
に
end
s %n{ない}
(=>
(
instance
?P
Pedialyte
)
(
hasPurpose
?P
(
exists
(?C ?D ?V ?DR)
(
and
(
instance
?C
HumanChild
)
(
instance
?D
Diarrhea
)
(
instance
?V
Vomiting
)
(
or
(
and
(
experiencer
?D ?C)
(
earlier
(
WhenFn
?D)
(
WhenFn
?DR)))
(
and
(
experiencer
?V ?C)
(
earlier
(
WhenFn
?V)
(
WhenFn
?DR))))
(
instance
?DR
Drinking
)
(
agent
?DR ?C)
(
objectTransferred
?DR ?P)))))
Medicine.kif 4816-4833
物理
は
Pedialyte
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
R
エンティティー
は
HumanChild
の
instance
では %n
エンティティー
は
Diarrhea
の
instance
では %n
エンティティー
は
Vomiting
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
エンティティー
の
time
の existence は
エンティティー
R の
time
の existence より
earlier
happens %n{ない}
エンティティー
が
エンティティー
を
experience
s %n{ない}
エンティティー
の
time
の existence は
エンティティー
R の
time
の existence より
earlier
happens %n{ない}
エンティティー
R は
飲酒
の
instance
では %n
エンティティー
は
エンティティー
R の
agent
では %n
objectTransferred
エンティティー
R and
物理
の 目的 %n{ない}
(=>
(
instance
?P
Pill
)
(
hasPurpose
?P
(
exists
(?A ?I)
(
and
(
instance
?A
Animal
)
(
instance
?I
Ingesting
)
(
experiencer
?I ?A)
(
objectTransferred
?I ?P)))))
Mid-level-ontology.kif 9255-9263
物理
は
Pill
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
動物
の
instance
では %n
エンティティー
は
摂取
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
objectTransferred
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
instance
?PCVV
PositiveCrankcaseVentilationValve
)
(
hasPurpose
?PCVV
(
exists
(?CR ?F ?CC ?T ?A)
(
and
(
instance
?CR
Crankcase
)
(
instance
?F
Fuel
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
instance
?A
Automobile
)
(
part
?CR ?A)
(
part
?CC ?A)
(
part
?PCVV ?A)
(
origin
?T ?CR)
(
destination
?T ?CC)
(
objectTransferred
?T ?F)
(
path
?T ?PCVV)))))
Cars.kif 3818-3834
物理
は
PositiveCrankcaseVentilationValve
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Crankcase
の
instance
では %n
エンティティー
は
Fuel
の
instance
では %n
エンティティー
は
CombustionChamber
の
instance
では %n
エンティティー
は
移動
の
instance
では %n
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
objectTransferred
エンティティー
and
エンティティー
物理
は
エンティティー
が 発生する
path
では %n の 目的 %n{ない}
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?PO)
(
buys
?BUYER ?SELLER ?PRODUCT)
(
confersObligation
(
exists
(?BUYING)
(
and
(
before
(
BeginFn
(
WhenFn
?PO))
(
BeginFn
(
WhenFn
?BUYING)))
(
instance
?BUYING
Buying
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?BUYING ?PRODUCT)
(
refers
?PO ?PRODUCT)
(
agent
?BUYING ?BUYER)
(
patient
?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29895-29915
エンティティー
は
PurchaseOrder
の
instance
では %n
記号文字列
認識エージェント
,
認識エージェント
and
エンティティー
記号文字列
の
unique
の識別子は
エンティティー
では %n
buys
認識エージェント
,
認識エージェント
and
エンティティー
認識エージェント
は
認識エージェント
にタイプ
エンティティー
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない}
エンティティー
は
購買
の
instance
では %n
エンティティー
は
製品
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
への
reference
を includes %n{ない}
認識エージェント
は
エンティティー
の
agent
では %n
認識エージェント
は
エンティティー
の
patient
では %n のタスクを実行する
obligate
s %n{ない}
(=>
(
instance
?PROC
Defecation
)
(
exists
(?FECES)
(
and
(
instance
?FECES
Feces
)
(
objectTransferred
?PROC ?FECES))))
Mid-level-ontology.kif 2146-2151
移動
は
Defecation
の
instance
では %n
オブジェクト
オブジェクト
は
Feces
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
instance
?PROC
Urination
)
(
exists
(?URINE)
(
and
(
instance
?URINE
Urine
)
(
objectTransferred
?PROC ?URINE))))
Mid-level-ontology.kif 2134-2139
移動
は
Urination
の
instance
では %n
オブジェクト
オブジェクト
は
Urine
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
instance
?PROCESS
Raining
)
(
exists
(?RAIN)
(
and
(
instance
?RAIN
Rain
)
(
objectTransferred
?PROCESS ?RAIN))))
Weather.kif 2965-2970
移動
は
Raining
の
instance
では %n
オブジェクト
オブジェクト
は
Rain
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
instance
?PROCESS
Sleeting
)
(
exists
(?STUFF ?R ?S ?MELT)
(
and
(
instance
?STUFF
Collection
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?R
Raindrop
)
(
instance
?S
Snowflake
)
(
member
?R ?STUFF)
(
member
?S ?STUFF)
(
instance
?MELT
Melting
)
(
subProcess
?MELT ?PROCESS)
(
patient
?MELT ?S))))
Weather.kif 1158-1170
移動
は
Sleeting
の
instance
では %n
コレクション
物理
,
物理
and
工程
コレクション
は
コレクション
の
instance
では %n
objectTransferred
移動
and
コレクション
物理
は
Raindrop
の
instance
では %n
物理
は
Snowflake
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
工程
は
溶融
の
instance
では %n
工程
は
移動
% の
subprocess
では %n
物理
は
工程
の
patient
では %n
(=>
(
instance
?PROCESS
Snowing
)
(
exists
(?SNOW)
(
and
(
instance
?SNOW
Snow
)
(
objectTransferred
?PROCESS ?SNOW))))
Weather.kif 2997-3002
移動
は
Snowing
の
instance
では %n
オブジェクト
オブジェクト
は
Snow
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
instance
?RAIN
Raining
)
(
exists
(?CLTN ?R ?CLASS)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
instance
?R ?CLASS
(
member
?R ?CLTN)
(
objectTransferred
?RAIN ?CLTN)
(
defaultMinimumSphereRadius
?CLASS
(
MeasureFn
0.1
Millimeter
))
(
defaultMaximumSphereRadius
?CLASS
(
MeasureFn
9.0
Millimeter
))))))
Weather.kif 1057-1070
エンティティー
は
Raining
の
instance
では %n
エンティティー
エンティティー
and
クラス
エンティティー
は
コレクション
の
instance
では %n
エンティティー
は
水
の
instance
では %n
エンティティー
は
LiquidDrop
の
instance
では %n
エンティティー
は
クラス
の
instance
では %n
(=>
(
instance
?ROOT
PlantRoot
)
(
hasPurpose
?ROOT
(
exists
(?TRAN ?STUFF ?HOST)
(
and
(
instance
?TRAN
Transfer
)
(
instrument
?TRAN ?ROOT)
(
origin
?TRAN ?HOST)
(
orientation
?HOST ?ROOT
Outside
)
(
objectTransferred
?TRAN ?STUFF)
(
or
(
instance
?STUFF
FreshWater
)
(
instance
?STUFF
Nutrient
))))))
Mid-level-ontology.kif 9507-9519
物理
は
PlantRoot
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
移動
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
Outside
対
物理
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
FreshWater
の
instance
では %n
エンティティー
は
栄養素[栄養物]
の
instance
では %n の 目的 %n{ない}
(=>
(
instance
?S
MilitarySurplus
)
(
exists
(?A ?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?A)
(
objectTransferred
?B ?S)
(
not
(
instance
?A
MilitaryOrganization
))
(
not
(
member
?A
MilitaryOrganization
)))))
Mid-level-ontology.kif 8406-8416
オブジェクト
は
MilitarySurplus
の
instance
では %n
物理
移動
移動
は
購買
の
instance
では %n
物理
は
移動
の
patient
では %n
objectTransferred
移動
and
オブジェクト
物理
は
MilitaryOrganization
の
instance
では
物理
は
MilitaryOrganization
の
member
では
(=>
(
instance
?S
Supercharger
)
(
hasPurpose
?S
(
exists
(?T ?IV ?A)
(
and
(
instance
?T
GasMotion
)
(
origin
?T ?S)
(
instance
?IV
IntakeValve
)
(
destination
?T ?IV)
(
instance
?A
Air
)
(
objectTransferred
?T ?A)
(
holdsDuring
(
WhenFn
?T)
(
attribute
?A
Pressurized
))))))
Cars.kif 5192-5204
物理
は
Supercharger
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
GasMotion
の
instance
では %n
エンティティー
は
物理
から
originate
s %n{ない}
エンティティー
は
IntakeValve
の
instance
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
Air
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
Pressurized
は
エンティティー
の
attribute
では %n は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?SE
ShrapnelExplosion
)
(
exists
(?M ?T)
(
and
(
instance
?M
Metal
)
(
instance
?T
Translocation
)
(
causes
?SE ?T)
(
objectTransferred
?T ?M))))
Medicine.kif 6281-6288
工程
は
ShrapnelExplosion
の
instance
では %n
オブジェクト
移動
オブジェクト
は
金属
の
instance
では %n
移動
は
Translocation
の
instance
では %n
工程
は
移動
を
cause
s %n{ない}
objectTransferred
移動
and
オブジェクト
(=>
(
instance
?SNOW
Snowing
)
(
exists
(?CLTN ?I)
(
and
(
instance
?CLTN
Collection
)
(
instance
?I
Ice
)
(
attribute
?I
MonoCrystalline
)
(
member
?I ?CLTN)
(
objectTransferred
?SNOW ?CLTN))))
Weather.kif 1141-1149
移動
は
Snowing
の
instance
では %n
コレクション
オブジェクト
コレクション
は
コレクション
の
instance
では %n
オブジェクト
は
Ice
の
instance
では %n
MonoCrystalline
は
オブジェクト
の
attribute
では %n
オブジェクト
は
コレクション
の
member
では %n
objectTransferred
移動
and
コレクション
(=>
(
instance
?SS
SandStorm
)
(
exists
(?SAND)
(
and
(
instance
?SAND
Sand
)
(
objectTransferred
?SS ?SAND))))
Weather.kif 1303-1308
移動
は
SandStorm
の
instance
では %n
オブジェクト
オブジェクト
は
Sand
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
instance
?STEM
PlantStem
)
(
hasPurpose
?STEM
(
exists
(?TRAN ?ROOT ?SUB)
(
and
(
instance
?TRAN
Transfer
)
(
instrument
?TRAN ?STEM)
(
instance
?ROOT
PlantRoot
)
(
origin
?TRAN ?ROOT)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Fluid
)
(
objectTransferred
?TRAN ?SUB)))))
Mid-level-ontology.kif 9546-9557
物理
は
PlantStem
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
移動
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
PlantRoot
の
instance
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
物質
の
instance
では %n
Fluid
は
エンティティー
の
attribute
では %n
objectTransferred
エンティティー
and
エンティティー
の 目的 %n{ない}
(=>
(
instance
?STUFF
Hailstone
)
(
exists
(?PROCESS ?CLTN)
(
and
(
instance
?PROCESS
Hailing
)
(
instance
?CLTN
Collection
)
(
objectTransferred
?PROCESS ?CLTN)
(
member
?STUFF ?CLTN))))
Weather.kif 3074-3081
物理
は
Hailstone
の
instance
では %n
移動
コレクション
移動
は
Hailing
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
objectTransferred
移動
and
コレクション
物理
は
コレクション
の
member
では %n
(=>
(
instance
?T
TearSubstance
)
(
hasPurpose
?T
(
exists
(?L ?EYE)
(
and
(
instance
?L
Lubricating
)
(
objectTransferred
?L ?T)
(
instance
?EYE
Eye
)
(
destination
?L ?EYE)))))
Mid-level-ontology.kif 12375-12383
物理
は
TearSubstance
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Lubricating
の
instance
では %n
objectTransferred
エンティティー
and
物理
エンティティー
は
Eye
の
instance
では %n
エンティティー
は
エンティティー
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?T
Transfusion
)
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
objectTransferred
?T ?B))))
Medicine.kif 5990-5995
移動
は
Transfusion
の
instance
では %n
オブジェクト
オブジェクト
は
血
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
instance
?TA
TopicalApplication
)
(
exists
(?M ?A ?S)
(
and
(
instance
?M
Medicine
)
(
instance
?A
Animal
)
(
instance
?S
Skin
)
(
part
?S ?A)
(
objectTransferred
?TA ?M)
(
destination
?M ?S))))
Mid-level-ontology.kif 12448-12457
移動
は
TopicalApplication
の
instance
では %n
オブジェクト
オブジェクト
and
オブジェクト
オブジェクト
は
Medicine
の
instance
では %n
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
Skin
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
に
end
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