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
Metacarpals
Sigma KEE - meetsSpatially
meetsSpatially
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9596-9596
meetsSpatially
e
overlapsSpatially
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2828-2829
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9598-9600
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1570-1572
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9590-9590
O argumento numero 1 de
meetsSpatially
e' uma
instancia
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9591-9591
O argumento numero 2 de
meetsSpatially
e' uma
instancia
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9595-9595
meetsSpatially
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9593-9593
meetsSpatially
e' uma
instancia
de
Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9594-9594
meetsSpatially
e' uma
instancia
de
Relacao Simetrica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9592-9592
meetsSpatially
e'
relacionado
internamente por SUMO a
connected
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order.
english_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.
french_format.kif 211-211
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 179-179
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2018-2018
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 163-163
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 218-218
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 486-486
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 217-217
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 231-231
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 228-228
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 354-354
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11516-11516
grasps
e' uma
sub
-relacao de
meetsSpatially
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 366-366
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36917-36917
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36916-36916
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36915-36915
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 355-355
antecedent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 724-726
Objeto
encontra
Objeto
Objeto
nao
engloba
%n
Objeto
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 864-866
Objeto
encontra
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6163-6165
Objeto
encontra
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
consequent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29740-29744
covers
Objeto
and
Objeto
Objeto
e' uma parte
superficial
de
Objeto
Objeto
encontra
Objeto
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1289-1293
physicalEnd
Objeto
and
Objeto
Objeto
e' uma parte
superficial
de
Objeto
Objeto
encontra
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1280-1287
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
nao
encontra
%n
Objeto
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 866-866
Alabama
encontra
Mississippi
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 882-882
Alaska
encontra
ArcticOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 880-880
Alaska
encontra
Canada
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 881-881
Alaska
encontra
PacificOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 885-885
Arizona
encontra
California
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 886-886
Arizona
encontra
Mexico
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 884-884
Arizona
encontra
Nevada
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 892-892
Arkansas
encontra
Louisiana
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 890-890
Arkansas
encontra
Oklahoma
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 891-891
Arkansas
encontra
Texas
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 136-136
BassasDaIndia
encontra
IndianOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 138-138
BouvetIsland
encontra
SouthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 904-904
California
encontra
Mexico
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 905-905
California
encontra
NewMexico
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 906-906
California
encontra
Oregon
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 903-903
California
encontra
PacificOcean
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 907-907
California
encontra
Washington
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 410-410
Canada
encontra
UnitedStates
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 910-910
Colorado
encontra
Arizona
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 911-911
Colorado
encontra
NewMexico
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 912-912
Colorado
encontra
Texas
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 909-909
Colorado
encontra
Utah
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 920-920
Delaware
encontra
Maryland
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 919-919
Delaware
encontra
NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.
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