Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
contraryAttribute
Sigma KEE - contraryAttribute
contraryAttribute
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1504-1506
No TPTP formula. May not be expressible in strict first order.
Merge.kif 459-462
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 68-70
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 78-81
No TPTP formula. May not be expressible in strict first order.
Merge.kif 457-457
The number 1 argument of
contrary attribute
is an
instance
of
attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 455-455
contrary attribute
is an
instance
of
predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 456-456
contrary attribute
is an
instance
of
variable arity relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 283-283
No TPTP formula. May not be expressible in strict first order.
english_format.kif 288-288
No TPTP formula. May not be expressible in strict first order.
french_format.kif 164-164
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 58-58
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1984-1984
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 116-116
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 367-367
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 99-99
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 184-184
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 171-171
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 92-92
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 284-284
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 17007-17007
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 17006-17006
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 17005-17005
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 133-133
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 476-484
If @ROW is the
opposite
of and
an attribute
is
equal
to
another entity
element
of (@ROW) and
another attribute
is
equal
to
a third entity
element
of (@ROW) and
a positive integer
is not
equal
to
another positive integer
and
a fourth entity
the
attribute
the attribute
,
then
the fourth entity
does not have the
attribute
the other attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 470-474
If @ROW1 is the
opposite
of and (@ROW2) is an
identical
list items of (@ROW1),
then @ROW2 is the
opposite
of
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14869-14880
If
an object
is an
instance
of
animal
and
another object
is an
instance
of the
an anti-symmetric positional attribute
a kind of body part
and
the anti-symmetric positional attribute
is the
opposite
of
the anti-symmetric positional attribute
O and
healthy
is an
attribute
of
the object
,
then there exists
the other object
O such that
the other object
O is an
instance
of the
the anti-symmetric positional attribute
O
a kind of body part
and
the other object
is
the anti-symmetric positional attribute
to
the other object
O
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 2332-2343
If
a time interval
is an
instance
of
bringing GE to front
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
interface window
and
the entity
has
state
an attribute
holds
during
the
beginning
of
the time interval
and
the attribute
is the
opposite
of
GUE uncovered state
,
then not
the entity
has
state
the attribute
holds
during
the
end
of
the time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16805-16813
If
an object
is
a positional attribute
to
another object
and @ROW is the
opposite
of and
the positional attribute
is a
member
of (@ROW) and
another positional attribute
is a
member
of (@ROW) and
the positional attribute
is not
equal
to
the other positional attribute
,
then
the object
is not
the other positional attribute
to
the other object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 464-468
If @ROW is the
opposite
of ,
then
if
another entity
is a
member
of (@ROW),
then
the other entity
is an
instance
of
attribute
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 470-474
If @ROW1 is the
opposite
of and (@ROW2) is an
identical
list items of (@ROW1),
then @ROW2 is the
opposite
of
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17983-17985
If
a positional attribute
is an
opposite
direction of
another positional attribute
,
then
the other positional attribute
is the
opposite
of
the positional attribute
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16958-16958
Above
is the
opposite
of
below
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4473-4473
Account deactivated
is the
opposite
of
account active
No TPTP formula. May not be expressible in strict first order.
Food.kif 746-746
Acidic pH
is the
opposite
of
basic pH
No TPTP formula. May not be expressible in strict first order.
emotion.kif 522-522
Appraisal as being disliked
is the
opposite
of
appraisal as being liked
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13498-13498
Audible
is the
opposite
of
inaudible
No TPTP formula. May not be expressible in strict first order.
Government.kif 336-336
Authoritarian regime
is the
opposite
of
multiparty democracy
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 391-391
Broad gauge
is the
opposite
of
standard gauge
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22312-22312
Civilian
is the
opposite
of
military person
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4960-4960
Clockwise
is the
opposite
of
counter-clockwise
No TPTP formula. May not be expressible in strict first order.
engineering.kif 672-672
Conductivity
is the
opposite
of
resistivity
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1610-1610
Container full
is the
opposite
of
container empty
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17978-17978
Dead
is the
opposite
of
living
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29543-29543
Device damaged
is the
opposite
of
device normal
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3642-3642
Device on
is the
opposite
of
device off
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3643-3643
Device open
is the
opposite
of
device closed
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25670-25670
Dirty
is the
opposite
of
clean
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8623-8623
Drugged
is the
opposite
of
sober
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17876-17876
Dry
is the
opposite
of
damp
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18071-18071
Embryonic
is the
opposite
of
larval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16870-16870
False
is the
opposite
of
true
No TPTP formula. May not be expressible in strict first order.
Government.kif 285-285
Federal government
is the
opposite
of
authoritarian regime
No TPTP formula. May not be expressible in strict first order.
Government.kif 284-284
Federal government
is the
opposite
of
unitary rule
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1849-1849
Feeling alert
is the
opposite
of
feeling tired
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1782-1782
Feeling at ease
is the
opposite
of
feeling restless
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1760-1760
Feeling calm
is the
opposite
of
feeling nervous
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
contraryAttribute