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 11112-11114
(
documentation
path
JapaneseLanguage
"(
path
?MOTION ?PATH) は、?PATH が ?MOTION が発生す るルートであることを意味する。例:高速道路 101 は、次の命題のパスである: 車で、高速道路 101 を 走らせた。")
japanese_format.kif 1762-1764
(
domain
path
1
Motion
)
Merge.kif 11109-11109
The number 1 argument of
path
is an
instance
of
motion
(
domain
path
2
Object
)
Merge.kif 11110-11110
The number 2 argument of
path
is an
instance
of
object
(
instance
path
CaseRole
)
Merge.kif 11104-11104
path
is an
instance
of
case role
(
instance
path
TotalValuedRelation
)
Merge.kif 11105-11105
path
is an
instance
of
total valued relation
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11108-11108
path
is a
subrelation
of
event partly located
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 44767-44767
(
termFormat
EnglishLanguage
path
"path")
domainEnglishFormat.kif 44766-44766
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 29804-29813
If
an object
between
on path
another object
for
a third object
and
a transfer
is an
instance
of
transfer
and
a fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the object
and
the transfer
end
s up at
the third object
,
then
the object
before
the other object
on path
the fourth object
during
the transfer
and
the other object
before
the third object
on path
the fourth object
during
the 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
If
an object
is an
instance
of
wireless network
and
a motion
is an
instance
of
network communication
and
the object
is an
instrument
for
the motion
and
another object
is
path
along which
the motion
occurs,
then there exists
a third object
such that
the third object
is a
part
of
the other object
and
the third object
is not an
instance
of
cable
(=>
(
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
If
a process
is an
instance
of
cardio-pulmonary resuscitation
and
a motion
is an
instance
of
compressing
and
an object
is
path
along which
the motion
occurs and
the motion
is a
subprocess
of
the process
and the
length
of
the object
is
a real number
centimeter
(s),
then
the real number
is
greater
than 5.0 and
the real number
is
less
than 6.0
(=>
(
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 3878-3888
If
an object
is an
instance
of
electromagnet
and
a transfer
is an
instance
of
transfer
and
another object
is an
instance
of
electricity
and the object transferred in
the transfer
is
the other object
and
the object
is
path
along which
the transfer
occurs,
then there exists
a process
such that
the process
is an
instance
of
magnetism
and
the object
is an
instrument
for
the process
(=>
(
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 3890-3906
If
an entity
is an
instance
of
electromagnet
and there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
transfer
and
the third entity
is an
instance
of
electricity
and the object transferred in
the other entity
is
the third entity
and
the entity
is
path
along which
the other entity
occurs doesn't hold
during
the other entity
1,
then there exists
a fourth entity
such that
the fourth entity
is an
instance
of
magnetism
and
the entity
is an
instrument
for
the fourth entity
doesn't hold
during
the other entity
1
(=>
(
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
If
an object
is an
instance
of
fuel pump
and
another object
is an
instance
of
automobile
and
the object
is a
part
of
the other object
and
a motion
is an
instance
of
transportation
and
a process
is an
instance
of
fuel
and
the process
is a
patient
of
the motion
and
the object
is an
instrument
for
the process
and
a third object
is an
instance
of
gas tank
and
the third object
is a
part
of
the other object
and
a fourth object
is an
instance
of
engine cylinder
and
the fourth object
is a
part
of
the other object
and
the motion
originate
s at
the third object
and
the motion
end
s up at
the fourth object
and
a fifth object
is
path
along which
the motion
occurs,
then
the motion
has the purpose there exists
the process
F such that
the process
F is an
instance
of
fuel filter
and
the third object
between
on path
the process
F for
the fourth object
(=>
(
and
(
instance
?M
HalfMarathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 13.1))
Sports.kif 295-302
If
a motion
is an
instance
of
half-marathon
and
an agent
is an
agent
of
the motion
and
a transitway
is
path
along which
the motion
occurs and the
distance
of
the transitway
is
a real number
mile
(s),
then
the real number
is
equal
to 13.1
(=>
(
and
(
instance
?M
Marathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 26.2))
Sports.kif 281-288
If
a motion
is an
instance
of
marathon
and
an agent
is an
agent
of
the motion
and
a transitway
is
path
along which
the motion
occurs and the
distance
of
the transitway
is
a real number
mile
(s),
then
the real number
is
equal
to 26.2
(=>
(
and
(
instance
?S
MultiModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
Aircraft
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
or
(
instance
?V2
RailVehicle
)
(
instance
?V2
WaterVehicle
)
(
instance
?V2
RoadVehicle
)))
Transportation.kif 3062-3076
If
a transit system
is an
instance
of
multi modal transit system
and
the transit system
is a
route
in system of
a transitway
and
a motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the motion
occurs and
an object
is an
instance
of
aircraft
and
the object
is an
instrument
for
the motion
and
another motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the other motion
occurs and
another object
is an
instrument
for
the other motion
,
then
the other object
is an
instance
of
rail vehicle
or
the other object
is an
instance
of
water vehicle
or
the other object
is an
instance
of
road vehicle
(=>
(
and
(
instance
?S
MultiModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
RailVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
or
(
instance
?V2
RoadVehicle
)
(
instance
?V2
WaterVehicle
)
(
instance
?V2
Aircraft
)))
Transportation.kif 3030-3044
If
a transit system
is an
instance
of
multi modal transit system
and
the transit system
is a
route
in system of
a transitway
and
a motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the motion
occurs and
an object
is an
instance
of
rail vehicle
and
the object
is an
instrument
for
the motion
and
another motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the other motion
occurs and
another object
is an
instrument
for
the other motion
,
then
the other object
is an
instance
of
road vehicle
or
the other object
is an
instance
of
water vehicle
or
the other object
is an
instance
of
aircraft
(=>
(
and
(
instance
?S
MultiModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
RoadVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
or
(
instance
?V2
RailVehicle
)
(
instance
?V2
WaterVehicle
)
(
instance
?V2
Aircraft
)))
Transportation.kif 3014-3028
If
a transit system
is an
instance
of
multi modal transit system
and
the transit system
is a
route
in system of
a transitway
and
a motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the motion
occurs and
an object
is an
instance
of
road vehicle
and
the object
is an
instrument
for
the motion
and
another motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the other motion
occurs and
another object
is an
instrument
for
the other motion
,
then
the other object
is an
instance
of
rail vehicle
or
the other object
is an
instance
of
water vehicle
or
the other object
is an
instance
of
aircraft
(=>
(
and
(
instance
?S
MultiModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
WaterVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
or
(
instance
?V2
RailVehicle
)
(
instance
?V2
RoadVehicle
)
(
instance
?V2
Aircraft
)))
Transportation.kif 3046-3060
If
a transit system
is an
instance
of
multi modal transit system
and
the transit system
is a
route
in system of
a transitway
and
a motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the motion
occurs and
an object
is an
instance
of
water vehicle
and
the object
is an
instrument
for
the motion
and
another motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the other motion
occurs and
another object
is an
instrument
for
the other motion
,
then
the other object
is an
instance
of
rail vehicle
or
the other object
is an
instance
of
road vehicle
or
the other object
is an
instance
of
aircraft
(=>
(
and
(
instance
?S
UniModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
Aircraft
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
instance
?V2
Aircraft
))
Transportation.kif 2996-3007
If
a transit system
is an
instance
of
uni modal transit system
and
the transit system
is a
route
in system of
a transitway
and
a motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the motion
occurs and
an object
is an
instance
of
aircraft
and
the object
is an
instrument
for
the motion
and
another motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the other motion
occurs and
another object
is an
instrument
for
the other motion
,
then
the other object
is an
instance
of
aircraft
(=>
(
and
(
instance
?S
UniModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
RailVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
instance
?V2
RailVehicle
))
Transportation.kif 2970-2981
If
a transit system
is an
instance
of
uni modal transit system
and
the transit system
is a
route
in system of
a transitway
and
a motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the motion
occurs and
an object
is an
instance
of
rail vehicle
and
the object
is an
instrument
for
the motion
and
another motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the other motion
occurs and
another object
is an
instrument
for
the other motion
,
then
the other object
is an
instance
of
rail vehicle
(=>
(
and
(
instance
?S
UniModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
RoadVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
instance
?V2
RoadVehicle
))
Transportation.kif 2957-2968
If
a transit system
is an
instance
of
uni modal transit system
and
the transit system
is a
route
in system of
a transitway
and
a motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the motion
occurs and
an object
is an
instance
of
road vehicle
and
the object
is an
instrument
for
the motion
and
another motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the other motion
occurs and
another object
is an
instrument
for
the other motion
,
then
the other object
is an
instance
of
road vehicle
(=>
(
and
(
instance
?S
UniModalTransitSystem
)
(
routeInSystem
?P ?S)
(
instance
?T1
Transportation
)
(
path
?T1 ?P)
(
instance
?V1
WaterVehicle
)
(
instrument
?T1 ?V1)
(
instance
?T2
Transportation
)
(
path
?T2 ?P)
(
instrument
?T2 ?V2))
(
instance
?V2
WaterVehicle
))
Transportation.kif 2983-2994
If
a transit system
is an
instance
of
uni modal transit system
and
the transit system
is a
route
in system of
a transitway
and
a motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the motion
occurs and
an object
is an
instance
of
water vehicle
and
the object
is an
instrument
for
the motion
and
another motion
is an
instance
of
transportation
and
the transitway
is
path
along which
the other motion
occurs and
another object
is an
instrument
for
the other motion
,
then
the other object
is an
instance
of
water vehicle
(=>
(
and
(
instance
?T
AirTransportation
)
(
path
?T ?P))
(
instance
?P
AirTransitway
))
Transportation.kif 1259-1263
If
a motion
is an
instance
of
air transportation
and
an object
is
path
along which
the motion
occurs,
then
the object
is an
instance
of
air transitway
(=>
(
and
(
instance
?T
LandTransportation
)
(
path
?T ?P))
(
instance
?P
LandTransitway
))
Mid-level-ontology.kif 17811-17815
If
a motion
is an
instance
of
land transportation
and
an object
is
path
along which
the motion
occurs,
then
the object
is an
instance
of
land transitway
(=>
(
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 4031-4046
If
an object
is an
instance
of
tailpipe
and
the object
R is an
instance
of
transfer
and
an entity
is an
instance
of
exhaust
and
another object
is an
instance
of
automobile
and
the other object
ES is an
instance
of
exhaust system
and
the object
is a
part
of
the other object
and
the object
is
path
along which
the object
R occurs and
the entity
is a
patient
of
the object
R,
then
the object
has the purpose there doesn't exist
a third entity
such that
the third entity
is a
part
of
the other object
and
the object
before
the third entity
on path
the other object
ES during
the object
R
(=>
(
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 11116-11126
If
an object
is
path
along which
a motion
occurs and
the motion
originate
s at
another object
and
the motion
end
s up at
a third object
and the
length
of
the object
is
a real number
an unit of measure
(s) and the
distance
between
the other object
and
the third object
is
another real number
the unit of measure
(s) and
the real number
is not
greater
than
the other real number
and
a fourth object
is a
part
of
the object
,
then
the fourth object
is
between
the other object
and
the third object
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
If
a self connected object
is an
instance
of
shock
and
a process
is an
instance
of
compressing
and
a hole
is an
instance
of
hole
and
fluid
is an
attribute
of
an object
and
the self connected object
is
equal
to the
host
of the hole
the hole
and
the self connected object
contain
s
the object
and
the self connected object
is a
patient
of
the process
,
then there exists
a transfer
such that
the transfer
is an
instance
of
transfer
and the object transferred in
the transfer
is
the object
and
the hole
is
path
along which
the transfer
occurs and
the process
cause
s
the transfer
(=>
(
and
(
instance
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
If
a physical
is an
instance
of
barricade
and
the physical
is
partly
located in
an object
,
then
the physical
has the purpose there doesn't exist
an entity
such that
the entity
is an
instance
of
translocation
and
the object
is
path
along which
the entity
occurs
(=>
(
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 1228-1240
If
an object
is an
instance
of
gun
and
another object
is an
instance
of
gun barrel
and
the other object
is a
part
of
the object
and
a process
is an
instance
of
shooting
and
the object
is an
instrument
for
the process
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
projectile
,
then there exists
the process
UB such that
the process
UB is a
subprocess
of
the process
and
the other object
is
path
along which
the process
UB occurs
(=>
(
and
(
instance
?GOING
(
TransitFn
?WAY))
(
instance
?WAY
Transitway
))
(
path
?GOING ?WAY))
Transportation.kif 1609-1613
If
a motion
is an
instance
of the
transit
of
a transitway
and
the transitway
is an
instance
of
transitway
,
then
the transitway
is
path
along which
the motion
occurs
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 3123-3128
If
an object
is an
instance
of
harbor
and
the object
equipment
count
ship berth
for
a real number
and
the real number
is
greater
than 0,
then
the object
is
capable
of doing
ship berthing
as a
path
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 3130-3138
If
an object
is an
instance
of
port facility
and
the object
is
capable
of doing
ship berthing
as a
patient
,
then there exists
another object
such that
the other object
is an
instance
of
harbor
and
the other object
is
connected
to
the object
and
the other object
is
capable
of doing
ship berthing
as a
path
(=>
(
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 6589-6601
If
a transfer
is an
instance
of
swallowing
and
an agent
is an
agent
of
the transfer
,
then there exist
an object
,
another object
,, ,
the transfer
T and
a third object
such that
the object
is an
instance
of
mouth
and
the other object
is an
instance
of
esophagus
and
the transfer
T is an
instance
of
stomach
and the object transferred in
the transfer
is
the third object
and
the transfer
originate
s at
the object
and
the transfer
end
s up at
the transfer
T and
the other object
is
path
along which
the transfer
occurs
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2698-2703
If
a real number
meter
(s) is a
navigable
for draft of
a water area
and
another real number
meter
(s) is a
laden
draft of
a water vehicle
and
the real number
is
greater
than
the other real number
,
then
the water area
is
capable
of doing the
trip
of
the water vehicle
as a
path
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2705-2710
If
a real number
meter
(s) is a
navigable
for draft of
a water area
and
another real number
meter
(s) is a
laden
draft of
a water vehicle
and
the real number
is
less
than or equal to
the other real number
,
then
the water area
is not
capable
of doing the
trip
of
the water vehicle
as a
path
(=>
(
and
(
navigableForShippingTonnage
?WATERWAY
(
MeasureFn
?TONNAGE
LongTon
))
(
instance
?VESSEL
WaterVehicle
)
(
vesselDisplacement
?VESSEL
(
MeasureFn
?DWT
LongTon
))
(
lessThanOrEqualTo
?DWT ?TONNAGE))
(
capability
(
TripFn
?VESSEL)
path
?WATERWAY))
Transportation.kif 2682-2688
If
a real number
long ton
(s) is a
navigable
for shipping tonnage of
a water area
and
a water vehicle
is an
instance
of
water vehicle
and
another real number
long ton
(s) is a
vessel
displacement of
the water vehicle
and
the other real number
is
less
than or equal to
the real number
,
then
the water area
is
capable
of doing the
trip
of
the water vehicle
as a
path
(=>
(
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 1108-1117
If
a process
is an
instance
of
bowling
,
then there exist
the process
ALL,
a motion
and
an object
such that
the motion
is an
instance
of
translocation
and
the process
ALL is an
instance
of
bowling ball
and
the process
ALL is a
patient
of
the motion
and
the object
is an
instance
of
bowling lane
and
the object
is
path
along which
the motion
occurs and
the motion
is a
subprocess
of
the 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
If
a motion
is an
instance
of
blood circulation
,
then there exist
an object
,
another object
,, ,
a third object
and
a fourth object
such that
the object
is an
instance
of
animal
and
the fourth object
is an
instance
of
blood
and
the fourth object
moves during
the motion
and
the third object
is an
instance
of
artery
and
the other object
is an
instance
of
vein
and
the third object
is a
part
of
the object
and
the other object
is a
part
of
the object
and
the third object
is
path
along which
the motion
occurs and
the other object
is
path
along which
the motion
occurs
(=>
(
instance
?BL
BowlingLane
)
(
hasPurpose
?BL
(
exists
(?TR ?BALL)
(
and
(
instance
?TR
Translocation
)
(
instance
?BALL
BowlingBall
)
(
patient
?TR ?BALL)
(
path
?TR ?BL)))))
Sports.kif 1147-1155
If
a physical
is an
instance
of
bowling lane
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
translocation
and
the other entity
is an
instance
of
bowling ball
and
the other entity
is a
patient
of
the entity
and
the physical
is
path
along which
the entity
occurs
(=>
(
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
If
a physical
is an
instance
of
cannula
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
the other entity
BJ and
a fourth entity
such that
the other entity
is an
instance
of
organism
and
the entity
is an
instance
of
motion
and
the other entity
BJ moves during
the entity
and
the fourth entity
is
outside
to
the other entity
and
the physical
is
path
along which
the entity
occurs and
the entity
originate
s at
the fourth entity
and
the entity
end
s up at
the other entity
or
the entity
originate
s at
the other entity
and
the entity
end
s up at
the fourth entity
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?E ?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?E)
(
path
?T ?EV)
(
instance
?E
Exhaust
)))))
Cars.kif 2648-2656
If
a physical
is an
instance
of
exhaust valve
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
transfer
and the object transferred in
the other entity
is
the entity
and
the physical
is
path
along which
the other entity
occurs and
the entity
is an
instance
of
exhaust
(=>
(
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 2826-2855
If
a physical
is an
instance
of
gasket
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
corpuscular object
and
the other entity
is an
instance
of
corpuscular object
and
the entity
meet
s
the physical
and
the other entity
meet
s
the physical
and there don't exist
a third entity
,
a fourth entity
,, ,
a fifth entity
and
a sixth entity
such that
the third entity
is an
instance
of
hole
and
the physical
is
equal
to the
host
of the hole
the third entity
and
the fifth entity
is an
instance
of
translocation
and
the third entity
is
path
along which
the fifth entity
occurs and
the fifth entity
originate
s at
the sixth entity
and
the fifth entity
end
s up at
the fourth entity
and
the entity
contain
s
the sixth entity
and
the entity
doesn't
contain
the fourth entity
and
the entity
meet
s
the fourth entity
and there doesn't exist
the sixth entity
3 such that
the third entity
contain
s
the sixth entity
3 and
the entity
doesn't
contain
the sixth entity
3 and
the other entity
doesn't
contain
the sixth entity
3
(=>
(
instance
?GF
GreaseFitting
)
(
hasPurpose
?GF
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
path
?P ?GF)
(
objectTransferred
?P ?G)))))
Cars.kif 3003-3011
If
a physical
is an
instance
of
grease fitting
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
grease
and
the entity
is an
instance
of
putting
and
the physical
is
path
along which
the entity
occurs and the object transferred in
the entity
is
the other entity
(=>
(
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 15649-15664
If
a physical
is an
instance
of
hall
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
translocation
and
the physical
is
path
along which
the entity
occurs and
the physical
is
located
at
the other entity
and
the other entity
is an
instance
of
building
and
the physical
is
between
the third entity
and
the fourth entity
and
the third entity
is an
instance
of
room
and
the fourth entity
is an
instance
of
room
and
the third entity
is
located
at
the other entity
and
the fourth entity
is
located
at
the other entity
and
the third entity
is not
equal
to
the fourth entity
(=>
(
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 2673-2686
If
a physical
is an
instance
of
intake valve
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
automobile
and
the other entity
is an
instance
of
fuel vapor
and
the third entity
is an
instance
of
combustion chamber
and
the fourth entity
is an
instance
of
transfer
and
the physical
is a
part
of
the entity
and
the third entity
is a
part
of
the entity
and
the other entity
is a
patient
of
the fourth entity
and
the physical
is
path
along which
the fourth entity
occurs and
the fourth entity
end
s up at
the third entity
(=>
(
instance
?IVT
IVTherapy
)
(
exists
(?P ?V ?T)
(
and
(
instance
?T
IVLine
)
(
path
?IVT ?T)
(
instance
?V
Vein
)
(
destination
?IVT ?V))))
Medicine.kif 1078-1085
If
a motion
is an
instance
of
IV Therapy
,
then there exist
an entity
,
another entity
and
an object
such that
the object
is an
instance
of
IV Line
and
the object
is
path
along which
the motion
occurs and
the other entity
is an
instance
of
vein
and
the motion
end
s up at
the other entity
(=>
(
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 3247-3262
If
a physical
is an
instance
of
manifold heat control valve
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
heating
and
the other entity
is an
instance
of
opening
and
the third entity
is an
instance
of
exhaust
and
the fifth entity
is an
instance
of
transfer
and
the fourth entity
is an
instance
of
fuel vapor
and
the physical
is a
patient
of
the other entity
and
the third entity
is an
instrument
for
the entity
and
the fourth entity
is a
patient
of
the entity
and
the physical
is
path
along which
the fifth entity
occurs and
the other entity
cause
s
the fifth entity
and
the fifth entity
cause
s
the entity
(=>
(
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
If
a physical
is an
instance
of
nose hose
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
breathing
and
the other entity
is
located
at
the entity
and
unconscious
is an
attribute
of
the entity
holds
during
the
time
of existence of
the other entity
and
the physical
is
path
along which
the other entity
occurs
(=>
(
instance
?P
Waterway
)
(
hasPurpose
?P
(
exists
(?T)
(
and
(
instance
?T
WaterTransportation
)
(
path
?T ?P)))))
Geography.kif 5582-5588
If
a physical
is an
instance
of
waterway
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
water transportation
and
the physical
is
path
along which
the entity
occurs
(=>
(
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 3803-3819
If
a physical
is an
instance
of
positive crankcase ventilation valve
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
crankcase
and
the other entity
is an
instance
of
fuel
and
the third entity
is an
instance
of
combustion chamber
and
the fourth entity
is an
instance
of
transfer
and
the fifth entity
is an
instance
of
automobile
and
the entity
is a
part
of
the fifth entity
and
the third entity
is a
part
of
the fifth entity
and
the physical
is a
part
of
the fifth entity
and
the fourth entity
originate
s at
the entity
and
the fourth entity
end
s up at
the third entity
and the object transferred in
the fourth entity
is
the other entity
and
the physical
is
path
along which
the fourth entity
occurs
(=>
(
instance
?R
Ramp
)
(
capability
MotionDownward
path
?R))
Mid-level-ontology.kif 2363-2365
If
an object
is an
instance
of
ramp
,
then
the object
is
capable
of doing
motion downward
as a
path
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