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
thresholdOf
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 and
Transfer
(
domain
objectTransferred
2
Object
)
Merge.kif 11333-11333
域
objectTransferred
, 2 and
Object
(
instance
objectTransferred
CaseRole
)
Merge.kif 11330-11330
例
objectTransferred
and
CaseRole
(
subrelation
objectTransferred
patient
)
Merge.kif 11331-11331
子關係
objectTransferred
and
患者
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
and
objectTransferred
(
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
例
Transfer
and
遺贈
agent
Transfer
and
AutonomousAgent
目的地
Transfer
and
Entity
objectTransferred
Transfer
and
AutonomousAgent
ROP
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Transfer
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
AutonomousAgent
ROP
AutonomousAgent
confers
規範
擁有
Entity
and
AutonomousAgent
ROP 對於
允許
(=>
(
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
例
Transfer
and
BreakthroughInfection
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
體驗者
Transfer
and
AutonomousAgent
Object
AX
例
Object
AX and
Vaccination
體驗者
Object
AX and
AutonomousAgent
vaccine
Object
ACCINECLASS and
Object
C
例
Object
ACCINE and
Object
ACCINECLASS
objectTransferred
Object
AX and
Object
ACCINE
早期
何時
Object
AX and
何時
Transfer
(=>
(
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
例
CorpuscularObject
and
Exhaust
材料
汽油
and
CorpuscularObject
例
Transfer
and
Transfer
例
CorpuscularObject
NG and
發動機
起源
Transfer
and
CorpuscularObject
NG
例
Physical
and
CatalyticConverter
目的地
Transfer
and
Physical
objectTransferred
Transfer
and
CorpuscularObject
有目的
Physical
and
entity
例
entity
and
Combustion
儀器
entity
and
Physical
患者
entity
and
CorpuscularObject
entity
是
located
在
Physical
(=>
(
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
例
Object
and
Electromagnet
例
Transfer
and
Transfer
例
Object
and
電力
objectTransferred
Transfer
and
Object
路徑
Transfer
and
Object
Process
例
Process
and
磁
儀器
Process
and
Object
(=>
(
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
例
Entity
and
Electromagnet
持有期間
TimePosition
and
entity
entity
例
entity
and
Transfer
例
entity
and
電力
objectTransferred
entity
and
entity
路徑
entity
and
Entity
持有期間
TimePosition
and
entity
例
entity
and
磁
儀器
entity
and
Entity
(=>
(
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
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
pathologicSideEffect
Object
C and
Object
IS
模態屬性
entity
例
entity
and
Object
IS
體驗者
AutonomousAgent
and
entity
and
容易
(=>
(
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
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
Object
IS 是服用
Object
C 的
side
effect
模態屬性
attribute
AutonomousAgent
and
Object
IS and
容易
(=>
(
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
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
MoodStabilizer
例
Process
and
Process
C
AutonomousAgent
是事件
Process
的
involved
持有期間
何時
Process
and
attribute
AutonomousAgent
and
Process
S
例
Process
S and
EmotionalState
例
Process
2 and
Process
C
AutonomousAgent
是事件
Process
2 的
involved
早期
何時
Process
2 and
何時
Transfer
模態屬性
持有期間
Process
2 and
attribute
AutonomousAgent
and
Process
S and
較不可能
(=>
(
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
例
Transfer
and
Ingesting
objectTransferred
Transfer
and
Object
例
Object
and
迷幻劑
目的地
Transfer
and
Entity
模態屬性
Object
AL
例
Object
AL and
Hallucination
體驗者
Object
AL and
Entity
and
容易
(=>
(
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
例
Transfer
and
注射
例
Object
and
Adalimumab
objectTransferred
Transfer
and
Object
位於
Transfer
and
Object
例
Object
and
BodyPart
目的地
Transfer
and
Entity
模態屬性
entity
持有期間
entity
and
attribute
Entity
and
PainFn
Object
期間
entity
and
未來
何時
Transfer
and
容易
(=>
(
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
例
Transfer
and
Intubation
例
Object
and
管
objectTransferred
Transfer
and
Object
體驗者
Transfer
and
AutonomousAgent
Object
H
例
Object
H and
Trachea
部分
Object
H and
AutonomousAgent
目的地
Transfer
and
Object
H
(=>
(
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
例
Transfer
and
Intubation
例
Object
and
管
objectTransferred
Transfer
and
Object
體驗者
Transfer
and
AutonomousAgent
有目的
Transfer
and
entity
例
entity
and
Breathing
儀器
entity
and
Object
(=>
(
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
例
Transfer
and
MoveToEvac
objectTransferred
Transfer
and
Object
有目的
Transfer
and
entity
例
entity
and
疏散
objectTransferred
entity
and
Object
早期
何時
Transfer
and
何時
entity
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11352-11357
例
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
方位
Object
,
Object
and
內
objectTransferred
Transfer
and
Object
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
例
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
方位
Object
,
Object
and
上
objectTransferred
Transfer
and
Object
(=>
(
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
例
Transfer
and
Vending
objectTransferred
Transfer
and
Object
例
Object
and
貨幣
模態屬性
例
Object
and
food
for
Human
例
Object
and
Beverage
and
容易
(=>
(
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
例
Object
and
VentedChestSeal
例
Transfer
and
Attaching
objectTransferred
Transfer
and
Object
目的地
Transfer
and
Entity
有目的
Object
and
Transfer
entity
,
entity
and
Entity
例
Transfer
and
空氣
例
entity
and
肺
例
entity
and
Chest
部分
entity
and
Entity
部分
entity
and
Entity
持有期間
不久的過去
何時
Transfer
and
之間
entity
,
Transfer
and
entity
有目的
Object
and
持有期間
眼前的未來
何時
Transfer
and
方位
Transfer
,
Entity
and
外
(=>
(
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
Virus
例
Transfer
and
Vaccination
體驗者
Transfer
and
AutonomousAgent
例
Vaccine
I and
Vaccine
objectTransferred
Transfer
and
Vaccine
I
有目的
Vaccine
I and
entity
Virus
I
例
entity
and
Infecting
體驗者
entity
and
AutonomousAgent
例
Virus
I and
Virus
objectTransferred
entity
and
Virus
I
(=>
(
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
Transfer
and
Object
Object
Entity
起源
Transfer
and
Object
目的地
Transfer
and
Entity
持有期間
不久的過去
Transfer
and
位於
Object
and
Object
持有期間
眼前的未來
Transfer
and
位於
Object
and
Entity
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
and
Animal
例
Attribute
and
DiseaseOrSyndrome
attribute
AutonomousAgent
and
Attribute
Transfer
Object
例
Transfer
and
BiologicalProcess
例
Transfer
and
Removing
起源
Transfer
and
AutonomousAgent
例
Object
and
污水
agent
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
(=>
(
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
例
SelfConnectedObject
and
AutomobileShock
例
Process
and
Compressing
例
HoleRegion
and
HoleRegion
attribute
Object
and
流體
等於
SelfConnectedObject
and
洞主持人
HoleRegion
包含
SelfConnectedObject
and
Object
患者
Process
and
SelfConnectedObject
Transfer
例
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
路徑
Transfer
and
HoleRegion
原因
Process
and
Transfer
(=>
(
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
例
Transfer
and
BreakthroughInfection
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
體驗者
Transfer
and
AutonomousAgent
Object
AX
例
Object
AX and
Vaccination
體驗者
Object
AX and
AutonomousAgent
vaccine
Object
ACCINECLASS and
Object
C
例
Object
ACCINE and
Object
ACCINECLASS
objectTransferred
Object
AX and
Object
ACCINE
早期
何時
Object
AX and
何時
Transfer
(=>
(
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
例
Process
and
Coughing
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
,
entity
and
entity
例
entity
and
肺
例
entity
and
喉
例
entity
and
Object
例
entity
and
Removing
部分
entity
and
AutonomousAgent
部分
entity
and
AutonomousAgent
objectTransferred
entity
and
entity
持有期間
不久的過去
何時
Process
and
位於
entity
and
entity
位於
entity
and
entity
(=>
(
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
例
Transfer
and
Crying
體驗者
Transfer
and
AutonomousAgent
Object
Object
例
Object
and
淚液
起源
Transfer
and
Object
objectTransferred
Transfer
and
Object
例
Object
and
眼睛
部分
Object
and
AutonomousAgent
(=>
(
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
例
Process
and
Sneezing
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
,
entity
OSE and
entity
例
entity
and
NasalCavity
例
entity
OSE and
鼻子
等於
entity
OSE and
洞主持人
entity
例
entity
and
Object
例
entity
and
Removing
部分
entity
OSE and
AutonomousAgent
objectTransferred
entity
and
entity
持有期間
不久的過去
何時
Process
and
位於
entity
and
entity
(=>
(
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
例
Process
and
塵暴
例
Process
and
風
子過程
Process
and
Process
Transfer
Object
,
Object
,
Object
,
Object
and
RealNumber
例
Object
and
LandArea
Process
是
located
在
Object
測量
RealNumber
and
結速度單位
是
Object
的
surface
風速
比較多
RealNumber
and 30.0
例
Transfer
and
易位
子過程
Transfer
and
Process
objectTransferred
Transfer
and
Object
objectTransferred
Transfer
and
Object
例
Object
and
ParticulateMatter
例
Object
and
砂
例
Object
and
LandArea
目的地
Transfer
and
Object
在空間上重疊
Object
and
Object
(=>
(
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
例
Physical
and
HeartAttack
例
Object
and
心
位於
Physical
and
Object
Object
例
Object
and
Muscle
部分
Object
and
Object
TimeInterval
Object
例
TimeInterval
and
液體運動
objectTransferred
TimeInterval
and
Object
例
Object
and
Blood
期間
TimeInterval
and
何時
Physical
目的地
TimeInterval
and
Object
(=>
(
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
例
Physical
and
Stroke
例
Object
and
腦
位於
Physical
and
Object
Object
例
Object
and
神經細胞
部分
Object
and
Object
TimeInterval
Object
例
TimeInterval
and
液體運動
objectTransferred
TimeInterval
and
Object
例
Object
and
Blood
期間
TimeInterval
and
何時
Physical
目的地
TimeInterval
and
Object
(=>
(
and
(
instance
?LECS
AirEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?A)
(
and
(
instance
?A
Air
)
(
objectTransferred
?C ?A))))
Cars.kif 2182-2190
例
Object
and
AirEngineCoolingSystem
例
Transfer
and
Cooling
儀器
Transfer
and
Object
Object
例
Object
and
空氣
objectTransferred
Transfer
and
Object
(=>
(
and
(
instance
?LECS
LiquidEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?L)
(
and
(
attribute
?L
Liquid
)
(
objectTransferred
?C ?L))))
Cars.kif 2166-2174
例
Object
and
LiquidEngineCoolingSystem
例
Transfer
and
Cooling
儀器
Transfer
and
Object
Object
attribute
Object
and
液體
objectTransferred
Transfer
and
Object
(=>
(
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
例
Transfer
and
MoveToEvac
objectTransferred
Transfer
and
Object
有目的
Transfer
and
entity
例
entity
and
疏散
objectTransferred
entity
and
Object
早期
何時
Transfer
and
何時
entity
(=>
(
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
例
Entity
and
Prescription
例
Object
and
醫學
參照
Entity
and
Object
Entity
HARM
Transfer
例
Transfer
and
Selling
objectTransferred
Transfer
and
Object
agent
Transfer
and
Entity
HARM
attribute
Transfer
and
藥劑師
(=>
(
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
例
Process
and
說話
例
Object
and
Jaw
agent
Process
and
AutonomousAgent
部分
Object
and
AutonomousAgent
模態屬性
entity
例
entity
and
BodyMotion
objectTransferred
entity
and
Object
期間
何時
entity
and
何時
Process
and
容易
(=>
(
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
例
Transfer
and
Swallowing
agent
Transfer
and
AutonomousAgent
Object
Object
,
Transfer
T and
Object
例
Object
and
口
例
Object
and
Esophagus
例
Transfer
T and
胃
objectTransferred
Transfer
and
Object
起源
Transfer
and
Object
目的地
Transfer
and
Transfer
T
路徑
Transfer
and
Object
(=>
(
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
例
Transfer
and
Drooling
體驗者
Transfer
and
AutonomousAgent
Object
Object
例
Object
and
口
objectTransferred
Transfer
and
Object
例
Object
and
Saliva
部分
Object
and
AutonomousAgent
起源
Transfer
and
Object
(=>
(
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
例
Transfer
and
軟體更新
患者
Transfer
and
Entity
例
Entity
and
電腦
Object
objectTransferred
Transfer
and
Object
例
Object
and
ComputerProgram
持有期間
開始
何時
Transfer
and
softwareVersion
Object
and
PreviousVersion
持有期間
結束
何時
Transfer
and
softwareVersion
Object
and
CurrentVersion
(=>
(
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
例
Transfer
and
Thoracentesis
患者
Transfer
and
Object
Transfer
Object
,
Transfer
N,
Object
,
Object
and
Object
例
Transfer
and
插入
子過程
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
起源
Transfer
and
Object
目的地
Transfer
and
Transfer
N
例
Object
and
Needle
attribute
Object
and
流體
objectTransferred
Transfer
and
Object
目的地
Object
and
Object
例
Object
and
肺
例
Object
and
Chest
部分
Object
and
Object
部分
Object
and
Object
起源
Transfer
and
Transfer
N
目的地
Transfer
and
Object
之間
Object
,
Transfer
N and
Object
方位
Object
,
Object
and
外
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11352-11357
例
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
方位
Object
,
Object
and
內
objectTransferred
Transfer
and
Object
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
例
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
方位
Object
,
Object
and
上
objectTransferred
Transfer
and
Object
(=>
(
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
屬性
Physical
and
啟動中
例
Physical
and
電腦
Object
Object
and
Transfer
例
Object
and
數字數據
例
Object
and
操作系統
例
Transfer
and
數據傳輸
期間
何時
Transfer
and
何時
Physical
目的地
Transfer
and
Physical
部分
Object
and
Object
objectTransferred
Transfer
and
Object
(=>
(
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
Integer
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Collection
Object
是
entity
的
member
類別
Quantity
是
entity
的
member
計數
擁有
CognitiveAgent
and
entity
(=>
(
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
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Integer
例
Integer
and
Integer
Transfer
Collection
例
Transfer
and
Buying
期間
何時
Transfer
and
TimeInterval
objectTransferred
Transfer
and
Collection
CurrencyMeasure
是
Transfer
的
transaction
總額
agent
Transfer
and
AutonomousAgent
例
Collection
and
Collection
Object
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
擁有
AutonomousAgent
and
Collection
(=>
(
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
PhysicalQuantity
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Object
測量
entity
and
Quantity
擁有
CognitiveAgent
and
entity
(=>
(
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
,
Object
,
CurrencyMeasure
,
TimeInterval
and
PhysicalQuantity
例
PhysicalQuantity
and
PhysicalQuantity
Transfer
Object
例
Transfer
and
Buying
期間
何時
Transfer
and
TimeInterval
objectTransferred
Transfer
and
Object
CurrencyMeasure
是
Transfer
的
transaction
總額
agent
Transfer
and
AutonomousAgent
例
Object
and
Object
測量
Object
and
PhysicalQuantity
擁有
AutonomousAgent
and
Object
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
and ?D
例
?D and
下載
儀器
?D and
iBookstore
例
?T and
Text
objectTransferred
?D and ?T
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