Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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
(
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
(
domain
contraryAttribute
1
Attribute
)
Merge.kif 457-457
(
instance
contraryAttribute
Predicate
)
Merge.kif 455-455
(
instance
contraryAttribute
VariableArityRelation
)
Merge.kif 456-456
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
(
termFormat
ChineseLanguage
contraryAttribute
"相反属性")
chinese_format.kif 284-284
(
termFormat
ChineseLanguage
contraryAttribute
"相反的属性")
domainEnglishFormat.kif 16996-16996
(
termFormat
ChineseTraditionalLanguage
contraryAttribute
"相反的屬性")
domainEnglishFormat.kif 16995-16995
(
termFormat
EnglishLanguage
contraryAttribute
"contrary attribute")
domainEnglishFormat.kif 16994-16994
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
(=>
(
and
(
contraryAttribute
@ROW1)
(
identicalListItems
(
ListFn
@ROW1)
(
ListFn
@ROW2)))
(
contraryAttribute
@ROW2))
Merge.kif 470-474
(=>
(
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 14835-14846
(=>
(
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
(=>
(
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 16771-16779
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
consequent
(=>
(
and
(
contraryAttribute
@ROW1)
(
identicalListItems
(
ListFn
@ROW1)
(
ListFn
@ROW2)))
(
contraryAttribute
@ROW2))
Merge.kif 470-474
(=>
(
oppositeDirection
?DIR1 ?DIR2)
(
contraryAttribute
?DIR1 ?DIR2))
Mid-level-ontology.kif 17956-17958
appearance as argument number 0
(
contraryAttribute
Above
Below
)
Merge.kif 16924-16924
(
contraryAttribute
AccountDeactivated
AccountActive
)
ComputingBrands.kif 4473-4473
(
contraryAttribute
AcidicPH
BasicPH
)
Food.kif 746-746
(
contraryAttribute
AppraisalAsBeingDisliked
AppraisalAsBeingLiked
)
emotion.kif 522-522
(
contraryAttribute
Audible
Inaudible
)
Merge.kif 13466-13466
(
contraryAttribute
AuthoritarianRegime
MultipartyDemocracy
)
Government.kif 336-336
(
contraryAttribute
BroadGauge
StandardGauge
NarrowGauge
DualGauge
)
Transportation.kif 391-391
(
contraryAttribute
Civilian
MilitaryPerson
)
Mid-level-ontology.kif 22181-22181
(
contraryAttribute
Clockwise
CounterClockwise
)
Cars.kif 4960-4960
(
contraryAttribute
Conductivity
Resistivity
)
engineering.kif 672-672
(
contraryAttribute
ContainerFull
ContainerEmpty
)
Mid-level-ontology.kif 1605-1605
(
contraryAttribute
Dead
Living
)
Merge.kif 17935-17935
(
contraryAttribute
DeviceDamaged
DeviceNormal
)
Mid-level-ontology.kif 29354-29354
(
contraryAttribute
DeviceOn
DeviceOff
)
ComputingBrands.kif 3642-3642
(
contraryAttribute
DeviceOpen
DeviceClosed
)
ComputingBrands.kif 3643-3643
(
contraryAttribute
Dirty
Clean
)
Mid-level-ontology.kif 25481-25481
(
contraryAttribute
Drugged
Sober
)
Mid-level-ontology.kif 8616-8616
(
contraryAttribute
Dry
Damp
)
Merge.kif 17833-17833
(
contraryAttribute
Embryonic
Larval
)
Merge.kif 18028-18028
(
contraryAttribute
False
True
)
Merge.kif 16836-16836
(
contraryAttribute
FederalGovernment
AuthoritarianRegime
)
Government.kif 285-285
(
contraryAttribute
FederalGovernment
UnitaryRule
)
Government.kif 284-284
(
contraryAttribute
FeelingAlert
FeelingTired
)
emotion.kif 1849-1849
(
contraryAttribute
FeelingAtEase
FeelingRestless
)
emotion.kif 1782-1782
(
contraryAttribute
FeelingCalm
FeelingNervous
)
emotion.kif 1760-1760
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