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
O argumento numero 1 de
path
e' uma
instancia
de
Movimento
(
domain
path
2
Object
)
Merge.kif 11076-11076
O argumento numero 2 de
path
e' uma
instancia
de
Objeto
(
instance
path
CaseRole
)
Merge.kif 11070-11070
path
e' uma
instancia
de
Role em Caso
(
instance
path
TotalValuedRelation
)
Merge.kif 11071-11071
path
e' uma
instancia
de
Relacao Total
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
path
e' uma
sub
-relacao 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
Objeto
,
Objeto
,
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
Transferencia
termina
em
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
(=>
(
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
Objeto
e' uma
instancia
de
WirelessNetwork
Movimento
e' uma
instancia
de
NetworkCommunication
Objeto
e' um
instrumento
para
Movimento
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
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
Processo
e' uma
instancia
de
CPR
Movimento
e' uma
instancia
de
Compressing
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
e' um
sub
-processo de
Processo
o
comprimento
de
Objeto
e'
Numero Real
Centimeter
(s)
Numero Real
e'
maior
que 5.0
Numero Real
e'
menos
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
Objeto
e' uma
instancia
de
Electromagnet
Transferencia
e' uma
instancia
de
Transferencia
Objeto
e' uma
instancia
de
Electricity
objectTransferred
Transferencia
and
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Processo
Processo
e' uma
instancia
de
Magnetism
Objeto
e' um
instrumento
para
Processo
(=>
(
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
Entidade
e' uma
instancia
de
Electromagnet
Entidade
Entidade
Entidade
e' uma
instancia
de
Transferencia
Entidade
e' uma
instancia
de
Electricity
objectTransferred
Entidade
and
Entidade
Entidade
e' o
caminho
ao longo do qual
Entidade
ocorre
vale
durante
Entidade
1
Entidade
Entidade
e' uma
instancia
de
Magnetism
Entidade
e' um
instrumento
para
Entidade
vale
durante
Entidade
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
Objeto
e' uma
instancia
de
FuelPump
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Movimento
e' uma
instancia
de
Transporte
Processo
e' uma
instancia
de
Fuel
Processo
e' um
patient
de
Movimento
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
GasTank
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
EngineCylinder
Objeto
e' uma &parte de
Objeto
Movimento
tem como
origem
Objeto
Movimento
termina
em
Objeto
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
tem por
fim
Processo
F
Processo
F e' uma
instancia
de
FuelFilter
betweenOnPath
Objeto
,
Processo
F,
Objeto
and
Objeto
(=>
(
and
(
instance
?M
HalfMarathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 13.1))
Sports.kif 295-302
Movimento
e' uma
instancia
de
HalfMarathon
Movimento
e' um
agente
de
AutonomousAgent
Transitway
e' o
caminho
ao longo do qual
Movimento
ocorre
distanceOnPath
Numero Real
Mile
(s) and
Transitway
Numero Real
e'
igual
a 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
Movimento
e' uma
instancia
de
Marathon
Movimento
e' um
agente
de
AutonomousAgent
Transitway
e' o
caminho
ao longo do qual
Movimento
ocorre
distanceOnPath
Numero Real
Mile
(s) and
Transitway
Numero Real
e'
igual
a 26.2
(=>
(
and
(
instance
?T
AirTransportation
)
(
path
?T ?P))
(
instance
?P
AirTransitway
))
Transportation.kif 1259-1263
Movimento
e' uma
instancia
de
AirTransportation
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Objeto
e' uma
instancia
de
AirTransitway
(=>
(
and
(
instance
?T
LandTransportation
)
(
path
?T ?P))
(
instance
?P
LandTransitway
))
Mid-level-ontology.kif 17784-17788
Movimento
e' uma
instancia
de
LandTransportation
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Objeto
e' uma
instancia
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
Objeto
e' uma
instancia
de
Tailpipe
Objeto
R e' uma
instancia
de
Transferencia
Entidade
e' uma
instancia
de
Exhaust
Objeto
e' uma
instancia
de
Automobile
Objeto
ES e' uma
instancia
de
AutomobileExhaustSystem
Objeto
e' uma &parte de
Objeto
Objeto
e' o
caminho
ao longo do qual
Objeto
R ocorre
Entidade
e' um
patient
de
Objeto
R
Objeto
tem por
fim
Entidade
Entidade
e' uma &parte de
Objeto
beforeOnPath
Objeto
,
Entidade
,
Objeto
ES and
Objeto
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
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
tem como
origem
Objeto
Movimento
termina
em
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
Objeto
e' uma &parte de
Objeto
Objeto
esta'
entre
Objeto
e
Objeto
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
Objeto auto-conectado
e' uma
instancia
de
AutomobileShock
Processo
e' uma
instancia
de
Compressing
Buraco
e' uma
instancia
de
Buraco
Fluid
e' um
atributo
de
Objeto
Objeto auto-conectado
e'
igual
a o
dono
do buraco
Buraco
Objeto auto-conectado
contem
Objeto
Objeto auto-conectado
e' um
patient
de
Processo
Transferencia
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Buraco
e' o
caminho
ao longo do qual
Transferencia
ocorre
Processo
causa
Transferencia
(=>
(
and
(
instance
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
Fisico
e' uma
instancia
de
Barricade
Fisico
e'
parcialmente
localizado em
Objeto
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Translocation
Objeto
e' o
caminho
ao longo do qual
Entidade
ocorre
(=>
(
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
Objeto
e' uma
instancia
de
Gun
Objeto
e' uma
instancia
de
GunBarrel
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Atirar
Objeto
e' um
instrumento
para
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Projectile
Processo
UB
Processo
UB e' um
sub
-processo de
Processo
Objeto
e' o
caminho
ao longo do qual
Processo
UB ocorre
(=>
(
and
(
instance
?GOING
(
TransitFn
?WAY))
(
instance
?WAY
Transitway
))
(
path
?GOING ?WAY))
Transportation.kif 1609-1613
Movimento
e' uma
instancia
de
TransitFn
Transitway
Transitway
e' uma
instancia
de
Transitway
Transitway
e' o
caminho
ao longo do qual
Movimento
ocorre
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
Objeto
e' uma
instancia
de
Harbor
equipmentCount
Objeto
,
ShipBerth
and
Numero Real
Numero Real
e'
maior
que 0
Objeto
e'
capaz
de fazer
ShipBerthing
no role
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
Objeto
e' uma
instancia
de
PortFacility
Objeto
e'
capaz
de fazer
ShipBerthing
no role
patient
Objeto
Objeto
e' uma
instancia
de
Harbor
Objeto
e'
conectado
com
Objeto
Objeto
e'
capaz
de fazer
ShipBerthing
no role
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
Transferencia
e' uma
instancia
de
Swallowing
Transferencia
e' um
agente
de
AutonomousAgent
Objeto
Objeto
,
Transferencia
T and
Objeto
Objeto
e' uma
instancia
de
Mouth
Objeto
e' uma
instancia
de
Esophagus
Transferencia
T e' uma
instancia
de
Stomach
objectTransferred
Transferencia
and
Objeto
Transferencia
tem como
origem
Objeto
Transferencia
termina
em
Transferencia
T
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
navigableForDraft
Area Aquatica
and
Numero Real
Meter
(s)
ladenDraft
WaterVehicle
and
Numero Real
Meter
(s)
Numero Real
e'
maior
que
Numero Real
Area Aquatica
e'
capaz
de fazer
TripFn
WaterVehicle
no role
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
Area Aquatica
and
Numero Real
Meter
(s)
ladenDraft
WaterVehicle
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Area Aquatica
e'
capaz
de fazer
TripFn
WaterVehicle
no role
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
Area Aquatica
and
Numero Real
LongTon
(s)
WaterVehicle
e' uma
instancia
de
WaterVehicle
vesselDisplacement
WaterVehicle
and
Numero Real
LongTon
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Area Aquatica
e'
capaz
de fazer
TripFn
WaterVehicle
no role
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
Processo
e' uma
instancia
de
Bowling
Processo
ALL
Movimento
and
Objeto
Movimento
e' uma
instancia
de
Translocation
Processo
ALL e' uma
instancia
de
BowlingBall
Processo
ALL e' um
patient
de
Movimento
Objeto
e' uma
instancia
de
BowlingLane
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
e' um
sub
-processo de
Processo
(=>
(
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
Movimento
e' uma
instancia
de
BloodCirculation
Objeto
Objeto
,
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
Sangue
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Artery
Objeto
e' uma
instancia
de
Vein
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
(=>
(
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
Fisico
e' uma
instancia
de
BowlingLane
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Translocation
Entidade
e' uma
instancia
de
BowlingBall
Entidade
e' um
patient
de
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
(=>
(
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
Fisico
e' uma
instancia
de
Catheter
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
BJ and
Entidade
Entidade
e' uma
instancia
de
Organismo
Entidade
e' uma
instancia
de
Movimento
moves
Entidade
and
Entidade
BJ
Entidade
e'
Outside
em relacao a
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
ExhaustValve
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transferencia
objectTransferred
Entidade
and
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
e' uma
instancia
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
Fisico
e' uma
instancia
de
Gasket
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Objeto Corpuscular
Entidade
e' uma
instancia
de
Objeto Corpuscular
Entidade
encontra
Fisico
Entidade
encontra
Fisico
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Buraco
Fisico
e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Translocation
Entidade
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Entidade
contem
Entidade
Entidade
nao
contem
%n
Entidade
Entidade
encontra
Entidade
Entidade
3
Entidade
contem
Entidade
3
Entidade
nao
contem
%n
Entidade
3
Entidade
nao
contem
%n
Entidade
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
Fisico
e' uma
instancia
de
GreaseFitting
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Grease
Entidade
e' uma
instancia
de
Colocar
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
objectTransferred
Entidade
and
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Hallway
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Translocation
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Fisico
e'
situado
em
Entidade
Entidade
e' uma
instancia
de
Predio
Fisico
esta'
entre
Entidade
e
Entidade
Entidade
e' uma
instancia
de
Comodo
Entidade
e' uma
instancia
de
Comodo
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e'
igual
a
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
IntakeValve
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma
instancia
de
FuelVapor
Entidade
e' uma
instancia
de
CombustionChamber
Entidade
e' uma
instancia
de
Transferencia
Fisico
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' um
patient
de
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
termina
em
Entidade
(=>
(
instance
?IVT
IVTherapy
)
(
exists
(?P ?V ?T)
(
and
(
instance
?T
IVLine
)
(
path
?IVT ?T)
(
instance
?V
Vein
)
(
destination
?IVT ?V))))
Medicine.kif 1078-1085
Movimento
e' uma
instancia
de
IVTherapy
Entidade
Entidade
and
Objeto
Objeto
e' uma
instancia
de
IVLine
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Entidade
e' uma
instancia
de
Vein
Movimento
termina
em
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
ManifoldHeatControlValve
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Aquecer
Entidade
e' uma
instancia
de
Opening
Entidade
e' uma
instancia
de
Exhaust
Entidade
e' uma
instancia
de
Transferencia
Entidade
e' uma
instancia
de
FuelVapor
Fisico
e' um
patient
de
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
causa
Entidade
Entidade
causa
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
NasopharyngealAirway
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Respirar
Entidade
e'
situado
em
Entidade
Inconsciente
e' um
atributo
de
Entidade
vale
durante
tempo
de existencia de
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
(=>
(
instance
?P
Waterway
)
(
hasPurpose
?P
(
exists
(?T)
(
and
(
instance
?T
WaterTransportation
)
(
path
?T ?P)))))
Geography.kif 5582-5588
Fisico
e' uma
instancia
de
Waterway
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
WaterTransportation
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
(=>
(
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
Fisico
e' uma
instancia
de
PositiveCrankcaseVentilationValve
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Crankcase
Entidade
e' uma
instancia
de
Fuel
Entidade
e' uma
instancia
de
CombustionChamber
Entidade
e' uma
instancia
de
Transferencia
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Fisico
e' uma &parte de
Entidade
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
objectTransferred
Entidade
and
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
(=>
(
instance
?R
Ramp
)
(
capability
MotionDownward
path
?R))
Mid-level-ontology.kif 2370-2372
Objeto
e' uma
instancia
de
Ramp
Objeto
e'
capaz
de fazer
MotionDownward
no role
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