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
meetsSpatially
Sigma KEE - meetsSpatially
meetsSpatially
appearance as argument number 1
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9596-9596
meetsSpatially
e
overlapsSpatially
sao
disjuntos
(
documentation
meetsSpatially
ChineseLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2)得意思是 ?OBJ1 和 ?OBJ2 是
connected
的但是 ?OBJ1 或 ?OBJ2 都没有跟对方
overlapsSpatially
。")
chinese_format.kif 2828-2829
(
documentation
meetsSpatially
EnglishLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are
connected
but that neither ?OBJ1 nor ?OBJ2
overlapsSpatially
the other.")
Merge.kif 9598-9600
(
documentation
meetsSpatially
JapaneseLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2) とは、?OBJ1 と ?OBJ2 は
connected
だが、?OBJ1 も ?OBJ2 も
overlapsSpatially
ではないという意味であ る。")
japanese_format.kif 1570-1572
(
domain
meetsSpatially
1
Object
)
Merge.kif 9590-9590
O argumento numero 1 de
meetsSpatially
e' uma
instancia
de
Objeto
(
domain
meetsSpatially
2
Object
)
Merge.kif 9591-9591
O argumento numero 2 de
meetsSpatially
e' uma
instancia
de
Objeto
(
instance
meetsSpatially
BinaryPredicate
)
Merge.kif 9595-9595
meetsSpatially
e' uma
instancia
de
Predicado Binario
(
instance
meetsSpatially
IrreflexiveRelation
)
Merge.kif 9593-9593
meetsSpatially
e' uma
instancia
de
Relacao Irreflexiva
(
instance
meetsSpatially
SymmetricRelation
)
Merge.kif 9594-9594
meetsSpatially
e' uma
instancia
de
Relacao Simetrica
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9592-9592
meetsSpatially
e'
relacionado
internamente por SUMO a
connected
appearance as argument number 2
(
format
ChineseLanguage
meetsSpatially
"%1 %n 接上 %2")
chinese_format.kif 365-365
(
format
EnglishLanguage
meetsSpatially
"%1 %n{doesn't} meet%p{s} %2")
english_format.kif 368-368
(
format
FrenchLanguage
meetsSpatially
"%1 %n{ne} rencontre %n{pas} %2")
french_format.kif 211-211
(
format
ItalianLanguage
meetsSpatially
"%1 %n{non} incontra%p{s} %2")
relations-it.txt 179-179
(
format
JapaneseLanguage
meetsSpatially
"%1 は %2 と meet%p{s} %n{ない}")
japanese_format.kif 2018-2018
(
format
PortugueseLanguage
meetsSpatially
"%1 %n{nao} encontra %n %2")
portuguese_format.kif 163-163
(
format
cz
meetsSpatially
"%1 se %n{ne}dot�k� %2")
relations-cz.txt 218-218
(
format
de
meetsSpatially
"%1 schliesst %2 raeumlich %n{nicht} an")
relations-de.txt 486-486
(
format
hi
meetsSpatially
"%1 %2 se %n{nahiin} milataa hai")
relations-hindi.txt 217-217
(
format
ro
meetsSpatially
"%1 %n{nu} meet%t{întâlneºte} %2")
relations-ro.kif 231-231
(
format
sv
meetsSpatially
"%1 möter %n{inte} %2")
relations-sv.txt 228-228
(
format
tg
meetsSpatially
"%1 %n ay sumali sa %2")
relations-tg.txt 354-354
(
subrelation
grasps
meetsSpatially
)
Merge.kif 11516-11516
grasps
e' uma
sub
-relacao de
meetsSpatially
(
termFormat
ChineseLanguage
meetsSpatially
"接触")
chinese_format.kif 366-366
(
termFormat
ChineseLanguage
meetsSpatially
"空间的符合")
domainEnglishFormat.kif 36917-36917
(
termFormat
ChineseTraditionalLanguage
meetsSpatially
"空間的符合")
domainEnglishFormat.kif 36916-36916
(
termFormat
EnglishLanguage
meetsSpatially
"meets spatially")
domainEnglishFormat.kif 36915-36915
(
termFormat
tg
meetsSpatially
"sa tabi ng")
relations-tg.txt 355-355
antecedent
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6230-6243
allergic
Humano
and
Substancia
Substancia
UB e' uma
instancia
de
Substancia
Substancia
UB
encontra
Humano
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
AllergicReaction
Humano
experimenta
Entidade
tempo
de existencia de
Entidade
engloba
Posicao Temporal
o
comeco
de
Posicao Temporal
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
LateralRecumbant
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
LeftArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LeftLeg
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightLeg
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
Objeto
nao
encontra
%n
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
LateralRecumbant
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
LeftArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LeftLeg
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightLeg
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
Objeto
nao
encontra
%n
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
Objeto
e' uma
instancia
de
Armor
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Preservar
Objeto
e' um
instrumento
para
Entidade
Objeto
experimenta
Entidade
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
Objeto
e' uma
instancia
de
Armor
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Objeto
e' um
instrumento
para
Entidade
Objeto
experimenta
Entidade
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
ConvexRoundShape
))
Mid-level-ontology.kif 5015-5024
Objeto
e' uma
instancia
de
Bubble
Objeto
Atributo
Atributo
e' um
atributo
de
Objeto
Objeto
e'
igual
a
Gas
Objeto
encontra
Objeto
ConvexRoundShape
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 749-759
Processo
e' uma
instancia
de
Hurricane
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e'
situado
em
Objeto
Objeto
encontra
Objeto
Objeto
e'
igual
a
NortheasternPacificOcean
Objeto
e'
igual
a
NorthAtlanticOcean
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
FreshWaterArea
))
(
instance
?INLET
FreshWaterArea
))
Geography.kif 5246-5251
Objeto
e' uma
instancia
de
Inlet
Objeto
encontra
Objeto
Objeto
e' uma
instancia
de
Area Aquatica nao-salgada
Objeto
e' uma
instancia
de
Area Aquatica nao-salgada
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
SaltWaterArea
))
(
instance
?INLET
SaltWaterArea
))
Geography.kif 5239-5244
Objeto
e' uma
instancia
de
Inlet
Objeto
encontra
Objeto
Objeto
e' uma
instancia
de
Area Aquatica salgada
Objeto
e' uma
instancia
de
Area Aquatica salgada
(=>
(
and
(
instance
?ISLE
Island
)
(
instance
?AREA
GeographicArea
)
(
meetsSpatially
?ISLE ?AREA))
(
not
(
instance
?AREA
LandArea
)))
Merge.kif 14230-14236
Objeto
e' uma
instancia
de
Ilha
Objeto
e' uma
instancia
de
Area Geografica
Objeto
encontra
Objeto
Objeto
e' uma
instancia
de
Area terrestre
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
Area Geografica
e' uma
instancia
de
MaritimeShelfArea
Objeto
e' uma
instancia
de
ContinentalShelf
AutonomousAgent
e' uma
instancia
de
Nacao
Objeto
encontra
AutonomousAgent
claimedTerritory
Area Geografica
and
AutonomousAgent
Area Geografica
engloba
Objeto
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
StandardAnatomicalPosition
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Healthy
e' um
atributo
de
Objeto
Intervalo Temporal
e' uma
instancia
de
MuscularContraction
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Intervalo Temporal
physicalEnd
Objeto
and
Objeto
Objeto
encontra
Objeto
Objeto
e'
situado
em
Entidade
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
StandardAnatomicalPosition
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Healthy
e' um
atributo
de
Objeto
Intervalo Temporal
e' uma
instancia
de
MuscularContraction
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Intervalo Temporal
physicalEnd
Objeto
and
Objeto
Objeto
encontra
Objeto
Objeto
e'
situado
em
Entidade
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17928-17953
relativeAngle
Objeto
,
Objeto
and
Numero Real
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
o
comprimento
de
Objeto
e'
Numero Real
1
Unidade de Medida
(s) o
comprimento
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Objeto
e'
Numero Real
3
Unidade de Medida
(s)
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
nao
encontra
%n
Objeto
Numero Real
e'
igual
a
ArcCosineFn
((
Numero Real
3 +
Numero Real
3 +
Numero Real
1 +
Numero Real
1) +
Numero Real
2 +
Numero Real
2) + 2.0 +
Numero Real
1 +
Numero Real
2
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 724-726
Objeto
encontra
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
meetsSpatially
?OBJECT1 ?OBJECT2)
(
orientation
?OBJECT1 ?OBJECT2
Adjacent
))
Transportation.kif 864-866
Objeto
encontra
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
(=>
(
meetsSpatially
?X ?Y)
(
orientation
?X ?Y
Adjacent
))
Geography.kif 6163-6165
Objeto
encontra
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
consequent
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4078-4095
GeometricFigure
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
FourPosterBed
GeometricFigure
e' uma
instancia
de
Quadrilateral
o
lado
de
GeometricFigure
e'
OneDimensionalFigure
o
lado
de
GeometricFigure
e'
OneDimensionalFigure
OneDimensionalFigure
e'
igual
a
OneDimensionalFigure
Objeto
Objeto
,
GeometricPoint
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Floor
Objeto
e'
On
em relacao a
Objeto
Objeto
e'
Vertical
em relacao a
Objeto
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
e' um
atributo
de
Objeto
Objeto
encontra
Objeto
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Mid-level-ontology.kif 29740-29744
covers
Objeto
and
Objeto
Objeto
e' uma parte
superficial
de
Objeto
Objeto
encontra
Objeto
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
LateralRecumbant
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
LeftArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LeftLeg
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightLeg
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
Objeto
nao
encontra
%n
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
LateralRecumbant
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
LeftArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LeftLeg
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightLeg
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
Objeto
nao
encontra
%n
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Prone
)
(
orientation
?H ?O
On
)))
(
instance
?C
Chest
)
(
part
?C ?H))
(
meetsSpatially
?C ?O))
Anatomy.kif 1799-1807
Prone
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
Chest
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Supine
)
(
orientation
?H ?O
On
)))
(
equal
?B
(
BackFn
?H)))
(
meetsSpatially
?B ?O))
Anatomy.kif 1814-1821
Supine
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto auto-conectado
e'
igual
a
atras
de
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto
(=>
(
and
(
instance
?B
Blade
)
(
instance
?CUT
Cutting
)
(
instance
?OBJ
Object
)
(
instrument
?CUT ?B)
(
patient
?CUT ?OBJ))
(
meetsSpatially
?B ?OBJ))
Mid-level-ontology.kif 22017-22024
Objeto
e' uma
instancia
de
Blade
Processo
e' uma
instancia
de
Cortar
Objeto
e' uma
instancia
de
Objeto
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
patient
de
Processo
Objeto
encontra
Objeto
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP ?L2)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1747-1767
Fisico
e' uma
instancia
de
Cavitating
Objeto auto-conectado
e' uma
instancia
de
Pump
DeviceOn
e' um
atributo
de
Objeto auto-conectado
Liquid
e' um
atributo
de
Objeto
Objeto auto-conectado
contem
Objeto
Objeto auto-conectado
P
Entidade
Objeto auto-conectado
P e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
P tem por
fim
Liquid
e' um
atributo
de
Entidade
Entidade
encontra
Objeto auto-conectado
P
Entidade
Liquid
e' um
atributo
de
Entidade
Objeto auto-conectado
P
encontra
Entidade
vale
durante
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Objeto
e' uma
instancia
de
Crystal
MonoCrystalline
e' um
atributo
de
Objeto
Objeto auto-conectado
e' uma
instancia
de
Substancia
Solid
e' um
atributo
de
Objeto auto-conectado
PolyCrystalline
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Substancia
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
LNT
Numero Inteiro
and
Objeto
Objeto
LNT e' uma
instancia
de
Colecao
memberCount
Objeto
LNT and
Numero Inteiro
Numero Inteiro
e'
maior
ou igual a 4
Objeto
e'
membro
de
Objeto
LNT
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
encontra
Objeto
(=>
(
and
(
instance
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9961-9969
Objeto
e' uma
instancia
de
Buraco
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?P)
(
and
(
part
?P ?H)
(
meetsSpatially
?P ?HR))))
Cars.kif 4295-4307
Objeto
e' uma
instancia
de
Reel
Processo
e' uma
instancia
de
Manter
Objeto
e' uma
instancia
de
Objeto Corpuscular
LongAndThin
e' um
atributo
de
Objeto
Pliable
e' um
atributo
de
Objeto
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
Objeto auto-conectado
e' uma
instancia
de
Isthmus
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
Objeto
Objeto
,
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Area terrestre
Objeto
e' uma
instancia
de
Area terrestre
Objeto auto-conectado
esta'
entre
Objeto
e
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
Area Aquatica
Objeto auto-conectado
encontra
Objeto
Objeto auto-conectado
encontra
Objeto
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
Objeto
e' uma
instancia
de
LeafSpring
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RoadVehicle
o argumento
Objeto
2
Objeto
2 e' uma
instancia
de
LeafSpring
Objeto
2 e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
2
Objeto
encontra
Objeto
2 tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
o argumento
Objeto auto-conectado
S
Entidade
Entidade
e' uma
instancia
de
Substancia
Liquid
e' um
atributo
de
Entidade
Objeto auto-conectado
e'
igual
a
Entidade
Objeto auto-conectado
S e' uma
superficie
de
Entidade
Objeto auto-conectado
encontra
Objeto auto-conectado
S tem a
forca
modal
de
Unlikely
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
Objeto auto-conectado
e' uma
instancia
de
Objeto
ConvexRoundShape
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
TwoDimensionalObject
GeometricPoint
GeometricPoint
e' uma &parte de
Objeto auto-conectado
GeometricPoint
e' um
atributo
de
GeometricPoint
GeometricPoint
e' um
ponto
de
Objeto auto-conectado
GeometricPoint
encontra
Objeto auto-conectado
GeometricPoint
encontra
Objeto auto-conectado
OneDimensionalFigure
a
tangente
de
Objeto auto-conectado
e'
OneDimensionalFigure
(=>
(
and
(
instance
?Range
MountainRange
)
(
part
?Mountain1 ?Range))
(
exists
(?Mountain2)
(
and
(
component
?Mountain2 ?Range)
(
instance
?Mountain2
Mountain
)
(
meetsSpatially
?Mountain1 ?Mountain2))))
Geography.kif 4016-4024
Objeto Corpuscular
e' uma
instancia
de
MountainRange
Objeto
e' uma &parte de
Objeto Corpuscular
Objeto Corpuscular
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Mountain
Objeto
encontra
Objeto Corpuscular
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18149-18183
Objeto
e' uma
instancia
de
Saw
Processo
e' uma
instancia
de
Cortar
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
Objeto
Objeto
e' um
patient
de
Processo
Processo
Entidade
,
Entidade
,
Intervalo Temporal
,
Posicao Temporal
,
Posicao Temporal
and
Objeto
Processo
e' uma
instancia
de
Movimento
Processo
e' um
sub
-processo de
Processo
Objeto
e' uma
instancia
de
CuttingDevice
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
e' um
patient
de
Processo
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Entidade
e' uma
instancia
de
Atributo Directional
Entidade
e' uma
instancia
de
Atributo Directional
as entidades no processo
Processo
se
movem
Entidade
vale
durante
Posicao Temporal
as entidades no processo
Processo
se
movem
Entidade
Entidade
e'
igual
a
Entidade
oppositeDirection
Entidade
and
Entidade
~{
Entidade
e'
igual
a
Entidade
} ~{
oppositeDirection
Entidade
and
Entidade
}
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?SHORE
ShoreArea
)
(
instance
?WATER
WaterArea
)
(
orientation
?SHORE ?WATER
Adjacent
))
(
exists
(?LINE)
(
and
(
instance
?LINE
Shoreline
)
(
part
?LINE ?SHORE)
(
meetsSpatially
?LINE ?WATER))))
Geography.kif 6152-6161
Objeto
e' uma
instancia
de
ShoreArea
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
Objeto
e' uma
instancia
de
Shoreline
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1647-1668
Processo
e' uma
instancia
de
Tornado
Processo
e' uma
instancia
de
Rotating
Objeto
e' uma
instancia
de
Air
Processo
RAN e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
Processo
RAN e' um
sub
-processo de
Processo
Objeto
e' um
patient
de
Processo
RAN as entidades no processo
Processo
RAN se
movem
Horizontal
Objeto
Objeto auto-conectado
,
Processo
OP,
Objeto auto-conectado
,
Objeto auto-conectado
and
Objeto auto-conectado
Objeto
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Objeto
Objeto auto-conectado
e' uma &parte de
Objeto
ConeSegment
e' um
atributo
de
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Processo
OP o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Cloud
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Processo
OP
encontra
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 783-790
Processo
e' uma
instancia
de
Typhoon
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e'
situado
em
NorthwesternPacificOcean
Objeto
encontra
NorthwesternPacificOcean
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1289-1293
physicalEnd
Objeto
and
Objeto
Objeto
e' uma parte
superficial
de
Objeto
Objeto
encontra
Objeto
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1280-1287
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
nao
encontra
%n
Objeto
(=>
(
and
(
wears
?P ?B)
(
instance
?B
Belt
))
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?P ?C)
(
meetsSpatially
?B ?C))))
Mid-level-ontology.kif 5071-5079
Animal
usa
WearableItem
WearableItem
e' uma
instancia
de
Belt
WearableItem
WearableItem
e' uma
instancia
de
Roupa
Animal
usa
WearableItem
WearableItem
encontra
WearableItem
(=>
(
and
(
wears
?P ?C)
(
instance
?C
Collar
))
(
exists
(?N)
(
and
(
instance
?N
Neck
)
(
part
?N ?P)
(
meetsSpatially
?C ?N))))
Mid-level-ontology.kif 5119-5127
Animal
usa
WearableItem
WearableItem
e' uma
instancia
de
Collar
Objeto
Objeto
e' uma
instancia
de
Neck
Objeto
e' uma &parte de
Animal
WearableItem
encontra
Objeto
(=>
(
and
(
wears
?P ?G)
(
instance
?G
Glove
))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?P)
(
meetsSpatially
?G ?H))))
Mid-level-ontology.kif 5134-5142
Animal
usa
WearableItem
WearableItem
e' uma
instancia
de
Glove
Objeto
Objeto
e' uma
instancia
de
Hand
Objeto
e' uma &parte de
Animal
WearableItem
encontra
Objeto
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
meetsSpatially
Alabama
Mississippi
)
CountriesAndRegions.kif 866-866
Alabama
encontra
Mississippi
(
meetsSpatially
Alaska
ArcticOcean
)
CountriesAndRegions.kif 882-882
Alaska
encontra
ArcticOcean
(
meetsSpatially
Alaska
Canada
)
CountriesAndRegions.kif 880-880
Alaska
encontra
Canada
(
meetsSpatially
Alaska
PacificOcean
)
CountriesAndRegions.kif 881-881
Alaska
encontra
PacificOcean
(
meetsSpatially
Arizona
California
)
CountriesAndRegions.kif 885-885
Arizona
encontra
California
(
meetsSpatially
Arizona
Mexico
)
CountriesAndRegions.kif 886-886
Arizona
encontra
Mexico
(
meetsSpatially
Arizona
Nevada
)
CountriesAndRegions.kif 884-884
Arizona
encontra
Nevada
(
meetsSpatially
Arkansas
Louisiana
)
CountriesAndRegions.kif 892-892
Arkansas
encontra
Louisiana
(
meetsSpatially
Arkansas
Oklahoma
)
CountriesAndRegions.kif 890-890
Arkansas
encontra
Oklahoma
(
meetsSpatially
Arkansas
Texas
)
CountriesAndRegions.kif 891-891
Arkansas
encontra
Texas
(
meetsSpatially
BassasDaIndia
IndianOcean
)
CountriesAndRegions.kif 136-136
BassasDaIndia
encontra
IndianOcean
(
meetsSpatially
BouvetIsland
SouthAtlanticOcean
)
CountriesAndRegions.kif 138-138
BouvetIsland
encontra
SouthAtlanticOcean
(
meetsSpatially
California
Mexico
)
CountriesAndRegions.kif 904-904
California
encontra
Mexico
(
meetsSpatially
California
NewMexico
)
CountriesAndRegions.kif 905-905
California
encontra
NewMexico
(
meetsSpatially
California
Oregon
)
CountriesAndRegions.kif 906-906
California
encontra
Oregon
(
meetsSpatially
California
PacificOcean
)
CountriesAndRegions.kif 903-903
California
encontra
PacificOcean
(
meetsSpatially
California
Washington
)
CountriesAndRegions.kif 907-907
California
encontra
Washington
(
meetsSpatially
Canada
UnitedStates
)
CountriesAndRegions.kif 410-410
Canada
encontra
UnitedStates
(
meetsSpatially
Colorado
Arizona
)
CountriesAndRegions.kif 910-910
Colorado
encontra
Arizona
(
meetsSpatially
Colorado
NewMexico
)
CountriesAndRegions.kif 911-911
Colorado
encontra
NewMexico
(
meetsSpatially
Colorado
Texas
)
CountriesAndRegions.kif 912-912
Colorado
encontra
Texas
(
meetsSpatially
Colorado
Utah
)
CountriesAndRegions.kif 909-909
Colorado
encontra
Utah
(
meetsSpatially
Delaware
Maryland
)
CountriesAndRegions.kif 920-920
Delaware
encontra
Maryland
(
meetsSpatially
Delaware
NorthAtlanticOcean
)
CountriesAndRegions.kif 919-919
Delaware
encontra
NorthAtlanticOcean
(
meetsSpatially
Delaware
Pennsylvania
)
CountriesAndRegions.kif 921-921
Delaware
encontra
Pennsylvania
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