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
(
documentation
contraryAttribute
ChineseLanguage
"
contraryAttribute
是一组
Attribute
,而某一件事物不能同时拥有超过一种这个组里的
Attribute
s。 举例说: (
contraryAttribute
Pliable
Rigid
) 指的是没有一件东西是既
Pliable
又
Rigid
的。")
chinese_format.kif 1504-1506
(
documentation
contraryAttribute
EnglishLanguage
"A
contraryAttribute
is a set of
Attribute
s such that something can not simultaneously have more than one of these
Attribute
s. For example, (
contraryAttribute
Pliable
Rigid
) means that nothing can be both
Pliable
and
Rigid
.")
Merge.kif 459-462
(
documentation
contraryAttribute
JapaneseLanguage
"
contraryAttribute
は
Attribute
s の セットで、これらの複数の
Attribute
s を同時に持つことができない。 例えば、(
contraryAttribute
Pliable
Rigid
) とは、
Pliable
と
Rigid
の両方が同時に存在できない、という意味である。")
japanese_format.kif 68-70
(
documentation
contraryAttribute
SpanishLanguage
"Un
contraryAttribute
es un conjunto de
Attribute
s de tal manera que algo no puede tener más de uno de estos
Attribute
s simultáneamente. Por ejemplo, (
contraryAttribute
Pliable
Rigid
) significa que nada puede ser ambos
Pliable
y
Rigid
.")
spanish_format.kif 78-81
(
domain
contraryAttribute
1
Attribute
)
Merge.kif 457-457
The number 1 argument of
contrary attribute
is an
instance
of
attribute
(
instance
contraryAttribute
Predicate
)
Merge.kif 455-455
contrary attribute
is an
instance
of
predicate
(
instance
contraryAttribute
VariableArityRelation
)
Merge.kif 456-456
contrary attribute
is an
instance
of
variable arity relation
appearance as argument number 2
(
format
ChineseLanguage
contraryAttribute
"%1 %n 是 %2 的相反")
chinese_format.kif 283-283
(
format
EnglishLanguage
contraryAttribute
"%1 is %n the opposite of %2")
english_format.kif 288-288
(
format
FrenchLanguage
contraryAttribute
"%1 est %n l'oppos� de %2")
french_format.kif 164-164
(
format
ItalianLanguage
contraryAttribute
"%1 è %n opposto a %2")
relations-it.txt 58-58
(
format
JapaneseLanguage
contraryAttribute
"%1 は %2 の
disjoint
では %n")
japanese_format.kif 1984-1984
(
format
PortugueseLanguage
contraryAttribute
"%1 e' %n &o oposto de %2")
portuguese_format.kif 116-116
(
format
de
contraryAttribute
"%1 wird %2 entgegengesetzet %n{nicht}")
relations-de.txt 367-367
(
format
hi
contraryAttribute
"%1 %2 ke vipariita %n hai")
relations-hindi.txt 99-99
(
format
ro
contraryAttribute
"%1 %n{nu} este opposed%t{opus} lui %2")
relations-ro.kif 184-184
(
format
sv
contraryAttribute
"%1 är %n{inte} emot %2")
relations-sv.txt 171-171
(
format
tg
contraryAttribute
"%1 %n ay sinaalungat sa %2")
relations-cb.txt 92-92
(
termFormat
ChineseLanguage
contraryAttribute
"相反属性")
chinese_format.kif 284-284
(
termFormat
ChineseLanguage
contraryAttribute
"相反的属性")
domainEnglishFormat.kif 17010-17010
(
termFormat
ChineseTraditionalLanguage
contraryAttribute
"相反的屬性")
domainEnglishFormat.kif 17009-17009
(
termFormat
EnglishLanguage
contraryAttribute
"contrary attribute")
domainEnglishFormat.kif 17008-17008
(
termFormat
de
contraryAttribute
"kontraeresAttribut")
terms-de.txt 114-114
(
termFormat
tg
contraryAttribute
"sinaalungat katangian")
relations-tg.txt 133-133
antecedent
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
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
(=>
(
and
(
contraryAttribute
@ROW1)
(
identicalListItems
(
ListFn
@ROW1)
(
ListFn
@ROW2)))
(
contraryAttribute
@ROW2))
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
(=>
(
and
(
instance
?A
Animal
)
(
instance
?P
(
BodySideFn
?S ?BPC))
(
contraryAttribute
?S ?SO)
(
attribute
?A
Healthy
))
(
exists
(?PO)
(
and
(
instance
?PO
(
BodySideFn
?SO ?BPC))
(
orientation
?P ?PO ?S))))
Merge.kif 14979-14990
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
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
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
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16921-16929
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
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
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
(=>
(
and
(
contraryAttribute
@ROW1)
(
identicalListItems
(
ListFn
@ROW1)
(
ListFn
@ROW2)))
(
contraryAttribute
@ROW2))
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
(=>
(
oppositeDirection
?DIR1 ?DIR2)
(
contraryAttribute
?DIR1 ?DIR2))
Mid-level-ontology.kif 18143-18145
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
(
contraryAttribute
Above
Below
)
Merge.kif 17073-17073
Above
is the
opposite
of
below
(
contraryAttribute
AccountDeactivated
AccountActive
)
ComputingBrands.kif 4475-4475
Account deactivated
is the
opposite
of
account active
(
contraryAttribute
AcidicPH
BasicPH
)
Food.kif 2803-2803
Acidic pH
is the
opposite
of
basic pH
(
contraryAttribute
AppraisalAsBeingDisliked
AppraisalAsBeingLiked
)
emotion.kif 522-522
Appraisal as being disliked
is the
opposite
of
appraisal as being liked
(
contraryAttribute
Audible
Inaudible
)
Merge.kif 13607-13607
Audible
is the
opposite
of
inaudible
(
contraryAttribute
AuthoritarianRegime
MultipartyDemocracy
)
Government.kif 336-336
Authoritarian regime
is the
opposite
of
multiparty democracy
(
contraryAttribute
BroadGauge
StandardGauge
NarrowGauge
DualGauge
)
Transportation.kif 391-391
Broad gauge
is the
opposite
of
standard gauge
(
contraryAttribute
Civilian
MilitaryPerson
)
Mid-level-ontology.kif 22232-22232
Civilian
is the
opposite
of
military person
(
contraryAttribute
Clockwise
CounterClockwise
)
Cars.kif 4960-4960
Clockwise
is the
opposite
of
counter-clockwise
(
contraryAttribute
Conductivity
Resistivity
)
engineering.kif 675-675
Conductivity
is the
opposite
of
resistivity
(
contraryAttribute
Conscious
Unconscious
)
Medicine.kif 435-435
Conscious
is the
opposite
of
unconscious
(
contraryAttribute
ContainerFull
ContainerEmpty
)
Mid-level-ontology.kif 1638-1638
Container full
is the
opposite
of
container empty
(
contraryAttribute
Dead
Living
)
Merge.kif 18093-18093
Dead
is the
opposite
of
living
(
contraryAttribute
DeviceDamaged
DeviceNormal
)
Mid-level-ontology.kif 29438-29438
Device damaged
is the
opposite
of
device normal
(
contraryAttribute
DeviceOn
DeviceOff
)
ComputingBrands.kif 3644-3644
Device on
is the
opposite
of
device off
(
contraryAttribute
DeviceOpen
DeviceClosed
)
ComputingBrands.kif 3645-3645
Device open
is the
opposite
of
device closed
(
contraryAttribute
Dirty
Clean
)
Mid-level-ontology.kif 25572-25572
Dirty
is the
opposite
of
clean
(
contraryAttribute
Drugged
Sober
)
Mid-level-ontology.kif 8656-8656
Drugged
is the
opposite
of
sober
(
contraryAttribute
Dry
Damp
)
Merge.kif 17991-17991
Dry
is the
opposite
of
damp
(
contraryAttribute
Embryonic
Larval
)
Merge.kif 18190-18190
Embryonic
is the
opposite
of
larval
(
contraryAttribute
False
True
)
Merge.kif 16985-16985
False
is the
opposite
of
true
(
contraryAttribute
FederalGovernment
AuthoritarianRegime
)
Government.kif 285-285
Federal government
is the
opposite
of
authoritarian regime
(
contraryAttribute
FederalGovernment
UnitaryRule
)
Government.kif 284-284
Federal government
is the
opposite
of
unitary rule
(
contraryAttribute
FeelingAlert
FeelingTired
)
emotion.kif 1849-1849
Feeling alert
is the
opposite
of
feeling tired
(
contraryAttribute
FeelingAtEase
FeelingRestless
)
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