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
path
Sigma KEE - path
path
appearance as argument number 1
(
documentation
path
ChineseLanguage
"(
path
?MOTION ?PATH)的意思是 ?PATH 是 ?MOTION 在上移动 的一条路线。例如:高速公路101以下命题的路径:那辆车驶向高速公路101。")
chinese_format.kif 3000-3001
(
documentation
path
EnglishLanguage
"(
path
?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101.")
Merge.kif 11078-11080
(
documentation
path
JapaneseLanguage
"(
path
?MOTION ?PATH) は、?PATH が ?MOTION が発生す るルートであることを意味する。例:高速道路 101 は、次の命題のパスである: 車で、高速道路 101 を 走らせた。")
japanese_format.kif 1762-1764
(
domain
path
1
Motion
)
Merge.kif 11075-11075
Die Zahl 1 Argument von
path
ist ein
fall
von
Motion
%n{nicht}
(
domain
path
2
Object
)
Merge.kif 11076-11076
Die Zahl 2 Argument von
path
ist ein
fall
von
Object
%n{nicht}
(
instance
path
CaseRole
)
Merge.kif 11070-11070
path
ist ein
fall
von
CaseRole
%n{nicht}
(
instance
path
TotalValuedRelation
)
Merge.kif 11071-11071
path
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
path
ist eine
teilrelation
von
eventPartlyLocated
appearance as argument number 2
(
format
ChineseLanguage
path
"%2%n是%1发生的
path
")
chinese_format.kif 575-575
(
format
EnglishLanguage
path
"%2 is %n
path
along which %1 occurs")
english_format.kif 580-580
(
format
FrenchLanguage
path
"%2 est %n le chemin le long duquel %1 se produit")
french_format.kif 341-341
(
format
ItalianLanguage
path
"%2 è %n cammino mentre %1 si verifica")
relations-it.txt 216-216
(
format
JapaneseLanguage
path
"%2 は %1 が 発生する
path
では %n")
japanese_format.kif 2097-2097
(
format
PortugueseLanguage
path
"%2 e' %n o caminho ao longo do qual %1 ocorre")
portuguese_format.kif 293-293
(
format
cz
path
"%2 %p{je} %n{nen�} cesta pod�l kter� se vyskytuje %1")
relations-cz.txt 349-349
(
format
de
path
"%2 ist der pfad entlang dem %1 geschieht")
relations-de.txt 755-755
(
format
hi
path
"%1 %2 ke raaste men %n hotaa hai")
relations-hindi.txt 254-254
(
format
ro
path
"%2 %n{nu} este
path
%t{rutã} de-a lungul cãreia are loc %1")
relations-ro.kif 363-363
(
format
sv
path
"%2 är en väg längs med %1 %n{inte} inträffar")
relations-sv.txt 378-378
(
format
tg
path
"%2 %n ay ang landas sa %1 nangyari")
relations-tg.txt 408-408
(
termFormat
ChineseLanguage
path
"路径")
chinese_format.kif 576-576
(
termFormat
ChineseTraditionalLanguage
path
"路徑")
domainEnglishFormat.kif 44765-44765
(
termFormat
EnglishLanguage
path
"path")
domainEnglishFormat.kif 44764-44764
antecedent
(=>
(
and
(
betweenOnPath
?O1 ?O2 ?O3 ?PATH)
(
instance
?T
Transfer
)
(
path
?T ?PATH)
(
origin
?T ?O1)
(
destination
?T ?O3))
(
and
(
beforeOnPath
?O1 ?O2 ?PATH ?T)
(
beforeOnPath
?O2 ?O3 ?PATH ?T)))
Mid-level-ontology.kif 29779-29788
Wenn
betweenOnPath
Object
,
** Object
,
** Object
and
** Object
und
Transfer
ist ein
fall
von
Transfer
%n{nicht} und
** ** Object
ist der
pfad
entlang dem
** Transfer
geschieht und
** Transfer
beginnet an
** Object
%n{nicht} und
** Transfer
endet an
** ** Object
%n{nicht},
dann
beforeOnPath
** Object
,
** ** Object
,
** ** Object
and
** Transfer
und
beforeOnPath
** ** Object
,
** ** Object
,
** ** Object
and
** Transfer
(=>
(
and
(
instance
?CONN
WirelessNetwork
)
(
instance
?COM
NetworkCommunication
)
(
instrument
?COM ?CONN)
(
path
?COM ?PATH))
(
exists
(?PART)
(
and
(
part
?PART ?PATH)
(
not
(
instance
?PART
Cable
)))))
ComputingBrands.kif 1422-1432
Wenn
Object
ist ein
fall
von
WirelessNetwork
%n{nicht} und
Motion
ist ein
fall
von
NetworkCommunication
%n{nicht} und
** Object
ist ein
instrument
fuer
** Motion
%n{nicht} und
** Object
ist der
pfad
entlang dem
** Motion
geschieht,
dann es gibt
** Object
um
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Cable
nicht
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
Wenn
Process
ist ein
fall
von
CPR
%n{nicht} und
Motion
ist ein
fall
von
Compressing
%n{nicht} und
Object
ist der
pfad
entlang dem
** Motion
geschieht und
** Motion
ist ein
subProzess
von
** Process
und die
laenge
von
** Object
ist
RealNumber
Centimeter
(s) %n{nicht},
dann
** RealNumber
ist
groesserAls
5.0 %n{nicht} und
** RealNumber
ist
kleinerAls
6.0 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Electromagnet
%n{nicht} und
Transfer
ist ein
fall
von
Transfer
%n{nicht} und
** Object
ist ein
fall
von
Electricity
%n{nicht} und
objectTransferred
** Transfer
and
** ** Object
und
** Object
ist der
pfad
entlang dem
** Transfer
geschieht,
dann es gibt
Process
um
** Process
ist ein
fall
von
Magnetism
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht}
(=>
(
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
Wenn
Entity
ist ein
fall
von
Electromagnet
%n{nicht} und es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
Transfer
%n{nicht} und
** ** entity
ist ein
fall
von
Electricity
%n{nicht} und
objectTransferred
** ** entity
and
** ** entity
und
** Entity
ist der
pfad
entlang dem
** ** entity
geschieht haelt
waehrend
** ** entity
1 nicht,
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
Magnetism
%n{nicht} und
** Entity
ist ein
instrument
fuer
** ** entity
%n{nicht} haelt
waehrend
** ** entity
1 nicht
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
Wenn
Object
ist ein
fall
von
FuelPump
%n{nicht} und
** Object
ist ein
fall
von
Automobile
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
Motion
ist ein
fall
von
Transportation
%n{nicht} und
Process
ist ein
fall
von
Fuel
%n{nicht} und
** Process
ist ein
patient
von
** Motion
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
ist ein
fall
von
GasTank
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Motion
beginnet an
** ** Object
%n{nicht} und
** Motion
endet an
** ** Object
%n{nicht} und
** Object
ist der
pfad
entlang dem
** Motion
geschieht,
dann
** Motion
hat Zweck von es gibt
** Process
F um
** Process
F ist ein
fall
von
FuelFilter
%n{nicht} und
betweenOnPath
** ** Object
,
** Process
F,
** ** Object
and
** ** Object
%n{nicht}
(=>
(
and
(
instance
?M
HalfMarathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 13.1))
Sports.kif 295-302
Wenn
Motion
ist ein
fall
von
HalfMarathon
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
Transitway
ist der
pfad
entlang dem
** Motion
geschieht und
distanceOnPath
RealNumber
Mile
(s) and
** Transitway
,
dann
** RealNumber
ist gleich 13.1 %n{nicht}
(=>
(
and
(
instance
?M
Marathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 26.2))
Sports.kif 281-288
Wenn
Motion
ist ein
fall
von
Marathon
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
Transitway
ist der
pfad
entlang dem
** Motion
geschieht und
distanceOnPath
RealNumber
Mile
(s) and
** Transitway
,
dann
** RealNumber
ist gleich 26.2 %n{nicht}
(=>
(
and
(
instance
?T
AirTransportation
)
(
path
?T ?P))
(
instance
?P
AirTransitway
))
Transportation.kif 1259-1263
Wenn
Motion
ist ein
fall
von
AirTransportation
%n{nicht} und
Object
ist der
pfad
entlang dem
** Motion
geschieht,
dann
** Object
ist ein
fall
von
AirTransitway
%n{nicht}
(=>
(
and
(
instance
?T
LandTransportation
)
(
path
?T ?P))
(
instance
?P
LandTransitway
))
Mid-level-ontology.kif 17784-17788
Wenn
Motion
ist ein
fall
von
LandTransportation
%n{nicht} und
Object
ist der
pfad
entlang dem
** Motion
geschieht,
dann
** Object
ist ein
fall
von
LandTransitway
%n{nicht}
(=>
(
and
(
instance
?T
Tailpipe
)
(
instance
?TR
Transfer
)
(
instance
?E
Exhaust
)
(
instance
?A
Automobile
)
(
instance
?AES
AutomobileExhaustSystem
)
(
part
?T ?A)
(
path
?TR ?T)
(
patient
?TR ?E))
(
hasPurpose
?T
(
not
(
exists
(?O)
(
and
(
part
?O ?A)
(
beforeOnPath
?T ?O ?AES ?TR))))))
Cars.kif 4046-4061
Wenn
Object
ist ein
fall
von
Tailpipe
%n{nicht} und
** Object
R ist ein
fall
von
Transfer
%n{nicht} und
Entity
ist ein
fall
von
Exhaust
%n{nicht} und
** Object
ist ein
fall
von
Automobile
%n{nicht} und
** ** Object
ES ist ein
fall
von
AutomobileExhaustSystem
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Object
ist der
pfad
entlang dem
** Object
R geschieht und
** Entity
ist ein
patient
von
** Object
R %n{nicht},
dann
** Object
hat Zweck von es gibt nicht
** entity
um
** ** entity
ist ein
teil
von
** ** Object
%n{nicht} und
beforeOnPath
** Object
,
** ** entity
,
** ** Object
ES and
** Object
R %n{nicht}
(=>
(
and
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11082-11092
Wenn
Object
ist der
pfad
entlang dem
Motion
geschieht und
** Motion
beginnet an
** Object
%n{nicht} und
** Motion
endet an
** Object
%n{nicht} und die
laenge
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und der
abstand
zwischen
** ** Object
und
** ** Object
ist
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
nicht und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** ** Object
ist
zwischen
** ** Object
und
** ** Object
%n{nicht}
consequent
(=>
(
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
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
Wenn
Physical
ist ein
fall
von
Barricade
%n{nicht} und
** Physical
befindet
sich
teils
an %n{nicht},
dann
** Physical
hat Zweck von es gibt nicht
entity
um
** entity
ist ein
fall
von
Translocation
%n{nicht} und
Object
ist der
pfad
entlang dem
** entity
geschieht %n{nicht}
(=>
(
and
(
instance
?G
Gun
)
(
instance
?B
GunBarrel
)
(
part
?B ?G)
(
instance
?S
Shooting
)
(
instrument
?S ?G)
(
patient
?S ?P)
(
instance
?P
Projectile
))
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?S)
(
path
?SUB ?B))))
Mid-level-ontology.kif 1235-1247
Wenn
Object
ist ein
fall
von
Gun
%n{nicht} und
** Object
ist ein
fall
von
GunBarrel
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Process
ist ein
fall
von
Shooting
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Projectile
%n{nicht},
dann es gibt
** Process
UB um
** Process
UB ist ein
subProzess
von
** Process
und
** ** Object
ist der
pfad
entlang dem
** Process
UB geschieht
(=>
(
and
(
instance
?GOING
(
TransitFn
?WAY))
(
instance
?WAY
Transitway
))
(
path
?GOING ?WAY))
Transportation.kif 1609-1613
Wenn
Motion
ist ein
fall
von
TransitFn
Transitway
%n{nicht} und
** Transitway
ist ein
fall
von
Transitway
%n{nicht},
dann
** Transitway
ist der
pfad
entlang dem
** Motion
geschieht
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
Wenn
Object
ist ein
fall
von
Harbor
%n{nicht} und
equipmentCount
** Object
,
ShipBerth
and
RealNumber
und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann
** Object
ist faehig %n{nicht}, in der Rolle
path
ShipBerthing
zu tun
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 2949-2957
Wenn
Object
ist ein
fall
von
PortFacility
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
patient
ShipBerthing
zu tun,
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Harbor
%n{nicht} und
** ** Object
wird an
** Object
angeschlossen und
** ** Object
ist faehig %n{nicht}, in der Rolle
path
ShipBerthing
zu tun
(=>
(
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
Wenn
Transfer
ist ein
fall
von
Swallowing
%n{nicht} und
** Transfer
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
Object
,
** Object
,, ,
** Transfer
T, and und
** Object
um
** Object
ist ein
fall
von
Mouth
%n{nicht} und
** ** Object
ist ein
fall
von
Esophagus
%n{nicht} und
** Transfer
T ist ein
fall
von
Stomach
%n{nicht} und
objectTransferred
** Transfer
and
** ** Object
und
** Transfer
beginnet an
** Object
%n{nicht} und
** Transfer
endet an
** Transfer
T %n{nicht} und
** ** Object
ist der
pfad
entlang dem
** Transfer
geschieht
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
Wenn
navigableForDraft
WaterArea
and
RealNumber
Meter
(s) und
ladenDraft
WaterVehicle
and
** RealNumber
Meter
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht},
dann
** WaterArea
ist faehig %n{nicht}, in der Rolle
path
TripFn
** WaterVehicle
zu tun
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
Wenn
navigableForDraft
WaterArea
and
RealNumber
Meter
(s) und
ladenDraft
WaterVehicle
and
** RealNumber
Meter
(s) und
** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht},
dann
** WaterArea
ist faehig nicht, in der Rolle
path
TripFn
** WaterVehicle
zu tun
(=>
(
and
(
navigableForShippingTonnage
?WATERWAY
(
MeasureFn
?TONNAGE
LongTon
))
(
instance
?VESSEL
WaterVehicle
)
(
vesselDisplacement
?VESSEL
(
MeasureFn
?DWT
LongTon
))
(
lessThanOrEqualTo
?DWT ?TONNAGE))
(
capability
(
TripFn
?VESSEL)
path
?WATERWAY))
Transportation.kif 2637-2643
Wenn
navigableForShippingTonnage
WaterArea
and
RealNumber
LongTon
(s) und
WaterVehicle
ist ein
fall
von
WaterVehicle
%n{nicht} und
vesselDisplacement
** WaterVehicle
and
** RealNumber
LongTon
(s) und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann
** WaterArea
ist faehig %n{nicht}, in der Rolle
path
TripFn
** WaterVehicle
zu tun
(=>
(
instance
?B
Bowling
)
(
exists
(?BALL ?TRANS ?LANE)
(
and
(
instance
?TRANS
Translocation
)
(
instance
?BALL
BowlingBall
)
(
patient
?TRANS ?BALL)
(
instance
?LANE
BowlingLane
)
(
path
?TRANS ?LANE)
(
subProcess
?TRANS ?B))))
Sports.kif 1107-1116
Wenn
Process
ist ein
fall
von
Bowling
%n{nicht},
dann es gibt
** Process
ALL,
Motion
, and und
Object
um
** Motion
ist ein
fall
von
Translocation
%n{nicht} und
** Process
ALL ist ein
fall
von
BowlingBall
%n{nicht} und
** Process
ALL ist ein
patient
von
** Motion
%n{nicht} und
** Object
ist ein
fall
von
BowlingLane
%n{nicht} und
** Object
ist der
pfad
entlang dem
** Motion
geschieht und
** Motion
ist ein
subProzess
von
** Process
(=>
(
instance
?BC
BloodCirculation
)
(
exists
(?O ?V ?A ?B)
(
and
(
instance
?O
Animal
)
(
instance
?B
Blood
)
(
moves
?BC ?B)
(
instance
?A
Artery
)
(
instance
?V
Vein
)
(
part
?A ?O)
(
part
?V ?O)
(
path
?BC ?A)
(
path
?BC ?V))))
Medicine.kif 491-503
Wenn
Motion
ist ein
fall
von
BloodCirculation
%n{nicht},
dann es gibt
Object
,
** Object
,, ,
** Object
, and und
** Object
um
** Object
ist ein
fall
von
Animal
%n{nicht} und
** ** Object
ist ein
fall
von
Blood
%n{nicht} und
moves
** Motion
and
** ** Object
und
** ** Object
ist ein
fall
von
Artery
%n{nicht} und
** ** Object
ist ein
fall
von
Vein
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist der
pfad
entlang dem
** Motion
geschieht und
** ** Object
ist der
pfad
entlang dem
** Motion
geschieht
(=>
(
instance
?BL
BowlingLane
)
(
hasPurpose
?BL
(
exists
(?TR ?BALL)
(
and
(
instance
?TR
Translocation
)
(
instance
?BALL
BowlingBall
)
(
patient
?TR ?BALL)
(
path
?TR ?BL)))))
Sports.kif 1146-1154
Wenn
Physical
ist ein
fall
von
BowlingLane
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Translocation
%n{nicht} und
** ** entity
ist ein
fall
von
BowlingBall
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** entity
geschieht %n{nicht}
(=>
(
instance
?C
Catheter
)
(
hasPurpose
?C
(
exists
(?M ?O ?OBJ ?L)
(
and
(
instance
?O
Organism
)
(
instance
?M
Motion
)
(
moves
?M ?OBJ)
(
orientation
?L ?O
Outside
)
(
path
?M ?C)
(
or
(
and
(
origin
?M ?L)
(
destination
?M ?O))
(
and
(
origin
?M ?O)
(
destination
?M ?L)))))))
Medicine.kif 548-564
Wenn
Physical
ist ein
fall
von
Catheter
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** ** entity
BJ, and und
** entity
um
** ** entity
ist ein
fall
von
Organism
%n{nicht} und
** entity
ist ein
fall
von
Motion
%n{nicht} und
moves
** entity
and
** ** entity
BJ und
** ** entity
ist
Outside
hinsichlich
** ** entity
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** entity
geschieht und
** entity
beginnet an
** ** entity
%n{nicht} und
** entity
endet an
** ** entity
%n{nicht} oder
** entity
beginnet an
** ** entity
%n{nicht} und
** entity
endet an
** ** entity
%n{nicht} %n{nicht}
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?E ?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?E)
(
path
?T ?EV)
(
instance
?E
Exhaust
)))))
Cars.kif 2665-2673
Wenn
Physical
ist ein
fall
von
ExhaustValve
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
Transfer
%n{nicht} und
objectTransferred
** ** entity
and
** entity
und
** Physical
ist der
pfad
entlang dem
** ** entity
geschieht und
** entity
ist ein
fall
von
Exhaust
%n{nicht} %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 2843-2872
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
?GF
GreaseFitting
)
(
hasPurpose
?GF
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
path
?P ?GF)
(
objectTransferred
?P ?G)))))
Cars.kif 3020-3028
Wenn
Physical
ist ein
fall
von
GreaseFitting
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
Grease
%n{nicht} und
** entity
ist ein
fall
von
Putting
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** entity
geschieht und
objectTransferred
** entity
and
** ** entity
%n{nicht}
(=>
(
instance
?HALL
Hallway
)
(
hasPurpose
?HALL
(
exists
(?TRAN ?BUILD ?R1 ?R2)
(
and
(
instance
?TRAN
Translocation
)
(
path
?TRAN ?HALL)
(
located
?HALL ?BUILD)
(
instance
?BUILD
Building
)
(
between
?R1 ?HALL ?R2)
(
instance
?R1
Room
)
(
instance
?R2
Room
)
(
located
?R1 ?BUILD)
(
located
?R2 ?BUILD)
(
not
(
equal
?R1 ?R2))))))
Mid-level-ontology.kif 15622-15637
Wenn
Physical
ist ein
fall
von
Hallway
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Translocation
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** entity
geschieht und
** Physical
befindet
sich an %n{nicht} und
** ** entity
ist ein
fall
von
Building
%n{nicht} und
** Physical
ist
zwischen
** ** entity
und
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Room
%n{nicht} und
** ** entity
ist ein
fall
von
Room
%n{nicht} und
** ** entity
befindet
sich an %n{nicht} und
** ** entity
befindet
sich an %n{nicht} und
** ** entity
ist gleich
** ** entity
nicht %n{nicht}
(=>
(
instance
?IV
IntakeValve
)
(
hasPurpose
?IV
(
exists
(?A ?FV ?CC ?T)
(
and
(
instance
?A
Automobile
)
(
instance
?FV
FuelVapor
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
part
?IV ?A)
(
part
?CC ?A)
(
patient
?T ?FV)
(
path
?T ?IV)
(
destination
?T ?CC)))))
Cars.kif 2690-2703
Wenn
Physical
ist ein
fall
von
IntakeValve
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Automobile
%n{nicht} und
** ** entity
ist ein
fall
von
FuelVapor
%n{nicht} und
** ** entity
ist ein
fall
von
CombustionChamber
%n{nicht} und
** ** entity
ist ein
fall
von
Transfer
%n{nicht} und
** Physical
ist ein
teil
von
** entity
%n{nicht} und
** ** entity
ist ein
teil
von
** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** ** entity
geschieht und
** ** entity
endet an
** ** entity
%n{nicht} %n{nicht}
(=>
(
instance
?IVT
IVTherapy
)
(
exists
(?P ?V ?T)
(
and
(
instance
?T
IVLine
)
(
path
?IVT ?T)
(
instance
?V
Vein
)
(
destination
?IVT ?V))))
Medicine.kif 1078-1085
Wenn
Motion
ist ein
fall
von
IVTherapy
%n{nicht},
dann es gibt
entity
,
** Entity
, and und
Object
um
** Object
ist ein
fall
von
IVLine
%n{nicht} und
** Object
ist der
pfad
entlang dem
** Motion
geschieht und
** ** Entity
ist ein
fall
von
Vein
%n{nicht} und
** Motion
endet an
** ** Entity
%n{nicht}
(=>
(
instance
?MHCV
ManifoldHeatControlValve
)
(
hasPurpose
?MHCV
(
exists
(?H ?O ?E ?FV ?T)
(
and
(
instance
?H
Heating
)
(
instance
?O
Opening
)
(
instance
?E
Exhaust
)
(
instance
?T
Transfer
)
(
instance
?FV
FuelVapor
)
(
patient
?O ?MHCV)
(
instrument
?H ?E)
(
patient
?H ?FV)
(
path
?T ?MHCV)
(
causes
?O ?T)
(
causes
?T ?H)))))
Cars.kif 3262-3277
Wenn
Physical
ist ein
fall
von
ManifoldHeatControlValve
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Heating
%n{nicht} und
** ** entity
ist ein
fall
von
Opening
%n{nicht} und
** ** entity
ist ein
fall
von
Exhaust
%n{nicht} und
** ** entity
ist ein
fall
von
Transfer
%n{nicht} und
** ** entity
ist ein
fall
von
FuelVapor
%n{nicht} und
** Physical
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist ein
instrument
fuer
** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** ** entity
geschieht und
** ** entity
verursacht
** ** entity
%n{nicht} und
** ** entity
verursacht
** entity
%n{nicht} %n{nicht}
(=>
(
instance
?NA
NasopharyngealAirway
)
(
hasPurpose
?NA
(
exists
(?H ?B)
(
and
(
instance
?B
Breathing
)
(
located
?B ?H)
(
holdsDuring
(
WhenFn
?B)
(
attribute
?H
Unconscious
))
(
path
?B ?NA)))))
Medicine.kif 730-740
Wenn
Physical
ist ein
fall
von
NasopharyngealAirway
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
Breathing
%n{nicht} und
** ** entity
befindet
sich an %n{nicht} und
Unconscious
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** ** entity
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** ** entity
geschieht %n{nicht}
(=>
(
instance
?P
Waterway
)
(
hasPurpose
?P
(
exists
(?T)
(
and
(
instance
?T
WaterTransportation
)
(
path
?T ?P)))))
Geography.kif 5582-5588
Wenn
Physical
ist ein
fall
von
Waterway
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
WaterTransportation
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** entity
geschieht %n{nicht}
(=>
(
instance
?PCVV
PositiveCrankcaseVentilationValve
)
(
hasPurpose
?PCVV
(
exists
(?CR ?F ?CC ?T ?A)
(
and
(
instance
?CR
Crankcase
)
(
instance
?F
Fuel
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
instance
?A
Automobile
)
(
part
?CR ?A)
(
part
?CC ?A)
(
part
?PCVV ?A)
(
origin
?T ?CR)
(
destination
?T ?CC)
(
objectTransferred
?T ?F)
(
path
?T ?PCVV)))))
Cars.kif 3818-3834
Wenn
Physical
ist ein
fall
von
PositiveCrankcaseVentilationValve
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Crankcase
%n{nicht} und
** ** entity
ist ein
fall
von
Fuel
%n{nicht} und
** ** entity
ist ein
fall
von
CombustionChamber
%n{nicht} und
** ** entity
ist ein
fall
von
Transfer
%n{nicht} und
** ** entity
ist ein
fall
von
Automobile
%n{nicht} und
** entity
ist ein
teil
von
** ** entity
%n{nicht} und
** ** entity
ist ein
teil
von
** ** entity
%n{nicht} und
** Physical
ist ein
teil
von
** ** entity
%n{nicht} und
** ** entity
beginnet an
** entity
%n{nicht} und
** ** entity
endet an
** ** entity
%n{nicht} und
objectTransferred
** ** entity
and
** ** entity
und
** Physical
ist der
pfad
entlang dem
** ** entity
geschieht %n{nicht}
(=>
(
instance
?R
Ramp
)
(
capability
MotionDownward
path
?R))
Mid-level-ontology.kif 2370-2372
Wenn
Object
ist ein
fall
von
Ramp
%n{nicht},
dann
** Object
ist faehig %n{nicht}, in der Rolle
path
MotionDownward
zu tun
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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