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 452-455
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 450-450
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 448-448
contrary attribute
is an
instance
of
predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 449-449
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 17019-17019
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 17018-17018
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 17017-17017
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 469-477
If @ROW is the
opposite
of and
equal
an attribute
and
another entity
element
of (@ROW) and
equal
another attribute
and
a third entity
element
of (@ROW) and
equal
a positive integer
and
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 463-467
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 15132-15143
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 17096-17104
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
equal
the positional attribute
and
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 457-461
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 463-467
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 19714-19716
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 17248-17248
Above
is the
opposite
of
below
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4470-4470
Account deactivated
is the
opposite
of
account active
No TPTP formula. May not be expressible in strict first order.
Food.kif 2810-2810
Acidic pH
is the
opposite
of
basic pH
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2500-2500
Ally
is the
opposite
of
enemy
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 13761-13761
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 3240-3240
Bidirectional traffic
is the
opposite
of
unidirectional traffic
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 23873-23873
Civilian
is the
opposite
of
military person
No TPTP formula. May not be expressible in strict first order.
Cars.kif 5021-5021
Clockwise
is the
opposite
of
counter_clockwise
No TPTP formula. May not be expressible in strict first order.
engineering.kif 674-674
Conductivity
is the
opposite
of
resistivity
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 424-424
Conscious
is the
opposite
of
unconscious
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 2101-2101
Container full
is the
opposite
of
container empty
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18279-18279
Dead
is the
opposite
of
living
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31357-31357
Device damaged
is the
opposite
of
device normal
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3639-3639
Device on
is the
opposite
of
device off
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3640-3640
Device open
is the
opposite
of
device closed
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 27234-27234
Dirty
is the
opposite
of
clean
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29023-29023
Domestic
is the
opposite
of
international
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9862-9862
Drugged
is the
opposite
of
sober
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18177-18177
Dry
is the
opposite
of
damp
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18377-18377
Embryonic
is the
opposite
of
larval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17160-17160
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
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