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
Il numero 1 argomenti di
path
è un
istanza
di
Movimento
(
domain
path
2
Object
)
Merge.kif 11076-11076
Il numero 2 argomenti di
path
è un
istanza
di
Oggetto
(
instance
path
CaseRole
)
Merge.kif 11070-11070
path
è un'
istanza
di
RuoloSemantico
(
instance
path
TotalValuedRelation
)
Merge.kif 11071-11071
path
è un'
istanza
di
RelazioneAValoreTotale
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
path
è una
sottorelazione
di
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
Oggetto
,
Oggetto
,
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Trasferimento
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Trasferimento
si
originas in
Oggetto
Trasferimento
fine
s in
Oggetto
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
(=>
(
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
Oggetto
è un'
istanza
di
WirelessNetwork
Movimento
è un'
istanza
di
NetworkCommunication
Oggetto
è uno
strumento
per
Movimento
Oggetto
è
cammino
mentre
Movimento
si verifica
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
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
è un'
istanza
di
CPR
Movimento
è un'
istanza
di
Compressing
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
è un
sottoprocesso
di
Processo
la
lunghezza
di
Oggetto
è
NumeroReale
Centimeter
(s
NumeroReale
è
pi
ù grande di 5.0
NumeroReale
è
meno
di6.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
Oggetto
è un'
istanza
di
Electromagnet
Trasferimento
è un'
istanza
di
Trasferimento
Oggetto
è un'
istanza
di
Electricity
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Processo
Processo
è un'
istanza
di
Magnetism
Oggetto
è uno
strumento
per
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
Entit�
è un'
istanza
di
Electromagnet
Entit�
Entit�
Entit�
è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
Electricity
objectTransferred
Entit�
and
Entit�
Entit�
è
cammino
mentre
Entit�
si verifica non vale
durante
Entit�
1
Entit�
Entit�
è un'
istanza
di
Magnetism
Entit�
è uno
strumento
per
Entit�
non vale
durante
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
Oggetto
è un'
istanza
di
FuelPump
Oggetto
è un'
istanza
di
Automobile
Oggetto
è una
parte
di
Oggetto
Movimento
è un'
istanza
di
Trasporto
Processo
è un'
istanza
di
Fuel
Processo
è un
paziente
di
Movimento
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
GasTank
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
EngineCylinder
Oggetto
è una
parte
di
Oggetto
Movimento
si
originas in
Oggetto
Movimento
fine
s in
Oggetto
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
ha
scopo
Processo
F
Processo
F è un'
istanza
di
FuelFilter
betweenOnPath
Oggetto
,
Processo
F,
Oggetto
and
Oggetto
(=>
(
and
(
instance
?M
HalfMarathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 13.1))
Sports.kif 295-302
Movimento
è un'
istanza
di
HalfMarathon
Movimento
è un
agente
di
AutonomousAgent
Transitway
è
cammino
mentre
Movimento
si verifica
distanceOnPath
NumeroReale
Mile
(s and
Transitway
NumeroReale
is
uguale
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
è un'
istanza
di
Marathon
Movimento
è un
agente
di
AutonomousAgent
Transitway
è
cammino
mentre
Movimento
si verifica
distanceOnPath
NumeroReale
Mile
(s and
Transitway
NumeroReale
is
uguale
a 26.2
(=>
(
and
(
instance
?T
AirTransportation
)
(
path
?T ?P))
(
instance
?P
AirTransitway
))
Transportation.kif 1259-1263
Movimento
è un'
istanza
di
AirTransportation
Oggetto
è
cammino
mentre
Movimento
si verifica
Oggetto
è un'
istanza
di
AirTransitway
(=>
(
and
(
instance
?T
LandTransportation
)
(
path
?T ?P))
(
instance
?P
LandTransitway
))
Mid-level-ontology.kif 17784-17788
Movimento
è un'
istanza
di
LandTransportation
Oggetto
è
cammino
mentre
Movimento
si verifica
Oggetto
è un'
istanza
di
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
Oggetto
è un'
istanza
di
Tailpipe
Oggetto
R è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
Exhaust
Oggetto
è un'
istanza
di
Automobile
Oggetto
ES è un'
istanza
di
AutomobileExhaustSystem
Oggetto
è una
parte
di
Oggetto
Oggetto
è
cammino
mentre
Oggetto
R si verifica
Entit�
è un
paziente
di
Oggetto
R
Oggetto
ha
scopo
Entit�
Entit�
è una
parte
di
Oggetto
beforeOnPath
Oggetto
,
Entit�
,
Oggetto
ES and
Oggetto
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
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
si
originas in
Oggetto
Movimento
fine
s in
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
Oggetto
è una
parte
di
Oggetto
Oggetto
è
tra
Oggetto
e
Oggetto
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
OggettoIntegro
è un'
istanza
di
AutomobileShock
Processo
è un'
istanza
di
Compressing
apertura
è un'
istanza
di
apertura
attribute
Oggetto
and
Fluid
OggettoIntegro
is
uguale
a
HoleHostFn
apertura
contains
OggettoIntegro
and
Oggetto
OggettoIntegro
è un
paziente
di
Processo
Trasferimento
Trasferimento
è un'
istanza
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
apertura
è
cammino
mentre
Trasferimento
si verifica
Processo
causa
s
Trasferimento
(=>
(
and
(
instance
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
Entit�Concreta
è un'
istanza
di
Barricade
Entit�Concreta
è
in
parte localizzato in
Oggetto
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Translocation
Oggetto
è
cammino
mentre
Entit�
si verifica
(=>
(
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
Oggetto
è un'
istanza
di
Gun
Oggetto
è un'
istanza
di
GunBarrel
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Sparare
Oggetto
è uno
strumento
per
Processo
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Projectile
Processo
UB
Processo
UB è un
sottoprocesso
di
Processo
Oggetto
è
cammino
mentre
Processo
UB si verifica
(=>
(
and
(
instance
?GOING
(
TransitFn
?WAY))
(
instance
?WAY
Transitway
))
(
path
?GOING ?WAY))
Transportation.kif 1609-1613
Movimento
è un'
istanza
di
TransitFn
Transitway
Transitway
è un'
istanza
di
Transitway
Transitway
è
cammino
mentre
Movimento
si verifica
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
Oggetto
è un'
istanza
di
Harbor
equipmentCount
Oggetto
,
ShipBerth
and
NumeroReale
NumeroReale
è
pi
ù grande di 0
Oggetto
è
capace
di fare
ShipBerthing
nel ruolo
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
Oggetto
è un'
istanza
di
PortFacility
Oggetto
è
capace
di fare
ShipBerthing
nel ruolo
patient
Oggetto
Oggetto
è un'
istanza
di
Harbor
Oggetto
è
connesso
a
Oggetto
Oggetto
è
capace
di fare
ShipBerthing
nel ruolo
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
Trasferimento
è un'
istanza
di
Swallowing
Trasferimento
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
,
Trasferimento
T and
Oggetto
Oggetto
è un'
istanza
di
Mouth
Oggetto
è un'
istanza
di
Esophagus
Trasferimento
T è un'
istanza
di
Stomach
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
si
originas in
Oggetto
Trasferimento
fine
s in
Trasferimento
T
Oggetto
è
cammino
mentre
Trasferimento
si verifica
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
navigableForDraft
SuperficieAcquatica
and
NumeroReale
Meter
(s
ladenDraft
WaterVehicle
and
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
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
SuperficieAcquatica
and
NumeroReale
Meter
(s
ladenDraft
WaterVehicle
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
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
SuperficieAcquatica
and
NumeroReale
LongTon
(s
WaterVehicle
è un'
istanza
di
WaterVehicle
vesselDisplacement
WaterVehicle
and
NumeroReale
LongTon
(s
NumeroReale
è
minore
o uguale a
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
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
è un'
istanza
di
Bowling
Processo
ALL
Movimento
and
Oggetto
Movimento
è un'
istanza
di
Translocation
Processo
ALL è un'
istanza
di
BowlingBall
Processo
ALL è un
paziente
di
Movimento
Oggetto
è un'
istanza
di
BowlingLane
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
è un
sottoprocesso
di
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
è un'
istanza
di
BloodCirculation
Oggetto
Oggetto
,
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
Sangue
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Artery
Oggetto
è un'
istanza
di
Vein
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
cammino
mentre
Movimento
si verifica
Oggetto
è
cammino
mentre
Movimento
si verifica
(=>
(
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
Entit�Concreta
è un'
istanza
di
BowlingLane
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�
è un'
istanza
di
BowlingBall
Entit�
è un
paziente
di
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
(=>
(
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
Entit�Concreta
è un'
istanza
di
Catheter
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
BJ and
Entit�
Entit�
è un'
istanza
di
Organismo
Entit�
è un'
istanza
di
Movimento
moves
Entit�
and
Entit�
BJ
Entit�
è
Outside
a
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
Entit�
si
originas in
Entit�
Entit�
fine
s in
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
Entit�Concreta
è un'
istanza
di
ExhaustValve
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Trasferimento
objectTransferred
Entit�
and
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
è un'
istanza
di
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
Entit�Concreta
è un'
istanza
di
Gasket
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
OggettoCorpuscolare
Entit�
è un'
istanza
di
OggettoCorpuscolare
Entit�
incontra
s
Entit�Concreta
Entit�
incontra
s
Entit�Concreta
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
apertura
Entit�Concreta
is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�
è
cammino
mentre
Entit�
si verifica
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
contains
Entit�
and
Entit�
contains
Entit�
and
Entit�
Entit�
incontra
s
Entit�
Entit�
3
contains
Entit�
and
Entit�
3
contains
Entit�
and
Entit�
3
contains
Entit�
and
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
Entit�Concreta
è un'
istanza
di
GreaseFitting
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Grease
Entit�
è un'
istanza
di
Porre
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
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
Entit�Concreta
è un'
istanza
di
Hallway
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�Concreta
è
localizzato
in
Entit�
Entit�
è un'
istanza
di
Costruzione
Entit�Concreta
è
tra
Entit�
e
Entit�
Entit�
è un'
istanza
di
Stanza
Entit�
è un'
istanza
di
Stanza
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
is
uguale
a
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
Entit�Concreta
è un'
istanza
di
IntakeValve
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Automobile
Entit�
è un'
istanza
di
FuelVapor
Entit�
è un'
istanza
di
CombustionChamber
Entit�
è un'
istanza
di
Trasferimento
Entit�Concreta
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
fine
s in
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
Movimento
è un'
istanza
di
IVTherapy
Entit�
Entit�
and
Oggetto
Oggetto
è un'
istanza
di
IVLine
Oggetto
è
cammino
mentre
Movimento
si verifica
Entit�
è un'
istanza
di
Vein
Movimento
fine
s in
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
Entit�Concreta
è un'
istanza
di
ManifoldHeatControlValve
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Riscaldamento
Entit�
è un'
istanza
di
Opening
Entit�
è un'
istanza
di
Exhaust
Entit�
è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
FuelVapor
Entit�Concreta
è un
paziente
di
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
causa
s
Entit�
Entit�
causa
s
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
Entit�Concreta
è un'
istanza
di
NasopharyngealAirway
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Respirazione
Entit�
è
localizzato
in
Entit�
attribute
Entit�
and
Inconscio
vales
durante
il
tempo
di esistenza di
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
(=>
(
instance
?P
Waterway
)
(
hasPurpose
?P
(
exists
(?T)
(
and
(
instance
?T
WaterTransportation
)
(
path
?T ?P)))))
Geography.kif 5582-5588
Entit�Concreta
è un'
istanza
di
Waterway
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
WaterTransportation
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
(=>
(
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
Entit�Concreta
è un'
istanza
di
PositiveCrankcaseVentilationValve
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Crankcase
Entit�
è un'
istanza
di
Fuel
Entit�
è un'
istanza
di
CombustionChamber
Entit�
è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
Automobile
Entit�
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�Concreta
è una
parte
di
Entit�
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
objectTransferred
Entit�
and
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
(=>
(
instance
?R
Ramp
)
(
capability
MotionDownward
path
?R))
Mid-level-ontology.kif 2370-2372
Oggetto
è un'
istanza
di
Ramp
Oggetto
è
capace
di fare
MotionDownward
nel ruolo
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