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
Le nombre 1 argument de
path
est une
instance
de
d�palcement
(
domain
path
2
Object
)
Merge.kif 11076-11076
Le nombre 2 argument de
path
est une
instance
de
objet
(
instance
path
CaseRole
)
Merge.kif 11070-11070
path
est une
instance
de
r�le d�pendant du cas
(
instance
path
TotalValuedRelation
)
Merge.kif 11071-11071
path
est une
instance
de
relation total
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
path
est une
sous
-relation de
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
betweenOnPath
objet
,
objet
,
objet
and
objet
transf�re
est une
instance
de
transf�re
objet
est le
chemin
le long duquel
transf�re
se produit
transf�re
a pour
origine
objet
transf�re
aboutit
�
objet
beforeOnPath
objet
,
objet
,
objet
and
transf�re
beforeOnPath
objet
,
objet
,
objet
and
transf�re
(=>
(
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
Objet
est une
instance
de
WirelessNetwork
d�palcement
est une
instance
de
NetworkCommunication
objet
est un
instrument
pour
d�palcement
objet
est le
chemin
le long duquel
d�palcement
se produit
objet
objet
est une
partie
de
objet
objet
est une
instance
de
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
Processus
est une
instance
de
CPR
d�palcement
est une
instance
de
Compressing
objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
est un
sous
-processus de
processus
le
longueur
de
objet
est
nombre r�el
Centimeter
(s)
nombre r�el
est
plus
grand
que 5.0
nombre r�el
est
moins
que 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 3893-3903
Objet
est une
instance
de
Electromagnet
transf�re
est une
instance
de
transf�re
objet
est une
instance
de
Electricity
objectTransferred
transf�re
and
objet
objet
est le
chemin
le long duquel
transf�re
se produit
processus
processus
est une
instance
de
Magnetism
objet
est un
instrument
pour
processus
(=>
(
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
Entit�
est une
instance
de
Electromagnet
entit�
entit�
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
Electricity
objectTransferred
entit�
and
entit�
entit�
est le
chemin
le long duquel
entit�
se produit
pendant
entit�
1
entit�
entit�
est une
instance
de
Magnetism
entit�
est un
instrument
pour
entit�
pendant
entit�
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
Objet
est une
instance
de
FuelPump
objet
est une
instance
de
Automobile
objet
est une
partie
de
objet
d�palcement
est une
instance
de
transporter
processus
est une
instance
de
Fuel
processus
est un
patient
de
d�palcement
objet
est un
instrument
pour
processus
objet
est une
instance
de
GasTank
objet
est une
partie
de
objet
objet
est une
instance
de
EngineCylinder
objet
est une
partie
de
objet
d�palcement
a pour
origine
objet
d�palcement
aboutit
�
objet
objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
a pour
but
processus
F
processus
F est une
instance
de
FuelFilter
betweenOnPath
objet
,
processus
F,
objet
and
objet
(=>
(
and
(
instance
?M
HalfMarathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 13.1))
Sports.kif 295-302
D�palcement
est une
instance
de
HalfMarathon
d�palcement
est un
agent
de
AutonomousAgent
Transitway
est le
chemin
le long duquel
d�palcement
se produit
distanceOnPath
nombre r�el
Mile
(s) and
Transitway
nombre r�el
est &%�gal � 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
D�palcement
est une
instance
de
Marathon
d�palcement
est un
agent
de
AutonomousAgent
Transitway
est le
chemin
le long duquel
d�palcement
se produit
distanceOnPath
nombre r�el
Mile
(s) and
Transitway
nombre r�el
est &%�gal � 26.2
(=>
(
and
(
instance
?T
AirTransportation
)
(
path
?T ?P))
(
instance
?P
AirTransitway
))
Transportation.kif 1259-1263
D�palcement
est une
instance
de
AirTransportation
objet
est le
chemin
le long duquel
d�palcement
se produit
objet
est une
instance
de
AirTransitway
(=>
(
and
(
instance
?T
LandTransportation
)
(
path
?T ?P))
(
instance
?P
LandTransitway
))
Mid-level-ontology.kif 17784-17788
D�palcement
est une
instance
de
LandTransportation
objet
est le
chemin
le long duquel
d�palcement
se produit
objet
est une
instance
de
LandTransitway
(=>
(
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
Objet
est une
instance
de
Tailpipe
objet
R est une
instance
de
transf�re
entit�
est une
instance
de
Exhaust
objet
est une
instance
de
Automobile
objet
ES est une
instance
de
AutomobileExhaustSystem
objet
est une
partie
de
objet
objet
est le
chemin
le long duquel
objet
R se produit
entit�
est un
patient
de
objet
R
objet
a pour
but
entit�
entit�
est une
partie
de
objet
beforeOnPath
objet
,
entit�
,
objet
ES and
objet
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 11082-11092
Objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
a pour
origine
objet
d�palcement
aboutit
�
objet
le
longueur
de
objet
est
nombre r�el
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
objet
est une
partie
de
objet
objet
est
entre
objet
et
objet
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
Objet en une partie
est une
instance
de
AutomobileShock
processus
est une
instance
de
Compressing
trou
est une
instance
de
trou
Fluid
est un
attribut
de
objet
objet en une partie
est
h
�te du trou
trou
objet en une partie
contient
objet
objet en une partie
est un
patient
de
processus
transf�re
transf�re
est une
instance
de
transf�re
objectTransferred
transf�re
and
objet
trou
est le
chemin
le long duquel
transf�re
se produit
processus
cause
transf�re
(=>
(
and
(
instance
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
Physique
est une
instance
de
Barricade
physique
est
partiellement
localis� �
objet
physique
a pour
but
entit�
entit�
est une
instance
de
Translocation
objet
est le
chemin
le long duquel
entit�
se produit
(=>
(
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
Objet
est une
instance
de
Gun
objet
est une
instance
de
GunBarrel
objet
est une
partie
de
objet
processus
est une
instance
de
tirer
objet
est un
instrument
pour
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de
Projectile
processus
UB
processus
UB est un
sous
-processus de
processus
objet
est le
chemin
le long duquel
processus
UB se produit
(=>
(
and
(
instance
?GOING
(
TransitFn
?WAY))
(
instance
?WAY
Transitway
))
(
path
?GOING ?WAY))
Transportation.kif 1609-1613
D�palcement
est une
instance
de
TransitFn
Transitway
Transitway
est une
instance
de
Transitway
Transitway
est le
chemin
le long duquel
d�palcement
se produit
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
Objet
est une
instance
de
Harbor
equipmentCount
objet
,
ShipBerth
and
nombre r�el
nombre r�el
est
plus
grand
que 0
objet
est
capable
de faire
ShipBerthing
dans le r�le
path
(=>
(
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
Objet
est une
instance
de
PortFacility
objet
est
capable
de faire
ShipBerthing
dans le r�le
patient
objet
objet
est une
instance
de
Harbor
objet
est
connect
� �
objet
objet
est
capable
de faire
ShipBerthing
dans le r�le
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 6595-6607
Transf�re
est une
instance
de
Swallowing
transf�re
est un
agent
de
AutonomousAgent
objet
objet
,
transf�re
T and
objet
objet
est une
instance
de
Mouth
objet
est une
instance
de
Esophagus
transf�re
T est une
instance
de
Stomach
objectTransferred
transf�re
and
objet
transf�re
a pour
origine
objet
transf�re
aboutit
�
transf�re
T
objet
est le
chemin
le long duquel
transf�re
se produit
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
navigableForDraft
plan d'eau
and
nombre r�el
Meter
(s)
ladenDraft
WaterVehicle
and
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
que
nombre r�el
plan d'eau
est
capable
de faire
TripFn
WaterVehicle
dans le r�le
path
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
navigableForDraft
plan d'eau
and
nombre r�el
Meter
(s)
ladenDraft
WaterVehicle
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
plan d'eau
est
capable
de faire
TripFn
WaterVehicle
dans le r�le
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 2637-2643
navigableForShippingTonnage
plan d'eau
and
nombre r�el
LongTon
(s)
WaterVehicle
est une
instance
de
WaterVehicle
vesselDisplacement
WaterVehicle
and
nombre r�el
LongTon
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
plan d'eau
est
capable
de faire
TripFn
WaterVehicle
dans le r�le
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 1107-1116
Processus
est une
instance
de
Bowling
processus
ALL
d�palcement
and
objet
d�palcement
est une
instance
de
Translocation
processus
ALL est une
instance
de
BowlingBall
processus
ALL est un
patient
de
d�palcement
objet
est une
instance
de
BowlingLane
objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
est un
sous
-processus de
processus
(=>
(
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
D�palcement
est une
instance
de
BloodCirculation
objet
objet
,
objet
and
objet
objet
est une
instance
de
animal
objet
est une
instance
de
sang
moves
d�palcement
and
objet
objet
est une
instance
de
Artery
objet
est une
instance
de
Vein
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est le
chemin
le long duquel
d�palcement
se produit
objet
est le
chemin
le long duquel
d�palcement
se produit
(=>
(
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
Physique
est une
instance
de
BowlingLane
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Translocation
entit�
est une
instance
de
BowlingBall
entit�
est un
patient
de
entit�
physique
est le
chemin
le long duquel
entit�
se produit
(=>
(
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
Physique
est une
instance
de
Catheter
physique
a pour
but
entit�
entit�
,
entit�
BJ and
entit�
entit�
est une
instance
de
organisme
entit�
est une
instance
de
d�palcement
moves
entit�
and
entit�
BJ
entit�
est
Outside
�
entit�
physique
est le
chemin
le long duquel
entit�
se produit
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
(=>
(
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
Physique
est une
instance
de
ExhaustValve
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
transf�re
objectTransferred
entit�
and
entit�
physique
est le
chemin
le long duquel
entit�
se produit
entit�
est une
instance
de
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 2843-2872
Physique
est une
instance
de
Gasket
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
objet corpusculaire
entit�
est une
instance
de
objet corpusculaire
entit�
rencontre
physique
entit�
rencontre
physique
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
trou
physique
est
h
�te du trou
entit�
entit�
est une
instance
de
Translocation
entit�
est le
chemin
le long duquel
entit�
se produit
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
contient
entit�
entit�
ne
contient
%n{pas}
entit�
entit�
rencontre
entit�
entit�
3
entit�
contient
entit�
3
entit�
ne
contient
%n{pas}
entit�
3
entit�
ne
contient
%n{pas}
entit�
3
(=>
(
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
Physique
est une
instance
de
GreaseFitting
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Grease
entit�
est une
instance
de
mettre
physique
est le
chemin
le long duquel
entit�
se produit
objectTransferred
entit�
and
entit�
(=>
(
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
Physique
est une
instance
de
Hallway
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Translocation
physique
est le
chemin
le long duquel
entit�
se produit
physique
est
situ
� �
entit�
entit�
est une
instance
de
immeuble
physique
est
entre
entit�
et
entit�
entit�
est une
instance
de
pi�ce
entit�
est une
instance
de
pi�ce
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
entit�
est
entit�
(=>
(
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
Physique
est une
instance
de
IntakeValve
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Automobile
entit�
est une
instance
de
FuelVapor
entit�
est une
instance
de
CombustionChamber
entit�
est une
instance
de
transf�re
physique
est une
partie
de
entit�
entit�
est une
partie
de
entit�
entit�
est un
patient
de
entit�
physique
est le
chemin
le long duquel
entit�
se produit
entit�
aboutit
�
entit�
(=>
(
instance
?IVT
IVTherapy
)
(
exists
(?P ?V ?T)
(
and
(
instance
?T
IVLine
)
(
path
?IVT ?T)
(
instance
?V
Vein
)
(
destination
?IVT ?V))))
Medicine.kif 1078-1085
D�palcement
est une
instance
de
IVTherapy
entit�
entit�
and
objet
objet
est une
instance
de
IVLine
objet
est le
chemin
le long duquel
d�palcement
se produit
entit�
est une
instance
de
Vein
d�palcement
aboutit
�
entit�
(=>
(
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
Physique
est une
instance
de
ManifoldHeatControlValve
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
r�chauffer
entit�
est une
instance
de
Opening
entit�
est une
instance
de
Exhaust
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
FuelVapor
physique
est un
patient
de
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
physique
est le
chemin
le long duquel
entit�
se produit
entit�
cause
entit�
entit�
cause
entit�
(=>
(
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
Physique
est une
instance
de
NasopharyngealAirway
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
respirer
entit�
est
situ
� �
entit�
inconscient
est un
attribut
de
entit�
pendant
temps
d'existence de
entit�
physique
est le
chemin
le long duquel
entit�
se produit
(=>
(
instance
?P
Waterway
)
(
hasPurpose
?P
(
exists
(?T)
(
and
(
instance
?T
WaterTransportation
)
(
path
?T ?P)))))
Geography.kif 5582-5588
Physique
est une
instance
de
Waterway
physique
a pour
but
entit�
entit�
est une
instance
de
WaterTransportation
physique
est le
chemin
le long duquel
entit�
se produit
(=>
(
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
Physique
est une
instance
de
PositiveCrankcaseVentilationValve
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Crankcase
entit�
est une
instance
de
Fuel
entit�
est une
instance
de
CombustionChamber
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
Automobile
entit�
est une
partie
de
entit�
entit�
est une
partie
de
entit�
physique
est une
partie
de
entit�
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
objectTransferred
entit�
and
entit�
physique
est le
chemin
le long duquel
entit�
se produit
(=>
(
instance
?R
Ramp
)
(
capability
MotionDownward
path
?R))
Mid-level-ontology.kif 2370-2372
Objet
est une
instance
de
Ramp
objet
est
capable
de faire
MotionDownward
dans le r�le
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