Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
objectTransferred
Sigma KEE - objectTransferred
objectTransferred
appearance as argument number 1
(
documentation
objectTransferred
EnglishLanguage
"A relation that specifies the object that is transferred during the process. For example, in a
Mailing
process, the object transferred is a letter or package.")
Merge.kif 11335-11337
(
domain
objectTransferred
1
Transfer
)
Merge.kif 11332-11332
objectTransferred
の数値 1 引数は
移動
の
instance
では %n
(
domain
objectTransferred
2
Object
)
Merge.kif 11333-11333
objectTransferred
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
objectTransferred
CaseRole
)
Merge.kif 11330-11330
objectTransferred
は
格役割
の
instance
では %n
(
subrelation
objectTransferred
patient
)
Merge.kif 11331-11331
objectTransferred
は
patient
の
subrelation
では %n
appearance as argument number 2
(
format
EnglishLanguage
objectTransferred
"the object transferred in %1 is %n %2")
Merge.kif 11334-11334
(
subrelation
passenger
objectTransferred
)
Mid-level-ontology.kif 30761-30761
passenger
は
objectTransferred
の
subrelation
では %n
(
termFormat
EnglishLanguage
objectTransferred
"object transferred")
domainEnglishFormat.kif 65887-65887
antecedent
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18679-18695
移動
は
Bequeathing
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
移動
は
エンティティー
に
end
s %n{ない}
objectTransferred
移動
and
AutonomousAgent
ROP
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
AutonomousAgent
は
AutonomousAgent
ROP を
possess
es %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
confersNorm
AutonomousAgent
,
エンティティー
は
AutonomousAgent
ROP を
possess
es %n{ない} and
Permission
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
移動
は
BreakthroughInfection
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
C の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
オブジェクト
AX
オブジェクト
AX は
Vaccination
の
instance
では %n
AutonomousAgent
が
オブジェクト
AX を
experience
s %n{ない}
vaccine
オブジェクト
ACCINECLASS and
オブジェクト
C
オブジェクト
ACCINE は
オブジェクト
ACCINECLASS の
instance
では %n
objectTransferred
オブジェクト
AX and
オブジェクト
ACCINE
オブジェクト
AX の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
微粒子オブジェクト
は
Exhaust
の
instance
では %n
Fuel
は
微粒子オブジェクト
で
made
%n
移動
は
移動
の
instance
では %n
微粒子オブジェクト
NG は
Engine
の
instance
では %n
移動
は
微粒子オブジェクト
NG から
originate
s %n{ない}
物理
は
CatalyticConverter
の
instance
では %n
移動
は
物理
に
end
s %n{ない}
objectTransferred
移動
and
微粒子オブジェクト
物理
は
エンティティー
エンティティー
は
燃焼
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
微粒子オブジェクト
は
エンティティー
の
patient
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
and
(
instance
?EM
Electromagnet
)
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))
Cars.kif 3893-3903
オブジェクト
は
Electromagnet
の
instance
では %n
移動
は
移動
の
instance
では %n
オブジェクト
は
Electricity
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
移動
が 発生する
path
では %n
工程
工程
は
Magnetism
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
エンティティー
は
Electromagnet
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
移動
の
instance
では %n
エンティティー
は
Electricity
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
が 発生する
path
では %n は
エンティティー
1 の
during
hold ない
エンティティー
エンティティー
は
Magnetism
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n は
エンティティー
1 の
during
hold ない
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
移動
は
摂取
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
C の
instance
では %n
pathologicSideEffect
オブジェクト
C and
オブジェクト
IS
ステートメント
エンティティー
エンティティー
は
オブジェクト
IS の
instance
では %n
エンティティー
が
AutonomousAgent
を
experience
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
移動
は
摂取
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
C の
instance
では %n
sideEffect
オブジェクト
C and
オブジェクト
IS
ステートメント
オブジェクト
IS は
AutonomousAgent
の
attribute
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
移動
は
摂取
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
MoodStabilizer
の
instance
では %n
工程
は
工程
C の
instance
では %n
involvedInEvent
工程
and
AutonomousAgent
工程
S は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
工程
S は
感情状態
の
instance
では %n
工程
2 は
工程
C の
instance
では %n
involvedInEvent
工程
2 and
AutonomousAgent
工程
2 の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
ステートメント
工程
S は
AutonomousAgent
の
attribute
では %n は
工程
2 の
during
hold ない には
Unlikely
の
modal
force
が ある
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
移動
は
摂取
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Hallucinogen
の
instance
では %n
移動
は
エンティティー
に
end
s %n{ない}
ステートメント
オブジェクト
AL
オブジェクト
AL は
Hallucination
の
instance
では %n
エンティティー
が
オブジェクト
AL を
experience
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
移動
は
Injecting
の
instance
では %n
オブジェクト
は
Adalimumab
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
に
located
して %n
オブジェクト
は
体の部分
の
instance
では %n
移動
は
エンティティー
に
end
s %n{ない}
ステートメント
エンティティー
PainFn
オブジェクト
は
エンティティー
の
attribute
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
は
移動
の
time
の existence の
after
の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
移動
は
Intubation
の
instance
では %n
オブジェクト
は
Tube
の
instance
では %n
objectTransferred
移動
and
オブジェクト
AutonomousAgent
が
移動
を
experience
s %n{ない}
移動
は
エンティティー
エンティティー
は
呼吸
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?M
MoveToEvac
)
(
objectTransferred
?M ?P))
(
hasPurpose
?M
(
exists
(?E)
(
and
(
instance
?E
Evacuation
)
(
objectTransferred
?E ?P)
(
earlier
(
WhenFn
?M)
(
WhenFn
?E))))))
Medicine.kif 6532-6543
移動
は
MoveToEvac
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
エンティティー
エンティティー
は
Evacuation
の
instance
では %n
objectTransferred
エンティティー
and
オブジェクト
移動
の
time
の existence は
エンティティー
の
time
の existence より
earlier
happens %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11352-11357
移動
は
移動
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
2 は
Inside
対
オブジェクト
では %n
objectTransferred
移動
and
オブジェクト
2
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
移動
は
移動
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
2 は
On
対
オブジェクト
では %n
objectTransferred
移動
and
オブジェクト
2
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
移動
は
Vending
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Currency
の
instance
では
ステートメント
オブジェクト
は
FoodForFn
人[人間]
の
instance
では %n
オブジェクト
は
飲料
の
instance
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
オブジェクト
は
VentedChestSeal
の
instance
では %n
移動
は
取付け
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
移動
エンティティー
,
エンティティー
and
エンティティー
移動
は
Air
の
instance
では %n
エンティティー
は
Lung
の
instance
では %n
エンティティー
は
Chest
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
移動
は
エンティティー
と
エンティティー
の
between
では %n は
移動
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
移動
は
Outside
対
エンティティー
では %n は
移動
の
time
の existence の すぐ
after
の
during
holds %n{ない} の 目的 %n{ない} の 目的 %n{ない}
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
vaccine
Vaccine
and
ウイルス
移動
は
Vaccination
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
Vaccine
I は
Vaccine
の
instance
では %n
objectTransferred
移動
and
Vaccine
I
Vaccine
I は
エンティティー
ウイルス
I
エンティティー
は
Infecting
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
ウイルス
I は
ウイルス
の
instance
では %n
objectTransferred
エンティティー
and
ウイルス
I の 目的 %n{ない}
(=>
(
objectTransferred
?P ?OBJ)
(
exists
(?O ?D)
(
and
(
origin
?P ?O)
(
destination
?P ?D)
(
holdsDuring
(
ImmediatePastFn
?P)
(
located
?OBJ ?O))
(
holdsDuring
(
ImmediateFutureFn
?P)
(
located
?OBJ ?D)))))
Merge.kif 11339-11350
objectTransferred
移動
and
オブジェクト
オブジェクト
エンティティー
移動
は
オブジェクト
から
originate
s %n{ない}
移動
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
オブジェクト
に
located
して %n は
移動
の immediately
before
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
移動
の すぐ
after
の
during
holds %n{ない}
consequent
(=>
(
and
(
instance
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2162-2175
AutonomousAgent
は
動物
の
instance
では %n
属性
は
病気または症候群
の
instance
では %n
属性
は
AutonomousAgent
の
attribute
では
移動
オブジェクト
移動
は
生物学的プロセス
の
instance
では %n
移動
は
除却
の
instance
では %n
移動
は
AutonomousAgent
から
originate
s %n{ない}
オブジェクト
は
Sewage
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
自己接続オブジェクト
は
AutomobileShock
の
instance
では %n
工程
は
Compressing
の
instance
では %n
HoleRegion
は
HoleRegion
の
instance
では %n
Fluid
は
オブジェクト
の
attribute
では %n
自己接続オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
自己接続オブジェクト
は
工程
の
patient
では %n
移動
移動
は
移動
の
instance
では %n
objectTransferred
移動
and
オブジェクト
HoleRegion
は
移動
が 発生する
path
では %n
工程
は
移動
を
cause
s %n{ない}
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
移動
は
BreakthroughInfection
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
C の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
オブジェクト
AX
オブジェクト
AX は
Vaccination
の
instance
では %n
AutonomousAgent
が
オブジェクト
AX を
experience
s %n{ない}
vaccine
オブジェクト
ACCINECLASS and
オブジェクト
C
オブジェクト
ACCINE は
オブジェクト
ACCINECLASS の
instance
では %n
objectTransferred
オブジェクト
AX and
オブジェクト
ACCINE
オブジェクト
AX の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6056-6075
工程
は
Coughing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Lung
の
instance
では %n
エンティティー
は
Throat
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
は
AutonomousAgent
の
part
では %n
エンティティー
は
AutonomousAgent
の
part
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
exists
(?T ?E)
(
and
(
instance
?T
TearSubstance
)
(
origin
?C ?E)
(
objectTransferred
?C ?T)
(
instance
?E
Eye
)
(
part
?E ?H))))
emotion.kif 1129-1139
移動
は
Crying
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
オブジェクト
オブジェクト
オブジェクト
は
TearSubstance
の
instance
では %n
移動
は
オブジェクト
から
originate
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Eye
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6122-6140
工程
は
Sneezing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
,
エンティティー
OSE and
エンティティー
エンティティー
は
NasalCavity
の
instance
では %n
エンティティー
OSE は
Nose
の
instance
では %n
エンティティー
OSE は ホール
エンティティー
の
host
と
equal
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
OSE は
AutonomousAgent
の
part
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
工程
は
DustStorm
の
instance
では %n
工程
は
Wind
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
移動
オブジェクト
,
オブジェクト
,
オブジェクト
,
オブジェクト
and
実数
オブジェクト
は
土地面積
の
instance
では %n
eventLocated
工程
and
オブジェクト
surfaceWindSpeed
オブジェクト
and
実数
の
KnotUnitOfSpeed
(s)
実数
は 30.0 より
greater
では %n
移動
は
Translocation
の
instance
では %n
移動
は
工程
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
objectTransferred
移動
and
オブジェクト
オブジェクト
は
ParticulateMatter
の
instance
では %n
オブジェクト
は
Sand
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
移動
は
オブジェクト
に
end
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
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
?LECS
AirEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?A)
(
and
(
instance
?A
Air
)
(
objectTransferred
?C ?A))))
Cars.kif 2182-2190
オブジェクト
は
AirEngineCoolingSystem
の
instance
では %n
移動
は
冷却
の
instance
では %n
オブジェクト
は
移動
の
instrument
では %n
オブジェクト
オブジェクト
は
Air
の
instance
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
and
(
instance
?LECS
LiquidEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?L)
(
and
(
attribute
?L
Liquid
)
(
objectTransferred
?C ?L))))
Cars.kif 2166-2174
オブジェクト
は
LiquidEngineCoolingSystem
の
instance
では %n
移動
は
冷却
の
instance
では %n
オブジェクト
は
移動
の
instrument
では %n
オブジェクト
Liquid
は
オブジェクト
の
attribute
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
and
(
instance
?M
MoveToEvac
)
(
objectTransferred
?M ?P))
(
hasPurpose
?M
(
exists
(?E)
(
and
(
instance
?E
Evacuation
)
(
objectTransferred
?E ?P)
(
earlier
(
WhenFn
?M)
(
WhenFn
?E))))))
Medicine.kif 6532-6543
移動
は
MoveToEvac
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
エンティティー
エンティティー
は
Evacuation
の
instance
では %n
objectTransferred
エンティティー
and
オブジェクト
移動
の
time
の existence は
エンティティー
の
time
の existence より
earlier
happens %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?P
Prescription
)
(
instance
?M
Medicine
)
(
refers
?P ?M))
(
exists
(?PHARM ?S)
(
and
(
instance
?S
Selling
)
(
objectTransferred
?S ?M)
(
agent
?S ?PHARM)
(
attribute
?S
Pharmacist
))))
Mid-level-ontology.kif 9278-9288
エンティティー
は
Prescription
の
instance
では %n
オブジェクト
は
Medicine
の
instance
では %n
エンティティー
は
オブジェクト
への
reference
を includes %n{ない}
エンティティー
HARM
移動
移動
は
販売
の
instance
では %n
objectTransferred
移動
and
オブジェクト
エンティティー
HARM は
移動
の
agent
では %n
Pharmacist
は
移動
の
attribute
では %n
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
工程
は
Speaking
の
instance
では %n
オブジェクト
は
Jaw
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
ステートメント
エンティティー
エンティティー
は
動作
の
instance
では %n
objectTransferred
エンティティー
and
オブジェクト
エンティティー
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?S
Swallowing
)
(
agent
?S ?H))
(
exists
(?M ?E ?ST ?O)
(
and
(
instance
?M
Mouth
)
(
instance
?E
Esophagus
)
(
instance
?ST
Stomach
)
(
objectTransferred
?S ?O)
(
origin
?S ?M)
(
destination
?S ?ST)
(
path
?S ?E))))
Mid-level-ontology.kif 6595-6607
移動
は
Swallowing
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
オブジェクト
オブジェクト
,
移動
T and
オブジェクト
オブジェクト
は
Mouth
の
instance
では %n
オブジェクト
は
Esophagus
の
instance
では %n
移動
T は
Stomach
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
から
originate
s %n{ない}
移動
は
移動
T に
end
s %n{ない}
オブジェクト
は
移動
が 発生する
path
では %n
(=>
(
and
(
instance
?SPIT
Drooling
)
(
experiencer
?SPIT ?ANIMAL))
(
exists
(?MOUTH ?S)
(
and
(
instance
?MOUTH
Mouth
)
(
objectTransferred
?SPIT ?S)
(
instance
?S
Saliva
)
(
part
?MOUTH ?ANIMAL)
(
origin
?SPIT ?MOUTH))))
Mid-level-ontology.kif 6567-6577
移動
は
Drooling
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
オブジェクト
オブジェクト
オブジェクト
は
Mouth
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Saliva
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
移動
は
オブジェクト
から
originate
s %n{ない}
(=>
(
and
(
instance
?SU
SoftwareUpgrading
)
(
patient
?SU ?C)
(
instance
?C
Computer
))
(
exists
(?P)
(
and
(
objectTransferred
?SU ?P)
(
instance
?P
ComputerProgram
)
(
holdsDuring
(
BeginFn
(
WhenFn
?SU)
(
softwareVersion
?P
PreviousVersion
)))
(
holdsDuring
(
EndFn
(
WhenFn
?SU)
(
softwareVersion
?P
CurrentVersion
))))))
ComputingBrands.kif 3826-3840
移動
は
ソフトウェアの更新
の
instance
では %n
エンティティー
は
移動
の
patient
では %n
エンティティー
は
Computer
の
instance
では %n
オブジェクト
objectTransferred
移動
and
オブジェクト
オブジェクト
は
コンピュータープログラム
の
instance
では %n は
移動
の
time
の existence の
beginning
の
during
holds %n{ない} は
移動
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
移動
は
Thoracentesis
の
instance
では %n
オブジェクト
は
移動
の
patient
では %n
移動
オブジェクト
,
移動
N,
オブジェクト
,
オブジェクト
and
オブジェクト
移動
は
Inserting
の
instance
では %n
移動
は
移動
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
から
originate
s %n{ない}
移動
は
移動
N に
end
s %n{ない}
オブジェクト
は
Needle
の
instance
では %n
Fluid
は
オブジェクト
の
attribute
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
Chest
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
移動
は
移動
N から
originate
s %n{ない}
移動
は
オブジェクト
に
end
s %n{ない}
移動
N は
オブジェクト
と
オブジェクト
の
between
では %n
オブジェクト
は
Outside
対
オブジェクト
では %n
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11352-11357
移動
は
移動
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
2 は
Inside
対
オブジェクト
では %n
objectTransferred
移動
and
オブジェクト
2
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
移動
は
移動
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
2 は
On
対
オブジェクト
では %n
objectTransferred
移動
and
オブジェクト
2
(=>
(
and
(
property
?X
Booting
)
(
instance
?X
Computer
))
(
exists
(?CD ?OS ?DT)
(
and
(
instance
?CD
DigitalData
)
(
instance
?OS
OperatingSystem
)
(
instance
?DT
DataTransfer
)
(
during
(
WhenFn
?DT)
(
WhenFn
?X))
(
destination
?DT ?X)
(
part
?CD ?OS)
(
objectTransferred
?DT ?CD))))
ComputingBrands.kif 3217-3229
物理
には
attribute
起動
%n{ない}
物理
は
Computer
の
instance
では %n
オブジェクト
オブジェクト
and
移動
オブジェクト
は
DigitalData
の
instance
では %n
オブジェクト
は
OperatingSystem
の
instance
では %n
移動
は
DataTransfer
の
instance
では %n
移動
の
time
の existence は
物理
の
time
の existence の
during
に takes %n{ない}
移動
は
物理
に
end
s %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
量
は
整数
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
エンティティー
and
エンティティー
transactionAmount
エンティティー
and
通貨測定
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
コレクション
の
instance
では %n
memberType
エンティティー
and
オブジェクト
memberCount
エンティティー
and
量
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30923-30938
shortage
AutonomousAgent
,
オブジェクト
,
通貨測定
,
時間間隔
and
整数
整数
は
整数
の
instance
では %n
移動
コレクション
移動
は
購買
の
instance
では %n
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
移動
and
コレクション
transactionAmount
移動
and
通貨測定
AutonomousAgent
は
移動
の
agent
では %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
オブジェクト
memberCount
コレクション
and
整数
AutonomousAgent
は
コレクション
を
possess
es %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
量
は
物理量
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
エンティティー
and
エンティティー
transactionAmount
エンティティー
and
通貨測定
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
量
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30940-30954
shortage
AutonomousAgent
,
オブジェクト
,
通貨測定
,
時間間隔
and
物理量
物理量
は
物理量
の
instance
では %n
移動
オブジェクト
移動
は
購買
の
instance
では %n
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
移動
and
オブジェクト
transactionAmount
移動
and
通貨測定
AutonomousAgent
は
移動
の
agent
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
の
measure
は
物理量
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
hasPurpose
IBookstore
(
exists
(?D)
(
and
(
instance
?D
DownloadingOverNetwork
)
(
instrument
?D
IBookstore
)
(
instance
?T
Text
)
(
objectTransferred
?D ?T))))
ComputingBrands.kif 3309-3315
IBookstore
は ?D ?D は
DownloadingOverNetwork
の
instance
では %n
iBookstore
は ?D の
instrument
では %n ?T は
テキスト
の
instance
では %n
objectTransferred
?D and ?T の 目的 %n{ない}
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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