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
orientation
Sigma KEE - orientation
orientation
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 3786-3788
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16915-16919
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16912-16912
O argumento numero 1 de
orientation
e' uma
instancia
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16913-16913
O argumento numero 2 de
orientation
e' uma
instancia
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16914-16914
O argumento numero 3 de
orientation
e' uma
instancia
de
Atributo Posicional
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16910-16910
orientation
e' uma
instancia
de
Relacao Espacial
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16911-16911
orientation
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 586-586
No TPTP formula. May not be expressible in strict first order.
english_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.
french_format.kif 351-351
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 204-204
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2098-2098
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 303-303
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 359-359
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 767-767
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 242-242
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 373-373
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 389-389
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 390-390
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 587-587
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42582-42582
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42581-42581
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42580-42580
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 391-391
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9119-9122
Objeto
e'
Outside
em relacao a
Objeto
Objeto
e'
parcialmente
localizado em
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17103-17107
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
conectado
com
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17091-17095
Objeto
e'
Below
em relacao a
Objeto
Objeto
e'
On
em relacao a
Objeto
Objeto
e'
Above
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17028-17030
Objeto
e'
East
em relacao a
Objeto
Objeto
e'
West
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17045-17047
Objeto
e'
Horizontal
em relacao a
Objeto
Objeto
e'
Horizontal
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17018-17020
Objeto
e'
North
em relacao a
Objeto
Objeto
e'
South
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3653-3657
Objeto
e'
Northeast
em relacao a
Objeto
Objeto
e'
North
em relacao a
Objeto
Objeto
e'
East
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3688-3692
Objeto
e'
Northwest
em relacao a
Objeto
Objeto
e'
North
em relacao a
Objeto
Objeto
e'
West
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17124-17126
Objeto
e'
Right
em relacao a
Objeto
Objeto
e'
Left
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3664-3668
Objeto
e'
Southeast
em relacao a
Objeto
Objeto
e'
South
em relacao a
Objeto
Objeto
e'
East
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3676-3680
Objeto
e'
Southwest
em relacao a
Objeto
Objeto
e'
South
em relacao a
Objeto
Objeto
e'
West
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17036-17038
Objeto
e'
Vertical
em relacao a
Objeto
Objeto
e'
Vertical
em relacao a
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.
Medicine.kif 44-59
Processo
e' uma
instancia
de
Bleeding
Entidade
e' uma
instancia
de
Morte
Formula
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
Formula
e'
Near
em relacao a
AutonomousAgent
o argumento
Processo
causa
Entidade
tem a
forca
modal
de
Likely
Entidade
Entidade
e' uma
instancia
de
Colar
Entidade
e' um
agente
de
Formula
Entidade
termina
em
AutonomousAgent
e'
obrigado
a executar tarefas de tipo
Formula
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6126-6131
Objeto
e' uma
instancia
de
Seacoast
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e' uma
instancia
de
Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17004-17009
Atributo Posicional
e' uma
instancia
de
Atributo Directional
Objeto
e'
Atributo Posicional
em relacao a
Objeto
Objeto
e'
Atributo Posicional
em relacao a
Objeto
Objeto
esta'
entre
Objeto
e
Objeto
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2537-2550
Processo
e' uma
instancia
de
Fogging
eventLocated
Processo
and
Regiao
Regiao
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
Above
em relacao a
Regiao
Objeto
e' uma
instancia
de
Aerosal
locatedAtTime
Objeto
,
tempo
de existencia de
Processo
and
Objeto
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Meter
(s)
Numero Real
e'
menos
que 1000.0
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2566-2580
Processo
e' uma
instancia
de
AtmosphericHazing
eventLocated
Processo
and
Regiao
Regiao
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
Above
em relacao a
Regiao
locatedAtTime
Objeto
,
tempo
de existencia de
Processo
and
Objeto
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Kilometer
(s)
Numero Real
e'
maior
que 2.0
Numero Real
e'
menos
que 5.0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17065-17069
Atributo Posicional
e' uma
instancia
de
AntiSymmetricPositionalAttribute
Objeto
e'
Atributo Posicional
em relacao a
Objeto
Objeto
e'
Atributo Posicional
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17054-17058
Atributo Posicional
e' uma
instancia
de
SymmetricPositionalAttribute
Objeto
e'
Atributo Posicional
em relacao a
Objeto
Objeto
e'
Atributo Posicional
em relacao a
Objeto
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.
Merge.kif 11352-11357
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
2 e'
Inside
em relacao a
Objeto
objectTransferred
Transferencia
and
Objeto
2
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3731-3733
courseWRTTrueNorth
Objeto
,
Objeto
and 0.0
AngularDegree
(s)
Objeto
e'
North
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3755-3757
courseWRTTrueNorth
Objeto
,
Objeto
and 135.0
AngularDegree
(s)
Objeto
e'
Southeast
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3739-3741
courseWRTTrueNorth
Objeto
,
Objeto
and 180.0
AngularDegree
(s)
Objeto
e'
South
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3759-3761
courseWRTTrueNorth
Objeto
,
Objeto
and 225.0
AngularDegree
(s)
Objeto
e'
Southwest
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3743-3745
courseWRTTrueNorth
Objeto
,
Objeto
and 270.0
AngularDegree
(s)
Objeto
e'
West
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3763-3765
courseWRTTrueNorth
Objeto
,
Objeto
and 315.0
AngularDegree
(s)
Objeto
e'
Northwest
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3747-3749
courseWRTTrueNorth
Objeto
,
Objeto
and 360.0
AngularDegree
(s)
Objeto
e'
North
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3751-3753
courseWRTTrueNorth
Objeto
,
Objeto
and 45.0
AngularDegree
(s)
Objeto
e'
Northeast
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3735-3737
courseWRTTrueNorth
Objeto
,
Objeto
and 90.0
AngularDegree
(s)
Objeto
e'
East
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17103-17107
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
conectado
com
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17091-17095
Objeto
e'
Below
em relacao a
Objeto
Objeto
e'
On
em relacao a
Objeto
Objeto
e'
Above
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17028-17030
Objeto
e'
East
em relacao a
Objeto
Objeto
e'
West
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17045-17047
Objeto
e'
Horizontal
em relacao a
Objeto
Objeto
e'
Horizontal
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17018-17020
Objeto
e'
North
em relacao a
Objeto
Objeto
e'
South
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3653-3657
Objeto
e'
Northeast
em relacao a
Objeto
Objeto
e'
North
em relacao a
Objeto
Objeto
e'
East
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3688-3692
Objeto
e'
Northwest
em relacao a
Objeto
Objeto
e'
North
em relacao a
Objeto
Objeto
e'
West
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17124-17126
Objeto
e'
Right
em relacao a
Objeto
Objeto
e'
Left
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3664-3668
Objeto
e'
Southeast
em relacao a
Objeto
Objeto
e'
South
em relacao a
Objeto
Objeto
e'
East
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3676-3680
Objeto
e'
Southwest
em relacao a
Objeto
Objeto
e'
South
em relacao a
Objeto
Objeto
e'
West
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17036-17038
Objeto
e'
Vertical
em relacao a
Objeto
Objeto
e'
Vertical
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 939-944
adjacentOrientation
Objeto
and
Classe
Objeto
Objeto
e' uma
instancia
de
Classe
Objeto
e'
Adjacent
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7714-7716
A
altitude
de
Objeto
e'
Objeto
Objeto
e'
Above
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2693-2704
Concave
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Outside
em relacao a
Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2665-2676
Convex
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Inside
em relacao a
Objeto auto-conectado
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
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.
Geography.kif 282-282
Africa
e'
Southeast
em relacao a
NorthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 280-280
Africa
e'
Northeast
em relacao a
SouthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 281-281
Asia
e'
Northwest
em relacao a
Oceania
No TPTP formula. May not be expressible in strict first order.
Geography.kif 290-290
CaribbeanRegion
e'
South
em relacao a
NorthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 289-289
CaribbeanRegion
e'
North
em relacao a
SouthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 275-275
Europe
e'
North
em relacao a
Africa
No TPTP formula. May not be expressible in strict first order.
Geography.kif 276-276
Europe
e'
West
em relacao a
Asia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 277-277
Europe
e'
East
em relacao a
NorthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 283-283
Europe
e'
Northeast
em relacao a
SouthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6966-6966
Ireland
e'
West
em relacao a
Wales
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6965-6965
IsleOfMan
e'
East
em relacao a
NorthernIreland
No TPTP formula. May not be expressible in strict first order.
Geography.kif 288-288
MiddleAmerica
e'
South
em relacao a
NorthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 287-287
MiddleAmerica
e'
North
em relacao a
SouthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 286-286
MiddleEastRegion
e'
Northeast
em relacao a
Africa
No TPTP formula. May not be expressible in strict first order.
Geography.kif 285-285
MiddleEastRegion
e'
Southwest
em relacao a
Asia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 279-279
NorthAmerica
e'
East
em relacao a
Asia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 278-278
NorthAmerica
e'
North
em relacao a
SouthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6954-6954
NorthernIreland
e'
Northwest
em relacao a
England
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6953-6953
NorthernIreland
e'
Southwest
em relacao a
Scotland
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6963-6963
NorthernIreland
e'
Northwest
em relacao a
Wales
No TPTP formula. May not be expressible in strict first order.
Geography.kif 284-284
Oceania
e'
Southwest
em relacao a
NorthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6951-6951
Scotland
e'
North
em relacao a
England
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6964-6964
Scotland
e'
North
em relacao a
Wales
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6961-6961
Wales
e'
West
em relacao a
England
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