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
oppositeDirection
Sigma KEE - oppositeDirection
oppositeDirection
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18156-18158
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18153-18153
The number 1 argument of
opposite direction
is an
instance
of
positional attribute
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18154-18154
The number 2 argument of
opposite direction
is an
instance
of
positional attribute
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18150-18150
opposite direction
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18152-18152
opposite direction
is an
instance
of
irreflexive relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18151-18151
opposite direction
is an
instance
of
symmetric relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1847-1847
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1846-1846
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1845-1845
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42326-42326
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42325-42325
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42324-42324
antecedent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 182-187
If
a physical
is an
instance
of
wind flow
and the
measure
of
the physical
is
a length measure
per
a time duration
in
a region
in the direction
an entity
-TOWARD and
the entity
-FROM is an
opposite
direction of
the entity
-TOWARD,
then
the entity
-FROM is a
surface
wind direction of
the region
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18163-18168
If
an object
is
a positional attribute
to
another object
and
the positional attribute
is an
instance
of
positional attribute
and
another positional attribute
is an
opposite
direction of
the positional attribute
,
then
the other object
is
the other positional attribute
to
the object
No TPTP formula. May not be expressible in strict first order.
Weather.kif 176-180
If
an object
is
surface
wind velocity
a physical quantity
for
an entity
-TOWARD and
the entity
-FROM is an
opposite
direction of
the entity
-TOWARD,
then
the entity
-FROM is a
surface
wind direction of
the object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18170-18172
If
a positional attribute
is an
opposite
direction of
another positional attribute
,
then
the other positional attribute
is the
opposite
of
the positional attribute
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18177-18211
If
an object
is an
instance
of
saw
and
a process
is an
instance
of
cutting
and
the object
is an
instrument
for
the process
and
another object
is an
instance
of
object
and
the other object
is a
patient
of
the process
,
then there exist
another process
,
an entity
,, ,
another entity
,, ,
a time interval
,, ,
a time position
,, ,
another time position
and
a third object
such that
the other process
is an
instance
of
motion
and
the other process
is a
subprocess
of
the process
and
the third object
is an
instance
of
cutting device
and
the third object
is a
part
of
the object
and
the third object
meet
s
the other object
and
the third object
is a
patient
of
the other process
and
the other time position
is an
instance
of
time interval
and
the other time position
is an
instance
of
time interval
and the
time
of existence of
the other process
is
equal
to
the time interval
and
the time interval
is a
part
of
the time position
and
the time interval
is a
part
of
the other time position
and
the entity
is an
instance
of
directional attribute
and
the other entity
is an
instance
of
directional attribute
and
if entities in the process
the other process
are
moving
the entity
holds
during
the time position
,
then entities in the process
the other process
are
moving
the other entity
and
the entity
is
equal
to
the other entity
or
the other entity
is an
opposite
direction of
the entity
and ~{
the entity
is
equal
to
the other entity
} or ~{
the other entity
is an
opposite
direction of
the entity
} holds
during
the other time position
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18161-18161
West
is an
opposite
direction of
east
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18160-18160
South
is an
opposite
direction of
north
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3671-3671
Southwest
is an
opposite
direction of
northeast
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3683-3683
Southeast
is an
opposite
direction of
northwest
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5460-5460
Downstream
is an
opposite
direction of
upstream
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
oppositeDirection