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
Le nombre 1 argument de
orientation
est une
instance
de
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16913-16913
Le nombre 2 argument de
orientation
est une
instance
de
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16914-16914
Le nombre 3 argument de
orientation
est une
instance
de
attribut positionnel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16910-16910
orientation
est une
instance
de
relation spatial
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16911-16911
orientation
est une
instance
de
pr�dicat ternaire
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
Objet
est
Outside
�
objet
objet
est
partiellement
localis� �
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17103-17107
Objet
est
Adjacent
�
objet
objet
est
Near
�
objet
objet
est
connect
� �
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17091-17095
Objet
est
Below
�
objet
objet
est
On
�
objet
objet
est
Above
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17028-17030
Objet
est
East
�
objet
objet
est
West
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17045-17047
Objet
est
Horizontal
�
objet
objet
est
Horizontal
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17018-17020
Objet
est
North
�
objet
objet
est
South
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3653-3657
Objet
est
Northeast
�
objet
objet
est
North
�
objet
objet
est
East
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3688-3692
Objet
est
Northwest
�
objet
objet
est
North
�
objet
objet
est
West
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17124-17126
Objet
est
Right
�
objet
objet
est
Left
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3664-3668
Objet
est
Southeast
�
objet
objet
est
South
�
objet
objet
est
East
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3676-3680
Objet
est
Southwest
�
objet
objet
est
South
�
objet
objet
est
West
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17036-17038
Objet
est
Vertical
�
objet
objet
est
Vertical
�
objet
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1838-1860
LateralRecumbant
est un
attribut
de
objet
objet
est
On
�
objet
pendant
position temporel
objet
est une
instance
de
LeftArm
objet
est une
partie
de
objet
objet
est une
instance
de
RightArm
objet
est une
partie
de
objet
objet
est une
instance
de
LeftLeg
objet
est une
partie
de
objet
objet
est une
instance
de
RightLeg
objet
est une
partie
de
objet
objet
rencontre
objet
objet
rencontre
objet
objet
ne
rencontre
%n{pas}
objet
objet
ne
rencontre
%n{pas}
objet
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1862-1884
LateralRecumbant
est un
attribut
de
objet
objet
est
On
�
objet
pendant
position temporel
objet
est une
instance
de
LeftArm
objet
est une
partie
de
objet
objet
est une
instance
de
RightArm
objet
est une
partie
de
objet
objet
est une
instance
de
LeftLeg
objet
est une
partie
de
objet
objet
est une
instance
de
RightLeg
objet
est une
partie
de
objet
objet
rencontre
objet
objet
rencontre
objet
objet
ne
rencontre
%n{pas}
objet
objet
ne
rencontre
%n{pas}
objet
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1799-1807
Prone
est un
attribut
de
objet
objet
est
On
�
objet
pendant
position temporel
objet
est une
instance
de
Chest
objet
est une
partie
de
objet
objet
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1814-1821
Supine
est un
attribut
de
objet en une partie
objet en une partie
est
On
�
objet
pendant
position temporel
objet en une partie
est
derri
�re de
objet en une partie
objet en une partie
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 44-59
Processus
est une
instance
de
Bleeding
entit�
est une
instance
de
mort
formule
est une
instance
de
humain
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
exp
�rimente
processus
formule
est
Near
�
AutonomousAgent
l'argument
processus
cause
entit�
a la
force
modale
de
Likely
entit�
entit�
est une
instance
de
attacher
entit�
est un
agent
de
formule
entit�
aboutit
�
AutonomousAgent
est
oblig
� d'ex�cut� des t�ches du type
formule
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6126-6131
Objet
est une
instance
de
Seacoast
objet
est une
instance
de
plan d'eau
objet
est
Adjacent
�
objet
objet
est une
instance
de
plan d'eau sal�
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17004-17009
Attribut positionnel
est une
instance
de
attribut directionnel
objet
est
attribut positionnel
�
objet
objet
est
attribut positionnel
�
objet
objet
est
entre
objet
et
objet
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2537-2550
Processus
est une
instance
de
Fogging
eventLocated
processus
and
r�gion
r�gion
est une
instance
de
secteur g�ographique
objet
est une
instance
de
AtmosphericRegion
objet
est
Above
�
r�gion
objet
est une
instance
de
Aerosal
locatedAtTime
objet
,
temps
d'existence de
processus
and
objet
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Meter
(s)
nombre r�el
est
moins
que 1000.0
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2566-2580
Processus
est une
instance
de
AtmosphericHazing
eventLocated
processus
and
r�gion
r�gion
est une
instance
de
secteur g�ographique
objet
est une
instance
de
AtmosphericRegion
objet
est
Above
�
r�gion
locatedAtTime
objet
,
temps
d'existence de
processus
and
objet
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Kilometer
(s)
nombre r�el
est
plus
grand
que 2.0
nombre r�el
est
moins
que 5.0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17065-17069
Attribut positionnel
est une
instance
de
AntiSymmetricPositionalAttribute
objet
est
attribut positionnel
�
objet
objet
est
attribut positionnel
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17054-17058
Attribut positionnel
est une
instance
de
SymmetricPositionalAttribute
objet
est
attribut positionnel
�
objet
objet
est
attribut positionnel
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6152-6161
Objet
est une
instance
de
ShoreArea
objet
est une
instance
de
plan d'eau
objet
est
Adjacent
�
objet
objet
objet
est une
instance
de
Shoreline
objet
est une
partie
de
objet
objet
rencontre
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11352-11357
Transf�re
est une
instance
de
transf�re
objectTransferred
transf�re
and
objet
objet
2 est
Inside
�
objet
objectTransferred
transf�re
and
objet
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
objet
,
objet
and 0.0
AngularDegree
(s)
objet
est
North
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3755-3757
courseWRTTrueNorth
objet
,
objet
and 135.0
AngularDegree
(s)
objet
est
Southeast
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3739-3741
courseWRTTrueNorth
objet
,
objet
and 180.0
AngularDegree
(s)
objet
est
South
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3759-3761
courseWRTTrueNorth
objet
,
objet
and 225.0
AngularDegree
(s)
objet
est
Southwest
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3743-3745
courseWRTTrueNorth
objet
,
objet
and 270.0
AngularDegree
(s)
objet
est
West
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3763-3765
courseWRTTrueNorth
objet
,
objet
and 315.0
AngularDegree
(s)
objet
est
Northwest
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3747-3749
courseWRTTrueNorth
objet
,
objet
and 360.0
AngularDegree
(s)
objet
est
North
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3751-3753
courseWRTTrueNorth
objet
,
objet
and 45.0
AngularDegree
(s)
objet
est
Northeast
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3735-3737
courseWRTTrueNorth
objet
,
objet
and 90.0
AngularDegree
(s)
objet
est
East
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17103-17107
Objet
est
Adjacent
�
objet
objet
est
Near
�
objet
objet
est
connect
� �
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17091-17095
Objet
est
Below
�
objet
objet
est
On
�
objet
objet
est
Above
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17028-17030
Objet
est
East
�
objet
objet
est
West
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17045-17047
Objet
est
Horizontal
�
objet
objet
est
Horizontal
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17018-17020
Objet
est
North
�
objet
objet
est
South
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3653-3657
Objet
est
Northeast
�
objet
objet
est
North
�
objet
objet
est
East
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3688-3692
Objet
est
Northwest
�
objet
objet
est
North
�
objet
objet
est
West
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17124-17126
Objet
est
Right
�
objet
objet
est
Left
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3664-3668
Objet
est
Southeast
�
objet
objet
est
South
�
objet
objet
est
East
�
objet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3676-3680
Objet
est
Southwest
�
objet
objet
est
South
�
objet
objet
est
West
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17036-17038
Objet
est
Vertical
�
objet
objet
est
Vertical
�
objet
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 939-944
adjacentOrientation
objet
and
classe
objet
objet
est une
instance
de
classe
objet
est
Adjacent
�
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7714-7716
Le
altitude
de
objet
est
objet
objet
est
Above
�
objet
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2693-2704
Concave
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
LineFn
objet
and
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est
Outside
�
objet en une partie
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2665-2676
Convex
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
LineFn
objet
and
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est
Inside
�
objet en une partie
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 4078-4095
GeometricFigure
est un
attribut
de
objet
objet
est une
instance
de
FourPosterBed
GeometricFigure
est une
instance
de
Quadrilateral
le
taille
de
GeometricFigure
est
OneDimensionalFigure
le
taille
de
GeometricFigure
est
OneDimensionalFigure
OneDimensionalFigure
est
OneDimensionalFigure
objet
objet
,
GeometricPoint
and
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Floor
objet
est
On
�
objet
objet
est
Vertical
�
objet
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
est un
attribut
de
objet
objet
rencontre
objet
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
est
Southeast
�
NorthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 280-280
Africa
est
Northeast
�
SouthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 281-281
Asia
est
Northwest
�
Oceania
No TPTP formula. May not be expressible in strict first order.
Geography.kif 290-290
CaribbeanRegion
est
South
�
NorthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 289-289
CaribbeanRegion
est
North
�
SouthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 275-275
Europe
est
North
�
Africa
No TPTP formula. May not be expressible in strict first order.
Geography.kif 276-276
Europe
est
West
�
Asia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 277-277
Europe
est
East
�
NorthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 283-283
Europe
est
Northeast
�
SouthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6966-6966
Ireland
est
West
�
Wales
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6965-6965
IsleOfMan
est
East
�
NorthernIreland
No TPTP formula. May not be expressible in strict first order.
Geography.kif 288-288
MiddleAmerica
est
South
�
NorthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 287-287
MiddleAmerica
est
North
�
SouthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 286-286
MiddleEastRegion
est
Northeast
�
Africa
No TPTP formula. May not be expressible in strict first order.
Geography.kif 285-285
MiddleEastRegion
est
Southwest
�
Asia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 279-279
NorthAmerica
est
East
�
Asia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 278-278
NorthAmerica
est
North
�
SouthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6954-6954
NorthernIreland
est
Northwest
�
England
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6953-6953
NorthernIreland
est
Southwest
�
Scotland
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6963-6963
NorthernIreland
est
Northwest
�
Wales
No TPTP formula. May not be expressible in strict first order.
Geography.kif 284-284
Oceania
est
Southwest
�
NorthAmerica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6951-6951
Scotland
est
North
�
England
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6964-6964
Scotland
est
North
�
Wales
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6961-6961
Wales
est
West
�
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