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
Il numero 1 argomenti di
path
è un
istanza
di
Movimento
(
domain
path
2
Object
)
Merge.kif 11110-11110
Il numero 2 argomenti di
path
è un
istanza
di
Oggetto
(
instance
path
CaseRole
)
Merge.kif 11104-11104
path
è un'
istanza
di
RuoloSemantico
(
instance
path
TotalValuedRelation
)
Merge.kif 11105-11105
path
è un'
istanza
di
RelazioneAValoreTotale
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11108-11108
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 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
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 3878-3888
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 3890-3906
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 17811-17815
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 4031-4046
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 11116-11126
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 1228-1240
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 2994-2999
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 3001-3009
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 6589-6601
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 2686-2691
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 2693-2698
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 2670-2676
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 1108-1117
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 1147-1155
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 2648-2656
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 2826-2855
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 3003-3011
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 15649-15664
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 2673-2686
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 3247-3262
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 3803-3819
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 2363-2365
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