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
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 17010-17010
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 17009-17009
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 17008-17008
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 114-114
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 15025-15036
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 16992-17000
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 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
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17144-17144
Above
is the
opposite
of
below
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4475-4475
Account deactivated
is the
opposite
of
account active
No TPTP formula. May not be expressible in strict first order.
Food.kif 2803-2803
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 13653-13653
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 22284-22284
Civilian
is the
opposite
of
military person
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4945-4945
Clockwise
is the
opposite
of
counter-clockwise
No TPTP formula. May not be expressible in strict first order.
engineering.kif 675-675
Conductivity
is the
opposite
of
resistivity
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 435-435
Conscious
is the
opposite
of
unconscious
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1631-1631
Container full
is the
opposite
of
container empty
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18172-18172
Dead
is the
opposite
of
living
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29489-29489
Device damaged
is the
opposite
of
device normal
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3644-3644
Device on
is the
opposite
of
device off
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3645-3645
Device open
is the
opposite
of
device closed
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25629-25629
Dirty
is the
opposite
of
clean
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8683-8683
Drugged
is the
opposite
of
sober
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18070-18070
Dry
is the
opposite
of
damp
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18269-18269
Embryonic
is the
opposite
of
larval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17056-17056
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
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