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 9952-9955
(
documentation
HoleHostFn
JapaneseLanguage
"A
UnaryFunction
は、
Hole
を主ホストである
Object
にマップする。
Hole
の原理ホストは、その最大に接続されたホストである (引数がホールである 場合にのみ定義される概念)。")
japanese_format.kif 1610-1612
(
domain
HoleHostFn
1
HoleRegion
)
Merge.kif 9949-9949
Die Zahl 1 Argument von
HoleHostFn
ist ein
fall
von
HoleRegion
%n{nicht}
(
instance
HoleHostFn
UnaryFunction
)
Merge.kif 9946-9946
HoleHostFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
HoleHostFn
Object
)
Merge.kif 9950-9950
bildbereich
von
HoleHostFn
ist ein fall von
Object
{nicht}
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
Wenn
SelfConnectedObject
ist ein
fall
von
AutomobileShock
%n{nicht} und
Process
ist ein
fall
von
Compressing
%n{nicht} und
HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
Fluid
ist ein
attribut
von
Object
%n{nicht} und
** SelfConnectedObject
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
contains
** SelfConnectedObject
and
** Object
und
** SelfConnectedObject
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
Transfer
um
** Transfer
ist ein
fall
von
Transfer
%n{nicht} und
objectTransferred
** Transfer
and
** Object
und
** HoleRegion
ist der
pfad
entlang dem
** Transfer
geschieht und
** Process
verursacht
** Transfer
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
Crankcase
%n{nicht} und
Physical
ist ein
fall
von
Piston
%n{nicht} und
Process
ist ein
fall
von
TwoStrokeTransfer
%n{nicht} und
** Physical
befindet
sich an %n{nicht} haelt
waehrend
** Process
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
** Physical
hat Zweck von
** Physical
fuellt
** HoleRegion
teilweise haelt
waehrend
** Process
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
Physical
ist ein
fall
von
Piston
%n{nicht} und
Process
ist ein
fall
von
TwoStrokeIntake
%n{nicht} und
** Physical
befindet
sich an %n{nicht} haelt
waehrend
** Process
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
** Physical
hat Zweck von
** Physical
fuellt
** HoleRegion
teilweise haelt
waehrend
** Process
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
FourStrokeCombustion
%n{nicht} und
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann es gibt
** Object
O um
** Object
O ist ein
fall
von
Combustion
%n{nicht} und
** Object
O ist ein
subProzess
von
** 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
Wenn
Process
ist ein
fall
von
FourStrokeCompression
%n{nicht} und
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
Pressurized
ist ein
attribut
von
** HoleRegion
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
FourStrokeExhaust
%n{nicht} und
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann es gibt
Entity
und
** Process
um
** ** Process
ist ein
fall
von
GasMotion
%n{nicht} und
** Entity
ist ein
fall
von
Exhaust
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
beginnet an
** HoleRegion
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
FourStrokeIntake
%n{nicht} und
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann es gibt
** Process
V und
** Process
um
** ** Process
ist ein
fall
von
GasMotion
%n{nicht} und
** Process
V ist ein
fall
von
FuelVapor
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
endet an
** HoleRegion
%n{nicht} und
** Process
V ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
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
Wenn
HoleRegion
ist ein
fall
von
Laceration
%n{nicht} und
Object
ist ein
fall
von
Skin
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Poking
%n{nicht} und
** HoleRegion
ist ein
resultat
von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
TwoStrokeTransfer
%n{nicht} und
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann es gibt
Entity
und
** Process
um
** ** Process
ist ein
fall
von
GasMotion
%n{nicht} und
** Entity
ist ein
fall
von
Exhaust
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
beginnet an
** HoleRegion
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht}
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
Wenn
Process
ist ein
fall
von
Cricothyroidotomy
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
HoleRegion
%n{nicht} und
** entity
ist gleich
HoleHostFn
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Throat
%n{nicht} und
** ** entity
ist ein
teil
von
** Entity
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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 6121-6139
Wenn
Process
ist ein
fall
von
Sneezing
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
** Process
hat Zweck von es gibt
entity
,
** entity
,, ,
** ** entity
OSE, and und
** entity
um
** ** entity
ist ein
fall
von
NasalCavity
%n{nicht} und
** ** entity
OSE ist ein
fall
von
Nose
%n{nicht} und
** ** entity
OSE ist gleich
HoleHostFn
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Object
%n{nicht} und
** entity
ist ein
fall
von
Removing
%n{nicht} und
** ** entity
OSE ist ein
teil
von
** AutonomousAgent
%n{nicht} und
objectTransferred
** entity
and
** ** entity
und
** ** entity
befindet
sich an %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} %n{nicht}
(=>
(
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
Wenn
HoleRegion
ist ein
fall
von
LeftAtrium
%n{nicht} und
** HoleRegion
ist ein
teil
von
Object
%n{nicht},
dann es gibt
** Object
und
** Object
EART um
** Object
EART ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
** Object
EART ist ein
teil
von
** Object
%n{nicht} und
** Object
EART ist ein
fall
von
Heart
%n{nicht}
(=>
(
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
Wenn
HoleRegion
ist ein
fall
von
LeftVentricle
%n{nicht} und
** HoleRegion
ist ein
teil
von
Object
%n{nicht},
dann es gibt
** Object
und
** Object
EART um
** Object
EART ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
** Object
EART ist ein
teil
von
** Object
%n{nicht} und
** Object
EART ist ein
fall
von
Heart
%n{nicht}
(=>
(
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
Wenn
HoleRegion
ist ein
fall
von
RightAtrium
%n{nicht} und
** HoleRegion
ist ein
teil
von
Object
%n{nicht},
dann es gibt
** Object
und
** Object
EART um
** Object
EART ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
** Object
EART ist ein
teil
von
** Object
%n{nicht} und
** Object
EART ist ein
fall
von
Heart
%n{nicht}
(=>
(
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
Wenn
HoleRegion
ist ein
fall
von
RightVentricle
%n{nicht} und
** HoleRegion
ist ein
teil
von
Object
%n{nicht},
dann es gibt
** Object
und
** Object
EART um
** Object
EART ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
** Object
EART ist ein
teil
von
** Object
%n{nicht} und
** Object
EART ist ein
fall
von
Heart
%n{nicht}
(=>
(
attribute
?X
RingTorus
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?X
(
HoleHostFn
?H)))))
Cars.kif 4425-4430
Wenn
RingTorus
ist ein
attribut
von
Object
%n{nicht},
dann es gibt
HoleRegion
um
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht}
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10108-10115
Wenn
Object
ist gleich
HoleSkinFn
HoleRegion
%n{nicht},
dann
wenn
** Object
ist ein
oberflaechliches
teil von
HoleHostFn
** HoleRegion
%n{nicht} und
** HoleRegion
schliesst
** ** Object
raeumlich an und
** Object
deckt
sich mit
** ** Object
raeumlich %n{nicht},
dann
** ** Object
deckt
sich mit
** Object
raeumlich %n{nicht}
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10098-10106
Wenn
Object
ist gleich
HoleSkinFn
HoleRegion
%n{nicht},
dann
wenn
** Object
deckt
sich mit
** Object
raeumlich %n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
oberflaechliches
teil von
HoleHostFn
** HoleRegion
%n{nicht} und
** HoleRegion
schliesst
** ** Object
raeumlich an und
** ** Object
deckt
sich mit
** ** Object
raeumlich %n{nicht}
(=>
(
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
Wenn
Sinusitis
ist ein
attribut
von
Object
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht},
dann es gibt
HoleRegion
,
** HoleRegion
H, and und
Process
um
** HoleRegion
ist ein
fall
von
NasalCavity
%n{nicht} und
** HoleRegion
H ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
** HoleRegion
H ist ein
teil
von
** Object
%n{nicht} und
** Process
ist ein
fall
von
Inflammation
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** HoleRegion
H ist ein
patient
von
** Process
%n{nicht}
(=>
(
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 14146-14153
Wenn
Object
ist ein
fall
von
WaterArea
%n{nicht},
dann es gibt
** Object
,
HoleRegion
, and und
** Object
um
HoleHostFn
** HoleRegion
ist gleich
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Water
%n{nicht} und
** ** Object
fuellt
** HoleRegion
richtig und die
vereinigung
von den teilen von
** ** Object
und
** ** Object
ist gleich
** Object
%n{nicht}
(=>
(
instance
?CC
CombustionChamber
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?CC
(
HoleHostFn
?H)))))
Cars.kif 1706-1711
Wenn
Object
ist ein
fall
von
CombustionChamber
%n{nicht},
dann es gibt
HoleRegion
um
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
ChestSeal
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
H,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Closing
%n{nicht} und
** Physical
ist ein
instrument
fuer
** entity
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
** entity
H ist ein
fall
von
Chest
%n{nicht} und
** ** entity
ist ein
fall
von
HoleRegion
%n{nicht} und
** entity
H ist gleich
HoleHostFn
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Injuring
%n{nicht} und
** ** entity
befindet
sich an %n{nicht} und die
zeit
des Bestehens von
** ** entity
geschieht frueh als die
zeit
des Bestehens von
** entity
%n{nicht} %n{nicht}
(=>
(
instance
?E
Engine
)
(
exists
(?C)
(
and
(
instance
?C
Crankcase
)
(
equal
?E
(
HoleHostFn
?C)))))
Cars.kif 328-333
Wenn
Object
ist ein
fall
von
Engine
%n{nicht},
dann es gibt
HoleRegion
um
** HoleRegion
ist ein
fall
von
Crankcase
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht}
(=>
(
instance
?E
EngineCylinder
)
(
exists
(?H)
(
and
(
instance
?H
InternalCombustionChamber
)
(
equal
?E
(
HoleHostFn
?H)))))
Cars.kif 317-322
Wenn
Object
ist ein
fall
von
EngineCylinder
%n{nicht},
dann es gibt
HoleRegion
um
** HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht}
(=>
(
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 2849-2878
Wenn
Physical
ist ein
fall
von
Gasket
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
CorpuscularObject
%n{nicht} und
** ** entity
ist ein
fall
von
CorpuscularObject
%n{nicht} und
** entity
schliesst
** Physical
raeumlich an und
** ** entity
schliesst
** Physical
raeumlich an und es gibt nicht
** entity
,
** entity
,, ,
** entity
, and und
** entity
um
** ** entity
ist ein
fall
von
HoleRegion
%n{nicht} und
** Physical
ist gleich
HoleHostFn
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Translocation
%n{nicht} und
** ** entity
ist der
pfad
entlang dem
** ** entity
geschieht und
** ** entity
beginnet an
** ** entity
%n{nicht} und
** ** entity
endet an
** ** entity
%n{nicht} und
contains
** entity
and
** ** entity
und
contains
** entity
and
** ** entity
und
** entity
schliesst
** ** entity
raeumlich an und es gibt nicht
** ** entity
3 um
contains
** ** entity
and
** ** entity
3 und
contains
** entity
and
** ** entity
3 und
contains
** ** entity
and
** ** entity
3 %n{nicht}
(=>
(
instance
?G
Glottis
)
(
exists
(?VC)
(
and
(
instance
?VC
VocalCords
)
(
equal
?VC
(
HoleHostFn
?G)))))
Mid-level-ontology.kif 6147-6153
Wenn
HoleRegion
ist ein
fall
von
Glottis
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
VocalCords
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht}
(=>
(
instance
?HC
HydraulicCylinder
)
(
exists
(?HH ?C ?P)
(
and
(
instance
?C
HoleRegion
)
(
equal
?HH
(
HoleHostFn
?C))
(
shape
?C
Cylinder
)
(
instance
?P
Piston
)
(
part
?P ?HC)
(
part
?HH ?HC))))
Cars.kif 1611-1621
Wenn
Object
ist ein
fall
von
HydraulicCylinder
%n{nicht},
dann es gibt
** Object
,
HoleRegion
, and und
** Object
um
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** ** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
shape
** HoleRegion
and
Cylinder
und
** ** Object
ist ein
fall
von
Piston
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht}
(=>
(
instance
?L
Laceration
)
(
exists
(?S)
(
and
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L)))))
Medicine.kif 6212-6217
Wenn
HoleRegion
ist ein
fall
von
Laceration
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Skin
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht}
(=>
(
instance
?N
NasalCavity
)
(
exists
(?NOSE)
(
and
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N)))))
Mid-level-ontology.kif 6088-6094
Wenn
HoleRegion
ist ein
fall
von
NasalCavity
%n{nicht},
dann es gibt
** HoleRegion
OSE um
** HoleRegion
OSE ist ein
fall
von
Nose
%n{nicht} und
** HoleRegion
OSE ist gleich
HoleHostFn
** HoleRegion
%n{nicht}
(=>
(
instance
?P
Pupil
)
(
exists
(?I)
(
and
(
instance
?I
Eye
)
(
equal
?I
(
HoleHostFn
?P)))))
Mid-level-ontology.kif 12125-12131
Wenn
HoleRegion
ist ein
fall
von
Pupil
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Eye
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht}
(=>
(
instance
?U
Ulcer
)
(
exists
(?H ?BP)
(
and
(
instance
?H
HoleRegion
)
(
instance
?BP
BodyPart
)
(
equal
?BP
(
HoleHostFn
?H))
(
part
?BP ?U))))
Mid-level-ontology.kif 9423-9430
Wenn
Object
ist ein
fall
von
Ulcer
%n{nicht},
dann es gibt
HoleRegion
und
** Object
um
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** ** Object
ist ein
fall
von
BodyPart
%n{nicht} und
** ** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht}
(=>
(
instance
?VH
VacuumHose
)
(
hasPurpose
?VH
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?VH
(
HoleHostFn
?H))
(
attribute
?H
PartialVacuum
)))))
Cars.kif 4256-4263
Wenn
Physical
ist ein
fall
von
VacuumHose
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
HoleRegion
%n{nicht} und
** Physical
ist gleich
HoleHostFn
** entity
%n{nicht} und
PartialVacuum
ist ein
attribut
von
** entity
%n{nicht} %n{nicht}
(=>
(
instance
?W
WasherForBolt
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?W
(
HoleHostFn
?H)))))
Mid-level-ontology.kif 4307-4312
Wenn
Object
ist ein
fall
von
WasherForBolt
%n{nicht},
dann es gibt
HoleRegion
um
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht}
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