Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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.
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 291-291
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 16942-16942
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 16941-16941
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 16940-16940
antecedent
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.
ComputerInput.kif 2347-2358
If
a time interval
is an
instance
of
BringingGEToFront
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
InterfaceWindow
and
the entity
has
state
an attribute
holds
during
the
beginning
of
the time interval
and
the attribute
is the
opposite
of
GUE_UncoveredState
,
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 15776-15784
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 476-486
If @ROW is the
opposite
of ,
then for all
an attribute
and
another attribute
if
the attribute
is
equal
to
another entity
element
of (@ROW) and
the other attribute
is
equal
to
a third entity
element
of (@ROW) and
a positive integer
is not
equal
to
another positive integer
,
then
if
a fourth entity
the
attribute
the attribute
,
then
the fourth entity
does not have the
attribute
the other 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 15865-15867
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 15923-15923
Above
is the
opposite
of
below
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4395-4395
Account deactivated
is the
opposite
of
account active
No TPTP formula. May not be expressible in strict first order.
Food.kif 761-761
AcidicPH
is the
opposite
of
BasicPH
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 12621-12621
Audible
is the
opposite
of
Inaudible
No TPTP formula. May not be expressible in strict first order.
Government.kif 324-324
Authoritarian regime
is the
opposite
of
multiparty democracy
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 388-388
Broad gauge
is the
opposite
of
standard gauge
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20103-20103
Civilian
is the
opposite
of
military person
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4941-4941
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 2048-2048
Container full
is the
opposite
of
container empty
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16815-16815
Dead
is the
opposite
of
living
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 27624-27624
DeviceDamaged
is the
opposite
of
DeviceNormal
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3628-3628
Device on
is the
opposite
of
device off
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3629-3629
Device open
is the
opposite
of
device closed
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23528-23528
Dirty
is the
opposite
of
clean
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8319-8319
Drugged
is the
opposite
of
sober
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16713-16713
Dry
is the
opposite
of
damp
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16908-16908
Embryonic
is the
opposite
of
larval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15835-15835
False
is the
opposite
of
true
No TPTP formula. May not be expressible in strict first order.
Government.kif 273-273
Federal government
is the
opposite
of
authoritarian regime
No TPTP formula. May not be expressible in strict first order.
Government.kif 272-272
Federal government
is the
opposite
of
unitary rule
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1812-1812
Feeling alert
is the
opposite
of
feeling tired
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1745-1745
Feeling at ease
is the
opposite
of
feeling restless
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1723-1723
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