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
O argumento numero 1 de
connected
e' uma
instancia
de
Objeto
(
domain
connected
2
Object
)
Merge.kif 9504-9504
O argumento numero 2 de
connected
e' uma
instancia
de
Objeto
(
instance
connected
BinaryPredicate
)
Merge.kif 9499-9499
connected
e' uma
instancia
de
Predicado Binario
(
instance
connected
ReflexiveRelation
)
Merge.kif 9501-9501
connected
e' uma
instancia
de
Relacao Reflexiva
(
instance
connected
SpatialRelation
)
Merge.kif 9500-9500
connected
e' uma
instancia
de
Relacao Espacial
(
instance
connected
SymmetricRelation
)
Merge.kif 9502-9502
connected
e' uma
instancia
de
Relacao Simetrica
appearance as argument number 2
(
disjointRelation
crosses
connected
)
Merge.kif 4200-4200
crosses
e
connected
sao
disjuntos
(
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
e'
relacionado
internamente por SUMO a
connected
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16095-16095
connectedEngineeringComponents
e' uma
sub
-relacao de
connected
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4033-4033
overlapsSpatially
e' uma
sub
-relacao de
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
O
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Objeto
e'
Above
em relacao a
Objeto auto-conectado
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9554-9560
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
conecta
Objeto
e
Objeto
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 514-518
Objeto
e'
conectado
com
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
and
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))
(
instance
?OBJ
SelfConnectedObject
))
Merge.kif 9521-9525
Objeto
e'
igual
a a
uniao
das partes de
Objeto
e
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e' uma
instancia
de
Objeto auto-conectado
(=>
(
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
e' uma
instancia
de
Colar
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
objectAttached
Processo
and
Entidade
objectAttached
Processo
and
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
BodySegment
Objeto
e' uma
instancia
de
BodySegment
Objeto
e'
conectado
com
Objeto
Movimento
e' uma
instancia
de
Movimento do Corpo
moves
Movimento
and
Objeto
o argumento
Movimento
2
Movimento
2 e' uma
instancia
de
Movimento do Corpo
moves
Movimento
2 and
Objeto
tempo
de existencia de
Movimento
2 acontece
durante
tempo
de existencia de
Movimento
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?CHANNEL
Channel
)
(
instance
?BODY
BodyOfWater
)
(
connected
?CHANNEL ?BODY))
(
larger
?BODY ?CHANNEL))
Geography.kif 5330-5335
Objeto
e' uma
instancia
de
Channel
Objeto
e' uma
instancia
de
BodyOfWater
Objeto
e'
conectado
com
Objeto
Objeto
e'
maior
do que
Objeto
(=>
(
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
e' uma
instancia
de
Descolar
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
objectDetached
Processo
and
Entidade
objectDetached
Processo
and
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
Objeto
LongAndThin
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Objeto
LongAndThin
e' um
atributo
de
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
igual
a
Objeto
Numero Real
relativeAngle
Objeto
,
Objeto
and
Numero Real
(=>
(
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
Area Geografica
e' uma
instancia
de
InlandWaterSystem
Area Geografica
e' uma
instancia
de
Area Aquatica
Area Geografica
e' uma
instancia
de
Area Aquatica
Area Geografica
e'
igual
a
Area Geografica
Area Geografica
e'
conectado
com
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
igual
a
Area Geografica
Objeto
e'
igual
a
Area Geografica
Objeto
e' uma &parte de
Area Geografica
Objeto
conecta
Area Geografica
e
Area Geografica
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10046-10050
Objeto
rempliecompleta
corretamente
Buraco
Objeto
e'
conectado
com
Objeto
Buraco
e'
conectado
com
Objeto
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9745-9751
O
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Atributo Posicional
Objeto auto-conectado
e'
Atributo Posicional
em relacao a
Objeto
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9730-9735
O
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto auto-conectado
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9509-9513
Objeto
e'
conectado
com
Objeto
Objeto
encontra
Objeto
Objeto
engloba
Objeto
consequent
(<=>
(
orientation
?OBJ1 ?OBJ2
Adjacent
)
(
or
(
orientation
?OBJ1 ?OBJ2
Near
)
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17103-17107
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 514-518
Objeto
e'
conectado
com
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
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
Parte do Corpo
and
Parte do Corpo
Healthy
e' um
atributo
de
Objeto
Parte do Corpo
I
Parte do Corpo
I
Parte do Corpo
I e' uma
instancia
de
Parte do Corpo
Parte do Corpo
I e' uma
instancia
de
Parte do Corpo
Parte do Corpo
I e' uma &parte de
Objeto
Parte do Corpo
I e' uma &parte de
Objeto
Parte do Corpo
I e'
conectado
com
Parte do Corpo
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
Parte do Corpo
,
Parte do Corpo
and
Organismo
Organismo
C e' uma
instancia
de
Organismo
Doenca ou Sindrome
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Organismo
C
Objeto
e' uma &parte de
Organismo
C
Objeto
e'
conectado
com
Objeto
(=>
(
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
e' uma
instancia
de
Colar
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
fim
de
tempo
de existencia de
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
e' uma
instancia
de
Descolar
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
fim
de
tempo
de existencia de
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
e' uma
instancia
de
DataSaving
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
ElectronicDataStorageDevice
Objeto
Objeto
e' uma
instancia
de
ElectricDevice
Objeto
e' um
instrumento
para
Processo
Objeto
e'
conectado
com
Objeto
vale
durante
tempo
de existencia de
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
e' uma
instancia
de
Extension
moves
Movimento
and
Objeto
Objeto
Objeto
C
Objeto
e' uma
instancia
de
Musculo
Objeto
C e' uma
instancia
de
MuscularContraction
Objeto
e' um
instrumento
para
Movimento
Objeto
e'
conectado
com
Objeto
Objeto
C e' um
sub
-processo de
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
e' uma
instancia
de
Flexion
moves
Movimento
and
Objeto
Objeto
Objeto
C
Objeto
e' uma
instancia
de
Musculo
Objeto
C e' uma
instancia
de
MuscularContraction
Objeto
e' um
instrumento
para
Movimento
Objeto
e'
conectado
com
Objeto
Objeto
C e' um
sub
-processo de
Movimento
(=>
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2)))
(
connected
?PART1 ?PART2))
Merge.kif 9515-9519
Objeto
e' uma
instancia
de
Objeto auto-conectado
Objeto
e'
igual
a a
uniao
das partes de
Objeto
e
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
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
?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
e' uma
instancia
de
River
Objeto
e' uma
instancia
de
BodyOfWater
flows
River
and
Objeto
Area Aquatica
Area Aquatica
e' uma
instancia
de
RiverMouth
streamOutfall
Area Aquatica
and
River
Area Aquatica
e'
conectado
com
Objeto
(=>
(
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
e' uma
instancia
de
Tocar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e'
conectado
com
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
e'
conectado
com
Entidade
vale
durante o
fim
de
tempo
de existencia de
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
Objeto
e' uma
instancia
de
VehicleWheel
Objeto Corpuscular
e' uma
instancia
de
RoadVehicle
Objeto
e' uma &parte de
Objeto Corpuscular
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Axle
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto
e'
conectado
com
Objeto Corpuscular
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10046-10050
Objeto
rempliecompleta
corretamente
Buraco
Objeto
e'
conectado
com
Objeto
Buraco
e'
conectado
com
Objeto
(=>
(
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
Locked
e' um
atributo
de
Objeto
Objeto
Processo
and
Entidade
Objeto
e' uma
instancia
de
Lock
Objeto
e'
conectado
com
Objeto
Processo
e' uma
instancia
de
Closing
Objeto
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Movimento
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Locked
e' um
atributo
de
Objeto
o argumento
Objeto
e' um
patient
de
Entidade
nao %n a
forca
modal
de
Possibility
vale
durante
tempo
de existencia de
Locked
e' um
atributo
de
Objeto
(=>
(
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
PartialVacuum
e' um
atributo
de
Objeto
Objeto
Objeto
,
Numero Real
,
Numero Real
and
Unidade de Medida
Objeto
e' uma
instancia
de
Objeto auto-conectado
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
igual
a
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfAtmosphericPressure
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Pressurized
e' um
atributo
de
Objeto
Objeto
Objeto
,
Numero Real
,
Numero Real
and
Unidade de Medida
Objeto
e' uma
instancia
de
Objeto auto-conectado
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
igual
a
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfAtmosphericPressure
Numero Real
e'
maior
que
Numero Real
(=>
(
completelyFills
?OBJ1 ?HOLE)
(
forall
(?OBJ2)
(=>
(
connected
?OBJ2 ?HOLE)
(
connected
?OBJ2 ?OBJ1))))
Merge.kif 10039-10044
Objeto
completa
completemente
Buraco
Objeto
Objeto
e'
conectado
com
Buraco
Objeto
e'
conectado
com
Objeto
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9546-9552
Objeto
conecta
Objeto
e
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
equipmentType
?O ?T)
(
exists
(?D)
(
and
(
instance
?D ?T)
(
or
(
part
?D ?O)
(
connected
?D ?O)))))
Mid-level-ontology.kif 24327-24334
equipmentType
Artefato
and
Aparelho
Objeto
Objeto
e' uma
instancia
de
Aparelho
Objeto
e' uma &parte de
Artefato
Objeto
e'
conectado
com
Artefato
(=>
(
flows
?FLUID1 ?FLUID2)
(
connected
?FLUID1 ?FLUID2))
Geography.kif 5442-5444
flows
Objeto
and
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9935-9937
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e'
conectado
com
Objeto auto-conectado
(=>
(
instance
?F
Fireplace
)
(
exists
(?C)
(
and
(
instance
?C
Chimney
)
(
connected
?F ?C))))
Mid-level-ontology.kif 15366-15371
Objeto
e' uma
instancia
de
Fireplace
Objeto
Objeto
e' uma
instancia
de
Chimney
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?GULF
Gulf
)
(
exists
(?SEA)
(
and
(
or
(
instance
?SEA
Sea
)
(
instance
?SEA
Ocean
))
(
connected
?GULF ?SEA))))
Geography.kif 5129-5136
Objeto
e' uma
instancia
de
Gulf
Objeto
Objeto
e' uma
instancia
de
Sea
Objeto
e' uma
instancia
de
Ocean
Objeto
e'
conectado
com
Objeto
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
e'
conectado
com
ArabianSea
(
connected
GulfOfMexico
CaribbeanSea
)
Geography.kif 5177-5177
GulfOfMexico
e'
conectado
com
CaribbeanSea
(
connected
GulfOfMexico
NorthAtlanticOcean
)
Geography.kif 5176-5176
GulfOfMexico
e'
conectado
com
NorthAtlanticOcean
(
connected
GulfOfOman
ArabianSea
)
Geography.kif 5161-5161
GulfOfOman
e'
conectado
com
ArabianSea
(
connected
IndianOcean
PersianGulf
)
Geography.kif 4631-4631
IndianOcean
e'
conectado
com
PersianGulf
(
connected
IndianOcean
SouthPacificOcean
)
Geography.kif 4630-4630
IndianOcean
e'
conectado
com
SouthPacificOcean
(
connected
IndianOcean
SouthernOcean
)
Geography.kif 4632-4632
IndianOcean
e'
conectado
com
SouthernOcean
(
connected
MississippiRiver
GulfOfMexico
)
CountriesAndRegions.kif 744-744
MississippiRiver
e'
conectado
com
GulfOfMexico
(
connected
PersianGulf
StraitOfHormuz
)
Geography.kif 5154-5154
PersianGulf
e'
conectado
com
StraitOfHormuz
(
connected
RedSea
GulfOfAden
)
Geography.kif 5168-5168
RedSea
e'
conectado
com
GulfOfAden
(
connected
StraitOfHormuz
GulfOfOman
)
Geography.kif 5160-5160
StraitOfHormuz
e'
conectado
com
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