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
HoleHostFn
Sigma KEE - HoleHostFn
HoleHostFn
appearance as argument number 1
(
documentation
HoleHostFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
HoleRegion
和属于它 主要主体的
Object
联系起来。一个
HoleRegion
的主要主体是和它最大程度相连的主体(这个概念在这里要符合这个定义 时才能算是一个洞)。")
chinese_format.kif 2863-2865
(
documentation
HoleHostFn
EnglishLanguage
"A
UnaryFunction
that maps a
HoleRegion
to the
Object
which is its principal host. The principle host of a
HoleRegion
is its maximally connected host (a notion taken here to be defined only when the argument is a hole).")
Merge.kif 9930-9933
(
documentation
HoleHostFn
JapaneseLanguage
"A
UnaryFunction
は、
Hole
を主ホストである
Object
にマップする。
Hole
の原理ホストは、その最大に接続されたホストである (引数がホールである 場合にのみ定義される概念)。")
japanese_format.kif 1610-1612
(
domain
HoleHostFn
1
HoleRegion
)
Merge.kif 9927-9927
域
洞主持人
, 1 and
HoleRegion
(
instance
HoleHostFn
UnaryFunction
)
Merge.kif 9924-9924
例
洞主持人
and
UnaryFunction
(
range
HoleHostFn
Object
)
Merge.kif 9928-9928
範圍
洞主持人
and
Object
appearance as argument number 2
(
format
ChineseLanguage
HoleHostFn
"洞 %1 的主体")
chinese_format.kif 401-401
(
format
EnglishLanguage
HoleHostFn
"the host of the hole %1")
english_format.kif 407-407
(
format
FrenchLanguage
HoleHostFn
"l h�te du trou %1")
french_format.kif 231-231
(
format
JapaneseLanguage
HoleHostFn
"ホール %1 の host")
japanese_format.kif 2033-2033
(
format
PortugueseLanguage
HoleHostFn
"o dono do buraco %1")
portuguese_format.kif 183-183
(
format
ro
HoleHostFn
"host%t{gazda} deshizãturii %1")
relations-ro.kif 251-251
(
termFormat
ChineseLanguage
HoleHostFn
"洞主体函数")
chinese_format.kif 402-402
(
termFormat
ChineseLanguage
HoleHostFn
"洞主持人")
domainEnglishFormat.kif 28371-28371
(
termFormat
ChineseTraditionalLanguage
HoleHostFn
"洞主持人")
domainEnglishFormat.kif 28370-28370
(
termFormat
EnglishLanguage
HoleHostFn
"hole host")
domainEnglishFormat.kif 28369-28369
antecedent
(=>
(
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
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
例
Object
and
EngineCylinder
例
HoleRegion
and
Crankcase
例
Physical
and
Piston
例
Process
and
TwoStrokeTransfer
持有期間
Process
and
位於
Physical
and
Object
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
有目的
Physical
and
持有期間
Process
and
部分填補
Physical
and
HoleRegion
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
例
Physical
and
Piston
例
Process
and
TwoStrokeIntake
持有期間
Process
and
位於
Physical
and
Object
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
有目的
Physical
and
持有期間
Process
and
部分填補
Physical
and
HoleRegion
(=>
(
and
(
instance
?F
FourStrokeCombustion
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?CO)
(
and
(
instance
?CO
Combustion
)
(
subProcess
?CO ?F))))
Cars.kif 207-217
例
Process
and
FourStrokeCombustion
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Object
O
例
Object
O and
Combustion
子過程
Object
O and
Process
(=>
(
and
(
instance
?F
FourStrokeCompression
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
attribute
?I
Pressurized
)))
Cars.kif 191-200
例
Process
and
FourStrokeCompression
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
持有期間
結束
何時
Process
and
attribute
HoleRegion
and
Pressurized
(=>
(
and
(
instance
?F
FourStrokeExhaust
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?F)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 225-238
例
Process
and
FourStrokeExhaust
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Entity
Process
例
Process
and
氣體運動
例
Entity
and
Exhaust
子過程
Process
and
Process
起源
Process
and
HoleRegion
患者
Process
and
Entity
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
例
Process
and
FourStrokeIntake
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Process
V
Process
例
Process
and
氣體運動
例
Process
V and
FuelVapor
子過程
Process
and
Process
目的地
Process
and
HoleRegion
患者
Process
and
Process
V
(=>
(
and
(
instance
?L
Laceration
)
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L))
(
part
?S ?H))
(
exists
(?P)
(
and
(
instance
?P
Poking
)
(
result
?P ?L))))
Medicine.kif 6219-6228
例
HoleRegion
and
Laceration
例
Object
and
皮膚
等於
Object
and
洞主持人
HoleRegion
部分
Object
and
Object
Process
例
Process
and
Poking
結果
Process
and
HoleRegion
(=>
(
and
(
instance
?T
TwoStrokeTransfer
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?T ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?T)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 523-536
例
Process
and
TwoStrokeTransfer
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Entity
Process
例
Process
and
氣體運動
例
Entity
and
Exhaust
子過程
Process
and
Process
起源
Process
and
HoleRegion
患者
Process
and
Entity
consequent
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
例
Process
and
Cricothyroidotomy
患者
Process
and
Entity
持有期間
結束
何時
Process
and
entity
例
entity
and
HoleRegion
等於
entity
and
洞主持人
entity
例
entity
and
喉
部分
entity
and
Entity
(=>
(
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
?LA
LeftAtrium
)
(
part
?LA ?H))
(
exists
(?H ?HEART)
(
and
(
equal
?HEART
(
HoleHostFn
?LA))
(
part
?HEART ?H)
(
instance
?HEART
Heart
))))
Medicine.kif 275-283
例
HoleRegion
and
LeftAtrium
部分
HoleRegion
and
Object
Object
Object
EART
等於
Object
EART and
洞主持人
HoleRegion
部分
Object
EART and
Object
例
Object
EART and
心
(=>
(
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
and
LeftVentricle
部分
HoleRegion
and
Object
Object
Object
EART
等於
Object
EART and
洞主持人
HoleRegion
部分
Object
EART and
Object
例
Object
EART and
心
(=>
(
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
and
RightAtrium
部分
HoleRegion
and
Object
Object
Object
EART
等於
Object
EART and
洞主持人
HoleRegion
部分
Object
EART and
Object
例
Object
EART and
心
(=>
(
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
and
RightVentricle
部分
HoleRegion
and
Object
Object
Object
EART
等於
Object
EART and
洞主持人
HoleRegion
部分
Object
EART and
Object
例
Object
EART and
心
(=>
(
attribute
?X
RingTorus
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?X
(
HoleHostFn
?H)))))
Cars.kif 4417-4422
attribute
Object
and
RingTorus
HoleRegion
例
HoleRegion
and
HoleRegion
等於
Object
and
洞主持人
HoleRegion
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
等於
Object
and
洞皮
HoleRegion
膚淺的部分
Object
and
洞主持人
HoleRegion
空間的符合
HoleRegion
and
Object
在空間上重疊
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084
等於
Object
and
洞皮
HoleRegion
在空間上重疊
Object
and
Object
Object
膚淺的部分
Object
and
洞主持人
HoleRegion
空間的符合
HoleRegion
and
Object
在空間上重疊
Object
and
Object
(=>
(
holdsDuring
?T
(
attribute
?H
Sinusitis
))
(
exists
(?NC ?NCH ?I)
(
and
(
instance
?NC
NasalCavity
)
(
equal
?NCH
(
HoleHostFn
?NC))
(
part
?NCH ?H)
(
instance
?I
Inflammation
)
(
during
(
WhenFn
?I) ?T)
(
patient
?I ?NCH))))
Medicine.kif 5706-5716
持有期間
TimeInterval
and
attribute
Object
and
Sinusitis
HoleRegion
HoleRegion
H and
Process
例
HoleRegion
and
NasalCavity
等於
HoleRegion
H and
洞主持人
HoleRegion
部分
HoleRegion
H and
Object
例
Process
and
Inflammation
期間
何時
Process
and
TimeInterval
患者
Process
and
HoleRegion
H
(=>
(
instance
?AREA
WaterArea
)
(
exists
(?BED ?HOLE ?WATER)
(
and
(
equal
(
HoleHostFn
?HOLE) ?BED)
(
instance
?WATER
Water
)
(
properlyFills
?WATER ?HOLE)
(
equal
(
MereologicalSumFn
?BED ?WATER) ?AREA))))
Merge.kif 14124-14131
例
Object
and
WaterArea
Object
HoleRegion
and
Object
等於
洞主持人
HoleRegion
and
Object
例
Object
and
Water
適當填充
Object
and
HoleRegion
等於
mereological 總和
Object
and
Object
and
Object
(=>
(
instance
?CC
CombustionChamber
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?CC
(
HoleHostFn
?H)))))
Cars.kif 1700-1705
例
Object
and
CombustionChamber
HoleRegion
例
HoleRegion
and
HoleRegion
等於
Object
and
洞主持人
HoleRegion
(=>
(
instance
?CS
ChestSeal
)
(
hasPurpose
?CS
(
exists
(?C ?CH ?I ?H)
(
and
(
instance
?C
Closing
)
(
instrument
?C ?CS)
(
located
?C ?CH)
(
instance
?CH
Chest
)
(
instance
?H
HoleRegion
)
(
equal
?CH
(
HoleHostFn
?H))
(
instance
?I
Injuring
)
(
located
?I ?CH)
(
earlier
(
WhenFn
?I)
(
WhenFn
?C))))))
Medicine.kif 828-844
例
Physical
and
ChestSeal
有目的
Physical
and
entity
entity
H,
entity
and
entity
例
entity
and
關閉
儀器
entity
and
Physical
位於
entity
and
entity
H
例
entity
H and
Chest
例
entity
and
HoleRegion
等於
entity
H and
洞主持人
entity
例
entity
and
Injuring
位於
entity
and
entity
H
早期
何時
entity
and
何時
entity
(=>
(
instance
?E
Engine
)
(
exists
(?C)
(
and
(
instance
?C
Crankcase
)
(
equal
?E
(
HoleHostFn
?C)))))
Cars.kif 328-333
例
Object
and
發動機
HoleRegion
例
HoleRegion
and
Crankcase
等於
Object
and
洞主持人
HoleRegion
(=>
(
instance
?E
EngineCylinder
)
(
exists
(?H)
(
and
(
instance
?H
InternalCombustionChamber
)
(
equal
?E
(
HoleHostFn
?H)))))
Cars.kif 317-322
例
Object
and
EngineCylinder
HoleRegion
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
(=>
(
instance
?G
Gasket
)
(
hasPurpose
?G
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
CorpuscularObject
)
(
meetsSpatially
?O1 ?G)
(
meetsSpatially
?O2 ?G)
(
not
(
exists
(?H ?D ?T ?O)
(
and
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
instance
?T
Translocation
)
(
path
?T ?H)
(
origin
?T ?O)
(
destination
?T ?D)
(
contains
?O1 ?O)
(
not
(
contains
?O1 ?D))
(
meetsSpatially
?O1 ?D)
(
not
(
exists
(?O3)
(
and
(
contains
?H ?O3)
(
not
(
contains
?O1 ?O3))
(
not
(
contains
?O2 ?O3))))))))))))
Cars.kif 2843-2872
例
Physical
and
Gasket
有目的
Physical
and
entity
entity
例
entity
and
CorpuscularObject
例
entity
and
CorpuscularObject
空間的符合
entity
and
Physical
空間的符合
entity
and
Physical
entity
entity
,
entity
and
entity
例
entity
and
HoleRegion
等於
Physical
and
洞主持人
entity
例
entity
and
易位
路徑
entity
and
entity
起源
entity
and
entity
目的地
entity
and
entity
包含
entity
and
entity
包含
entity
and
entity
空間的符合
entity
and
entity
entity
包含
entity
and
entity
包含
entity
and
entity
包含
entity
and
entity
(=>
(
instance
?G
Glottis
)
(
exists
(?VC)
(
and
(
instance
?VC
VocalCords
)
(
equal
?VC
(
HoleHostFn
?G)))))
Mid-level-ontology.kif 6148-6154
例
HoleRegion
and
Glottis
Object
例
Object
and
VocalCords
等於
Object
and
洞主持人
HoleRegion
(=>
(
instance
?HC
HydraulicCylinder
)
(
exists
(?HH ?C ?P)
(
and
(
instance
?C
HoleRegion
)
(
equal
?HH
(
HoleHostFn
?C))
(
attribute
?C
Cylinder
)
(
instance
?P
Piston
)
(
part
?P ?HC)
(
part
?HH ?HC))))
Cars.kif 1606-1615
例
Object
and
HydraulicCylinder
Object
HoleRegion
and
Object
例
HoleRegion
and
HoleRegion
等於
Object
and
洞主持人
HoleRegion
attribute
HoleRegion
and
圓筒
例
Object
and
Piston
部分
Object
and
Object
部分
Object
and
Object
(=>
(
instance
?L
Laceration
)
(
exists
(?S)
(
and
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L)))))
Medicine.kif 6212-6217
例
HoleRegion
and
Laceration
Object
例
Object
and
皮膚
等於
Object
and
洞主持人
HoleRegion
(=>
(
instance
?N
NasalCavity
)
(
exists
(?NOSE)
(
and
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N)))))
Mid-level-ontology.kif 6089-6095
例
HoleRegion
and
NasalCavity
HoleRegion
OSE
例
HoleRegion
OSE and
鼻子
等於
HoleRegion
OSE and
洞主持人
HoleRegion
(=>
(
instance
?P
Pupil
)
(
exists
(?I)
(
and
(
instance
?I
Eye
)
(
equal
?I
(
HoleHostFn
?P)))))
Mid-level-ontology.kif 12126-12132
例
HoleRegion
and
Pupil
Object
例
Object
and
眼睛
等於
Object
and
洞主持人
HoleRegion
(=>
(
instance
?U
Ulcer
)
(
exists
(?H ?BP)
(
and
(
instance
?H
HoleRegion
)
(
instance
?BP
BodyPart
)
(
equal
?BP
(
HoleHostFn
?H))
(
part
?BP ?U))))
Mid-level-ontology.kif 9424-9431
例
Object
and
Ulcer
HoleRegion
Object
例
HoleRegion
and
HoleRegion
例
Object
and
BodyPart
等於
Object
and
洞主持人
HoleRegion
部分
Object
and
Object
(=>
(
instance
?VH
VacuumHose
)
(
hasPurpose
?VH
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?VH
(
HoleHostFn
?H))
(
attribute
?H
PartialVacuum
)))))
Cars.kif 4248-4255
例
Physical
and
VacuumHose
有目的
Physical
and
entity
例
entity
and
HoleRegion
等於
Physical
and
洞主持人
entity
attribute
entity
and
PartialVacuum
(=>
(
instance
?W
WasherForBolt
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?W
(
HoleHostFn
?H)))))
Mid-level-ontology.kif 4307-4312
例
Object
and
墊圈
HoleRegion
例
HoleRegion
and
HoleRegion
等於
Object
and
洞主持人
HoleRegion
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