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
The number 1 argument of
orientation
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16913-16913
The number 2 argument of
orientation
is an
instance
of
object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16914-16914
The number 3 argument of
orientation
is an
instance
of
positional attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16910-16910
orientation
is an
instance
of
spatial relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16911-16911
orientation
is an
instance
of
ternary predicate
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
An object
is
outside
to
another object
if and only if
the object
is not
partly
located in
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17103-17107
An object
is
adjacent
to
another object
if and only if
the object
is
near
to
the other object
or
the object
is
connected
to
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17091-17095
An object
is
below
to
another object
if and only if
the other object
is
on
to
the object
or
the other object
is
above
to
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17028-17030
An object
is
east
to
another object
if and only if
the other object
is
west
to
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17045-17047
An object
is
horizontal
to
another object
if and only if
the other object
is
horizontal
to
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17018-17020
An object
is
north
to
another object
if and only if
the other object
is
south
to
the object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3653-3657
An object
is
northeast
to
another object
if and only if
the object
is
north
to
the other object
and
the object
is
east
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3688-3692
An object
is
northwest
to
another object
if and only if
the object
is
north
to
the other object
and
the object
is
west
to
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17124-17126
An object
is
right
to
another object
if and only if
the other object
is
left
to
the object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3664-3668
An object
is
southeast
to
another object
if and only if
the object
is
south
to
the other object
and
the object
is
east
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3676-3680
An object
is
southwest
to
another object
if and only if
the object
is
south
to
the other object
and
the object
is
west
to
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17036-17038
An object
is
vertical
to
another object
if and only if
the other object
is
vertical
to
the object
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1838-1860
If
lateral recumbant
is an
attribute
of
an object
and
the object
is
on
to
another object
holds
during
a time position
and
a third object
is an
instance
of
left arm
and
the third object
is a
part
of
the object
and
a fourth object
is an
instance
of
right arm
and
the fourth object
is a
part
of
the object
and
a fifth object
is an
instance
of
left leg
and
the fifth object
is a
part
of
the object
and
a sixth object
is an
instance
of
right leg
and
the sixth object
is a
part
of
the object
and
the third object
meet
s
the other object
or
the fifth object
meet
s
the other object
,
then
the fourth object
doesn't
meet
the other object
and
the sixth object
doesn't
meet
the other object
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1862-1884
If
lateral recumbant
is an
attribute
of
an object
and
the object
is
on
to
another object
holds
during
a time position
and
a third object
is an
instance
of
left arm
and
the third object
is a
part
of
the object
and
a fourth object
is an
instance
of
right arm
and
the fourth object
is a
part
of
the object
and
a fifth object
is an
instance
of
left leg
and
the fifth object
is a
part
of
the object
and
a sixth object
is an
instance
of
right leg
and
the sixth object
is a
part
of
the object
and
the fourth object
meet
s
the other object
or
the sixth object
meet
s
the other object
,
then
the third object
doesn't
meet
the other object
and
the fifth object
doesn't
meet
the other object
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1799-1807
If
prone
is an
attribute
of
an object
and
the object
is
on
to
another object
holds
during
a time position
and
a third object
is an
instance
of
chest
and
the third object
is a
part
of
the object
,
then
the third object
meet
s
the other object
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1814-1821
If
supine
is an
attribute
of
a self connected object
and
the self connected object
is
on
to
an object
holds
during
a time position
and
another self connected object
is
equal
to the
back
of
the self connected object
,
then
the other self connected object
meet
s
the object
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 44-59
If
a process
is an
instance
of
bleeding
and
an entity
is an
instance
of
death
and
a formula
is an
instance
of
human
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
and
the formula
is
near
to
the agent
and the statement
the process
cause
s
the entity
has the
modal
force
of
likely
,
then there exists
another entity
such that
the other entity
is an
instance
of
attaching
and
the formula
is an
agent
of
the other entity
and
the other entity
end
s up at
the agent
is
obliged
to perform tasks of type
the formula
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6126-6131
If
an object
is an
instance
of
seacoast
and
another object
is an
instance
of
water area
and
the other object
is
adjacent
to
the object
,
then
the other object
is an
instance
of
salt water area
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17004-17009
If
a positional attribute
is an
instance
of
directional attribute
and
an object
is
the positional attribute
to
another object
and
the other object
is
the positional attribute
to
a third object
,
then
the other object
is
between
the object
and
the third object
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2537-2550
If
a process
is an
instance
of
fog
and
the process
is
located
at
a region
and
the region
is an
instance
of
geographic area
and
an object
is an
instance
of
atmospheric region
and
the object
is
above
to
the region
and
another object
is an
instance
of
aerosal
and
the other object
located
at time the
time
of existence of
the process
for
the object
and the
visibility
at
the region
during the
time
of existence of
the process
is
a real number
meter
(s),
then
the real number
is
less
than 1000.0
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2566-2580
If
a process
is an
instance
of
atmospheric hazing
and
the process
is
located
at
a region
and
the region
is an
instance
of
geographic area
and
an object
is an
instance
of
atmospheric region
and
the object
is
above
to
the region
and
another object
located
at time the
time
of existence of
the process
for
the object
and the
visibility
at
the region
during the
time
of existence of
the process
is
a real number
kilometer
(s),
then
the real number
is
greater
than 2.0 and
the real number
is
less
than 5.0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17065-17069
If
a positional attribute
is an
instance
of
anti-symmetric positional attribute
and
an object
is
the positional attribute
to
another object
,
then
the other object
is not
the positional attribute
to
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17054-17058
If
a positional attribute
is an
instance
of
symmetric positional attribute
and
an object
is
the positional attribute
to
another object
,
then
the other object
is
the positional attribute
to
the object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6152-6161
If
an object
is an
instance
of
shore area
and
another object
is an
instance
of
water area
and
the object
is
adjacent
to
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
shoreline
and
the third object
is a
part
of
the object
and
the third object
meet
s
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11352-11357
If
a transfer
is an
instance
of
transfer
and the object transferred in
the transfer
is
an object
and
the object
2 is
inside
to
the object
,
then the object transferred in
the transfer
is
the object
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
An object
courseWRT
true north
another object
for 0.0
angular degree
(s) if and only if
the object
is
north
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3755-3757
An object
courseWRT
true north
another object
for 135.0
angular degree
(s) if and only if
the object
is
southeast
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3739-3741
An object
courseWRT
true north
another object
for 180.0
angular degree
(s) if and only if
the object
is
south
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3759-3761
An object
courseWRT
true north
another object
for 225.0
angular degree
(s) if and only if
the object
is
southwest
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3743-3745
An object
courseWRT
true north
another object
for 270.0
angular degree
(s) if and only if
the object
is
west
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3763-3765
An object
courseWRT
true north
another object
for 315.0
angular degree
(s) if and only if
the object
is
northwest
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3747-3749
An object
courseWRT
true north
another object
for 360.0
angular degree
(s) if and only if
the object
is
north
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3751-3753
An object
courseWRT
true north
another object
for 45.0
angular degree
(s) if and only if
the object
is
northeast
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3735-3737
An object
courseWRT
true north
another object
for 90.0
angular degree
(s) if and only if
the object
is
east
to
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17103-17107
An object
is
adjacent
to
another object
if and only if
the object
is
near
to
the other object
or
the object
is
connected
to
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17091-17095
An object
is
below
to
another object
if and only if
the other object
is
on
to
the object
or
the other object
is
above
to
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17028-17030
An object
is
east
to
another object
if and only if
the other object
is
west
to
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17045-17047
An object
is
horizontal
to
another object
if and only if
the other object
is
horizontal
to
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17018-17020
An object
is
north
to
another object
if and only if
the other object
is
south
to
the object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3653-3657
An object
is
northeast
to
another object
if and only if
the object
is
north
to
the other object
and
the object
is
east
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3688-3692
An object
is
northwest
to
another object
if and only if
the object
is
north
to
the other object
and
the object
is
west
to
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17124-17126
An object
is
right
to
another object
if and only if
the other object
is
left
to
the object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3664-3668
An object
is
southeast
to
another object
if and only if
the object
is
south
to
the other object
and
the object
is
east
to
the other object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3676-3680
An object
is
southwest
to
another object
if and only if
the object
is
south
to
the other object
and
the object
is
west
to
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17036-17038
An object
is
vertical
to
another object
if and only if
the other object
is
vertical
to
the object
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 939-944
If
an object
is
adjacent
to
a class
,
then there exists
another object
such that
the other object
is an
instance
of
the class
and
the object
is
adjacent
to
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7714-7716
If the
altitude
of
an object
is
another object
,
then
the object
is
above
to
the other object
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2693-2704
If
concave
is an
attribute
of
a self connected object
and
the self connected object
is a
surface
of
another self connected object
and
an object
is a
part
of
the other self connected object
and
another object
is a
part
of
the other self connected object
and
a third object
is
equal
to the line between
the object
and
the other object
and
the object
is not
equal
to
the other object
and
a fourth object
is a
part
of
the third object
,
then
the fourth object
is
outside
to
the self connected object
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2665-2676
If
convex
is an
attribute
of
a self connected object
and
the self connected object
is a
surface
of
another self connected object
and
an object
is a
part
of
the other self connected object
and
another object
is a
part
of
the other self connected object
and
a third object
is
equal
to the line between
the object
and
the other object
and
the object
is not
equal
to
the other object
and
a fourth object
is a
part
of
the third object
,
then
the fourth object
is
inside
to
the self connected object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 4078-4095
If
a geometric figure
is an
attribute
of
an object
and
the object
is an
instance
of
four-poster bed
and
the geometric figure
is an
instance
of
quadrilateral
and the
size
of
the geometric figure
is
an one dimensional figure
and the
size
of
the geometric figure
is
another one dimensional figure
and
the one dimensional figure
is not
equal
to
the other one dimensional figure
,
then there exist
another object
,
a third object
,, ,
a geometric point
and
a fourth object
such that
the other object
is a
part
of
the object
and
the third object
is an
instance
of
floor
and
the object
is
on
to
the third object
and
the other object
is
vertical
to
the third object
and
the one dimensional figure
is
point
of intersection
the other one dimensional figure
for
the geometric point
and
the geometric point
is an
attribute
of
the fourth object
and
the fourth object
meet
s
the other object
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
is
southeast
to
north america
No TPTP formula. May not be expressible in strict first order.
Geography.kif 280-280
Africa
is
northeast
to
south america
No TPTP formula. May not be expressible in strict first order.
Geography.kif 281-281
Asia
is
northwest
to
oceania
No TPTP formula. May not be expressible in strict first order.
Geography.kif 290-290
Caribbean region
is
south
to
north america
No TPTP formula. May not be expressible in strict first order.
Geography.kif 289-289
Caribbean region
is
north
to
south america
No TPTP formula. May not be expressible in strict first order.
Geography.kif 275-275
Europe
is
north
to
africa
No TPTP formula. May not be expressible in strict first order.
Geography.kif 276-276
Europe
is
west
to
asia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 277-277
Europe
is
east
to
north america
No TPTP formula. May not be expressible in strict first order.
Geography.kif 283-283
Europe
is
northeast
to
south america
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6966-6966
Ireland
is
west
to
Wales
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6965-6965
Isle of man
is
east
to
northern ireland
No TPTP formula. May not be expressible in strict first order.
Geography.kif 288-288
Middle america
is
south
to
north america
No TPTP formula. May not be expressible in strict first order.
Geography.kif 287-287
Middle america
is
north
to
south america
No TPTP formula. May not be expressible in strict first order.
Geography.kif 286-286
Middle east region
is
northeast
to
africa
No TPTP formula. May not be expressible in strict first order.
Geography.kif 285-285
Middle east region
is
southwest
to
asia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 279-279
North america
is
east
to
asia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 278-278
North america
is
north
to
south america
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6954-6954
Northern ireland
is
northwest
to
England
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6953-6953
Northern ireland
is
southwest
to
scotland
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6963-6963
Northern ireland
is
northwest
to
Wales
No TPTP formula. May not be expressible in strict first order.
Geography.kif 284-284
Oceania
is
southwest
to
north america
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6951-6951
Scotland
is
north
to
England
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6964-6964
Scotland
is
north
to
Wales
No TPTP formula. May not be expressible in strict first order.
Geography.kif 6961-6961
Wales
is
west
to
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