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
connected
Sigma KEE - connected
connected
appearance as argument number 1
(
documentation
connected
ChineseLanguage
"(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1
meetsSpatially
?OBJ2 或者是 ?OBJ1
overlapsSpatially
?OBJ2。")
chinese_format.kif 2823-2824
(
documentation
connected
EnglishLanguage
"(connected ?OBJ1 ?OBJ2) means that ?OBJ1
meetsSpatially
?OBJ2 or that ?OBJ1
overlapsSpatially
?OBJ2.")
Merge.kif 9506-9507
(
documentation
connected
JapaneseLanguage
"(connected ?OBJ1 ?OBJ2) とは、?OBJ1
meetsSpatially
?OBJ2または ?OBJ1
overlapsSpatially
?OBJ2 という意味である。")
japanese_format.kif 1565-1566
(
domain
connected
1
Object
)
Merge.kif 9503-9503
Il numero 1 argomenti di
connected
è un
istanza
di
Oggetto
(
domain
connected
2
Object
)
Merge.kif 9504-9504
Il numero 2 argomenti di
connected
è un
istanza
di
Oggetto
(
instance
connected
BinaryPredicate
)
Merge.kif 9499-9499
connected
è un'
istanza
di
PredicatoBinario
(
instance
connected
ReflexiveRelation
)
Merge.kif 9501-9501
connected
è un'
istanza
di
RelazioneRiflessiva
(
instance
connected
SpatialRelation
)
Merge.kif 9500-9500
connected
è un'
istanza
di
RelazioneSpaziale
(
instance
connected
SymmetricRelation
)
Merge.kif 9502-9502
connected
è un'
istanza
di
RelazioneSimmetrica
appearance as argument number 2
(
disjointRelation
crosses
connected
)
Merge.kif 4200-4200
crosses
e
connected
sono
disgiunti
(
format
ChineseLanguage
connected
"%1 和 %2 %n 是
connected
")
chinese_format.kif 361-361
(
format
EnglishLanguage
connected
"%1 is %n
connected
to %2")
english_format.kif 364-364
(
format
FrenchLanguage
connected
"%1 est %n connect� � %2")
french_format.kif 209-209
(
format
ItalianLanguage
connected
"%1 è %n connesso a %2")
relations-it.txt 52-52
(
format
JapaneseLanguage
connected
"%1 は %2 と
connected
して %n ")
japanese_format.kif 2016-2016
(
format
PortugueseLanguage
connected
"%1 e' %n conectado com %2")
portuguese_format.kif 161-161
(
format
cb
connected
"%1 %n ay ikabit sa %2")
relations-cb.txt 86-86
(
format
cz
connected
"%1 %p{je} %n{nen�} spojen s %2")
relations-cz.txt 216-216
(
format
de
connected
"%1 wird an %2 %n{nicht} angeschlossen")
relations-de.txt 480-480
(
format
hi
connected
"%1 %2 se judaa huaa %n hai")
relations-hindi.txt 93-93
(
format
ro
connected
"%1 %n{nu} este
connected
%t{îmbinat} cu %2")
relations-ro.kif 229-229
(
format
sv
connected
"%1 är %n{inte} sammanlänkad med %2")
relations-sv.txt 226-226
(
format
tg
connected
"%1 %n ay nagkabit sa %2")
relations-tg.txt 120-120
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9570-9570
meetsSpatially
è
interamente
correlato a
connected
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16095-16095
connectedEngineeringComponents
è una
sottorelazione
di
connected
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4033-4033
overlapsSpatially
è una
sottorelazione
di
connected
(
termFormat
ChineseLanguage
connected
"相连")
chinese_format.kif 362-362
(
termFormat
ChineseLanguage
connected
"连接的")
domainEnglishFormat.kif 16638-16638
(
termFormat
ChineseTraditionalLanguage
connected
"連接的")
domainEnglishFormat.kif 16637-16637
(
termFormat
EnglishLanguage
connected
"connected")
domainEnglishFormat.kif 16636-16636
(
termFormat
tg
connected
"nagkabit")
relations-tg.txt 121-121
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9715-9720
Il
fondo
di
OggettoIntegro
è
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
connesso
a
OggettoIntegro
Oggetto
è
Above
a
OggettoIntegro
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9554-9560
Oggetto
è
connesso
a
Oggetto
Oggetto
è
connesso
a
Oggetto
Oggetto
è
connesso
a
Oggetto
Oggetto
connette
Oggetto
e
Oggetto
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 514-518
Oggetto
è
connesso
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
connesso
a
Oggetto
(=>
(
and
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))
(
instance
?OBJ
SelfConnectedObject
))
Merge.kif 9521-9525
Oggetto
is
uguale
a l'
unione
delle parti di
Oggetto
e
Oggetto
Oggetto
è
connesso
a
Oggetto
Oggetto
è un'
istanza
di
OggettoIntegro
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
Processo
è un'
istanza
di
Attaccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
objectAttached
Processo
and
Entit�
objectAttached
Processo
and
Entit�
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10577-10593
Oggetto
è un'
istanza
di
BodySegment
Oggetto
è un'
istanza
di
BodySegment
Oggetto
è
connesso
a
Oggetto
Movimento
è un'
istanza
di
MovimentoCorporeo
moves
Movimento
and
Oggetto
l'affermazione
Movimento
2
Movimento
2 è un'
istanza
di
MovimentoCorporeo
moves
Movimento
2 and
Oggetto
il
tempo
di esistenza di
Movimento
2 has luogo
durante
il
tempo
di esistenza di
Movimento
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?CHANNEL
Channel
)
(
instance
?BODY
BodyOfWater
)
(
connected
?CHANNEL ?BODY))
(
larger
?BODY ?CHANNEL))
Geography.kif 5330-5335
Oggetto
è un'
istanza
di
Channel
Oggetto
è un'
istanza
di
BodyOfWater
Oggetto
è
connesso
a
Oggetto
Oggetto
è
pi
ù largo di
Oggetto
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
Processo
è un'
istanza
di
Staccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
objectDetached
Processo
and
Entit�
objectDetached
Processo
and
Entit�
(=>
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2)))
(
exists
(?M)
(
relativeAngle
?L1 ?L2 ?M)))
Merge.kif 17882-17892
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
LongAndThin
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
LongAndThin
Oggetto
è
connesso
a
Oggetto
Oggetto
is
uguale
a
Oggetto
NumeroReale
relativeAngle
Oggetto
,
Oggetto
and
NumeroReale
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
AreaGeografica
è un'
istanza
di
InlandWaterSystem
AreaGeografica
è un'
istanza
di
SuperficieAcquatica
AreaGeografica
è un'
istanza
di
SuperficieAcquatica
AreaGeografica
is
uguale
a
AreaGeografica
AreaGeografica
è
connesso
a
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
is
uguale
a
AreaGeografica
Oggetto
is
uguale
a
AreaGeografica
Oggetto
è una
parte
di
AreaGeografica
Oggetto
connette
AreaGeografica
e
AreaGeografica
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10046-10050
Oggetto
riempie
propriamentes
apertura
Oggetto
è
connesso
a
Oggetto
apertura
è
connesso
a
Oggetto
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9745-9751
Un
lato
di
OggettoIntegro
è
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
connesso
a
OggettoIntegro
AttributoPosizionale
OggettoIntegro
è
AttributoPosizionale
a
Oggetto
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9730-9735
Il
vertice
OggettoIntegro
è
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
connesso
a
OggettoIntegro
Oggetto
è
Below
a
OggettoIntegro
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9509-9513
Oggetto
è
connesso
a
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
si
sovrappones a
Oggetto
consequent
(<=>
(
orientation
?OBJ1 ?OBJ2
Adjacent
)
(
or
(
orientation
?OBJ1 ?OBJ2
Near
)
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17103-17107
Oggetto
è
Adjacent
a
Oggetto
Oggetto
è
Near
a
Oggetto
Oggetto
è
connesso
a
Oggetto
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 514-518
Oggetto
è
connesso
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
connesso
a
Oggetto
(=>
(
and
(
connectedBodyPart
?A ?B)
(
attribute
?H
Healthy
))
(
exists
(?AI ?BI)
(
and
(
instance
?AI ?A)
(
instance
?BI ?B)
(
part
?AI ?H)
(
part
?BI ?H)
(
connected
?AI ?BI))))
Mid-level-ontology.kif 11967-11977
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
attribute
Oggetto
and
Healthy
ParteDelCorpo
I
ParteDelCorpo
I
ParteDelCorpo
I è un'
istanza
di
ParteDelCorpo
ParteDelCorpo
I è un'
istanza
di
ParteDelCorpo
ParteDelCorpo
I è una
parte
di
Oggetto
ParteDelCorpo
I è una
parte
di
Oggetto
ParteDelCorpo
I è
connesso
a
ParteDelCorpo
I
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
connectedBodyPartTypes
ParteDelCorpo
,
ParteDelCorpo
and
Organismo
Organismo
C è un'
istanza
di
Organismo
attribute
Oggetto
and
MalattiaOSindrome
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Organismo
C
Oggetto
è una
parte
di
Organismo
C
Oggetto
è
connesso
a
Oggetto
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
Processo
è un'
istanza
di
Attaccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DETACH
Detaching
)
(
patient
?DETACH ?OBJ1)
(
patient
?DETACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DETACH))
(
connected
?OBJ1 ?OBJ2))
(
holdsDuring
(
EndFn
(
WhenFn
?DETACH))
(
not
(
connected
?OBJ1 ?OBJ2)))))
Merge.kif 12408-12415
Processo
è un'
istanza
di
Staccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DSAVE
DataSaving
)
(
resource
?DSAVE ?RES)
(
instance
?RES
ElectronicDataStorageDevice
))
(
exists
(?DEV)
(
and
(
instance
?DEV
ElectricDevice
)
(
instrument
?DSAVE ?DEV)
(
holdsDuring
(
WhenFn
?DSAVE)
(
connected
?RES ?DEV)))))
Media.kif 690-700
Processo
è un'
istanza
di
DataSaving
Oggetto
è una
risorsa
per
Processo
Oggetto
è un'
istanza
di
ElectronicDataStorageDevice
Oggetto
Oggetto
è un'
istanza
di
ElectricDevice
Oggetto
è uno
strumento
per
Processo
Oggetto
è
connesso
a
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?E
Extension
)
(
moves
?E ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?E ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?E))))
Mid-level-ontology.kif 10647-10657
Movimento
è un'
istanza
di
Extension
moves
Movimento
and
Oggetto
Oggetto
Oggetto
C
Oggetto
è un'
istanza
di
Muscolo
Oggetto
C è un'
istanza
di
MuscularContraction
Oggetto
è uno
strumento
per
Movimento
Oggetto
è
connesso
a
Oggetto
Oggetto
C è un
sottoprocesso
di
Movimento
(=>
(
and
(
instance
?F
Flexion
)
(
moves
?F ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?F ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?F))))
Mid-level-ontology.kif 10607-10617
Movimento
è un'
istanza
di
Flexion
moves
Movimento
and
Oggetto
Oggetto
Oggetto
C
Oggetto
è un'
istanza
di
Muscolo
Oggetto
C è un'
istanza
di
MuscularContraction
Oggetto
è uno
strumento
per
Movimento
Oggetto
è
connesso
a
Oggetto
Oggetto
C è un
sottoprocesso
di
Movimento
(=>
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2)))
(
connected
?PART1 ?PART2))
Merge.kif 9515-9519
Oggetto
è un'
istanza
di
OggettoIntegro
Oggetto
is
uguale
a l'
unione
delle parti di
Oggetto
e
Oggetto
Oggetto
è
connesso
a
Oggetto
(=>
(
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
?RIVER
River
)
(
instance
?WATER
BodyOfWater
)
(
flows
?RIVER ?WATER))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
streamOutfall
?MOUTH ?RIVER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5661-5670
River
è un'
istanza
di
River
Oggetto
è un'
istanza
di
BodyOfWater
flows
River
and
Oggetto
SuperficieAcquatica
SuperficieAcquatica
è un'
istanza
di
RiverMouth
streamOutfall
SuperficieAcquatica
and
River
SuperficieAcquatica
è
connesso
a
Oggetto
(=>
(
and
(
instance
?TOUCH
Touching
)
(
agent
?TOUCH ?OBJ1)
(
patient
?TOUCH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?TOUCH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?TOUCH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 11485-11492
Processo
è un'
istanza
di
Toccare
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?W
VehicleWheel
)
(
instance
?V
RoadVehicle
)
(
part
?W ?V))
(
exists
(?A)
(
and
(
instance
?A
Axle
)
(
component
?A ?V)
(
connected
?W ?A))))
Mid-level-ontology.kif 3538-3547
Oggetto
è un'
istanza
di
VehicleWheel
OggettoCorpuscolare
è un'
istanza
di
RoadVehicle
Oggetto
è una
parte
di
OggettoCorpuscolare
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
Axle
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
Oggetto
è
connesso
a
OggettoCorpuscolare
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10046-10050
Oggetto
riempie
propriamentes
apertura
Oggetto
è
connesso
a
Oggetto
apertura
è
connesso
a
Oggetto
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
attribute
Oggetto
and
Locked
Oggetto
Processo
and
Entit�
Oggetto
è un'
istanza
di
Lock
Oggetto
è
connesso
a
Oggetto
Processo
è un'
istanza
di
Closing
Oggetto
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Movimento
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
attribute
Oggetto
and
Locked
l'affermazione
Oggetto
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
vales
durante
il
tempo
di esistenza di
attribute
Oggetto
and
Locked
(=>
(
attribute
?X
PartialVacuum
)
(
exists
(?O ?G ?P1 ?P2 ?PM)
(
and
(
instance
?O
SelfConnectedObject
)
(
instance
?G
Region
)
(
not
(
equal
?G ?X))
(
connected
?X ?O)
(
connected
?G ?O)
(
measure
?G
(
MeasureFn
?P1 ?PM))
(
measure
?X
(
MeasureFn
?P2 ?PM))
(
instance
?PM
UnitOfAtmosphericPressure
)
(
greaterThan
?P1 ?P2))))
Cars.kif 383-396
attribute
Oggetto
and
PartialVacuum
Oggetto
Oggetto
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
Oggetto
è un'
istanza
di
OggettoIntegro
Oggetto
è un'
istanza
di
Regione
Oggetto
is
uguale
a
Oggetto
Oggetto
è
connesso
a
Oggetto
Oggetto
è
connesso
a
Oggetto
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfAtmosphericPressure
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
attribute
?X
Pressurized
)
(
exists
(?O ?G ?P1 ?P2 ?PM)
(
and
(
instance
?O
SelfConnectedObject
)
(
instance
?G
Region
)
(
not
(
equal
?G ?X))
(
connected
?X ?O)
(
connected
?G ?O)
(
measure
?G
(
MeasureFn
?P1 ?PM))
(
measure
?X
(
MeasureFn
?P2 ?PM))
(
instance
?PM
UnitOfAtmosphericPressure
)
(
greaterThan
?P2 ?P1))))
Cars.kif 403-416
attribute
Oggetto
and
Pressurized
Oggetto
Oggetto
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
Oggetto
è un'
istanza
di
OggettoIntegro
Oggetto
è un'
istanza
di
Regione
Oggetto
is
uguale
a
Oggetto
Oggetto
è
connesso
a
Oggetto
Oggetto
è
connesso
a
Oggetto
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfAtmosphericPressure
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
completelyFills
?OBJ1 ?HOLE)
(
forall
(?OBJ2)
(=>
(
connected
?OBJ2 ?HOLE)
(
connected
?OBJ2 ?OBJ1))))
Merge.kif 10039-10044
Oggetto
riempie
completamentes
apertura
Oggetto
Oggetto
è
connesso
a
apertura
Oggetto
è
connesso
a
Oggetto
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9546-9552
Oggetto
connette
Oggetto
e
Oggetto
Oggetto
è
connesso
a
Oggetto
Oggetto
è
connesso
a
Oggetto
Oggetto
è
connesso
a
Oggetto
(=>
(
equipmentType
?O ?T)
(
exists
(?D)
(
and
(
instance
?D ?T)
(
or
(
part
?D ?O)
(
connected
?D ?O)))))
Mid-level-ontology.kif 24327-24334
equipmentType
Manufatto
and
Dispositivo
Oggetto
Oggetto
è un'
istanza
di
Dispositivo
Oggetto
è una
parte
di
Manufatto
Oggetto
è
connesso
a
Manufatto
(=>
(
flows
?FLUID1 ?FLUID2)
(
connected
?FLUID1 ?FLUID2))
Geography.kif 5442-5444
flows
Oggetto
and
Oggetto
Oggetto
è
connesso
a
Oggetto
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9935-9937
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è
connesso
a
OggettoIntegro
(=>
(
instance
?F
Fireplace
)
(
exists
(?C)
(
and
(
instance
?C
Chimney
)
(
connected
?F ?C))))
Mid-level-ontology.kif 15366-15371
Oggetto
è un'
istanza
di
Fireplace
Oggetto
Oggetto
è un'
istanza
di
Chimney
Oggetto
è
connesso
a
Oggetto
(=>
(
instance
?GULF
Gulf
)
(
exists
(?SEA)
(
and
(
or
(
instance
?SEA
Sea
)
(
instance
?SEA
Ocean
))
(
connected
?GULF ?SEA))))
Geography.kif 5129-5136
Oggetto
è un'
istanza
di
Gulf
Oggetto
Oggetto
è un'
istanza
di
Sea
Oggetto
è un'
istanza
di
Ocean
Oggetto
è
connesso
a
Oggetto
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
connected
GulfOfAden
ArabianSea
)
Geography.kif 5169-5169
GulfOfAden
è
connesso
a
ArabianSea
(
connected
GulfOfMexico
CaribbeanSea
)
Geography.kif 5177-5177
GulfOfMexico
è
connesso
a
CaribbeanSea
(
connected
GulfOfMexico
NorthAtlanticOcean
)
Geography.kif 5176-5176
GulfOfMexico
è
connesso
a
NorthAtlanticOcean
(
connected
GulfOfOman
ArabianSea
)
Geography.kif 5161-5161
GulfOfOman
è
connesso
a
ArabianSea
(
connected
IndianOcean
PersianGulf
)
Geography.kif 4631-4631
IndianOcean
è
connesso
a
PersianGulf
(
connected
IndianOcean
SouthPacificOcean
)
Geography.kif 4630-4630
IndianOcean
è
connesso
a
SouthPacificOcean
(
connected
IndianOcean
SouthernOcean
)
Geography.kif 4632-4632
IndianOcean
è
connesso
a
SouthernOcean
(
connected
MississippiRiver
GulfOfMexico
)
CountriesAndRegions.kif 744-744
MississippiRiver
è
connesso
a
GulfOfMexico
(
connected
PersianGulf
StraitOfHormuz
)
Geography.kif 5154-5154
PersianGulf
è
connesso
a
StraitOfHormuz
(
connected
RedSea
GulfOfAden
)
Geography.kif 5168-5168
RedSea
è
connesso
a
GulfOfAden
(
connected
StraitOfHormuz
GulfOfOman
)
Geography.kif 5160-5160
StraitOfHormuz
è
connesso
a
GulfOfOman
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