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
域
相反的屬性
, 1 and
Attribute
(
instance
contraryAttribute
Predicate
)
Merge.kif 455-455
例
相反的屬性
and
Predicate
(
instance
contraryAttribute
VariableArityRelation
)
Merge.kif 456-456
例
相反的屬性
and
VariableArityRelation
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
相反的屬性
@ROW
等於
Attribute
and
清單順序
名單
@ROW and
PositiveInteger
等於
Attribute
and
清單順序
名單
@ROW and
PositiveInteger
等於
PositiveInteger
and
PositiveInteger
屬性
Entity
and
Attribute
屬性
Entity
and
Attribute
(=>
(
and
(
contraryAttribute
@ROW1)
(
identicalListItems
(
ListFn
@ROW1)
(
ListFn
@ROW2)))
(
contraryAttribute
@ROW2))
Merge.kif 470-474
相反的屬性
@ROW1
名單
@ROW2 是
名單
@ROW1 的
identical
清單項目
相反的屬性
@ROW2
(=>
(
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
例
Object
and
Animal
例
Object
and
BodySideFn
AntiSymmetricPositionalAttribute
and
BodyPart
相反的屬性
AntiSymmetricPositionalAttribute
and
AntiSymmetricPositionalAttribute
O
attribute
Object
and
Healthy
Object
O
例
Object
O and
BodySideFn
AntiSymmetricPositionalAttribute
O and
BodyPart
方位
Object
,
Object
O and
AntiSymmetricPositionalAttribute
(=>
(
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
例
TimeInterval
and
BringingGEToFront
患者
TimeInterval
and
Entity
例
Entity
and
InterfaceWindow
持有期間
開始
TimeInterval
and
Entity
有
state
Attribute
相反的屬性
Attribute
and
GUE_UncoveredState
持有期間
結束
TimeInterval
and
Entity
有
state
Attribute
(=>
(
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
方位
Object
,
Object
and
PositionalAttribute
相反的屬性
@ROW
在列表中
PositionalAttribute
and
名單
@ROW
在列表中
PositionalAttribute
and
名單
@ROW
等於
PositionalAttribute
and
PositionalAttribute
方位
Object
,
Object
and
PositionalAttribute
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
相反的屬性
@ROW
在列表中
Entity
and
名單
@ROW
例
Entity
and
Attribute
consequent
(=>
(
and
(
contraryAttribute
@ROW1)
(
identicalListItems
(
ListFn
@ROW1)
(
ListFn
@ROW2)))
(
contraryAttribute
@ROW2))
Merge.kif 470-474
相反的屬性
@ROW1
名單
@ROW2 是
名單
@ROW1 的
identical
清單項目
相反的屬性
@ROW2
(=>
(
oppositeDirection
?DIR1 ?DIR2)
(
contraryAttribute
?DIR1 ?DIR2))
Mid-level-ontology.kif 18143-18145
PositionalAttribute
是
PositionalAttribute
的
opposite
方向
相反的屬性
PositionalAttribute
and
PositionalAttribute
appearance as argument number 0
(
contraryAttribute
Above
Below
)
Merge.kif 17073-17073
相反的屬性
以上
and
下面
(
contraryAttribute
AccountDeactivated
AccountActive
)
ComputingBrands.kif 4475-4475
相反的屬性
AccountDeactivated
and
AccountActive
(
contraryAttribute
AcidicPH
BasicPH
)
Food.kif 2803-2803
相反的屬性
AcidicPH
and
BasicPH
(
contraryAttribute
AppraisalAsBeingDisliked
AppraisalAsBeingLiked
)
emotion.kif 522-522
相反的屬性
AppraisalAsBeingDisliked
and
AppraisalAsBeingLiked
(
contraryAttribute
Audible
Inaudible
)
Merge.kif 13607-13607
相反的屬性
聽得見
and
Inaudible
(
contraryAttribute
AuthoritarianRegime
MultipartyDemocracy
)
Government.kif 336-336
相反的屬性
威權政權
and
多黨民主
(
contraryAttribute
BroadGauge
StandardGauge
NarrowGauge
DualGauge
)
Transportation.kif 391-391
相反的屬性
寬規
,
標準規
,
窄規
and
雙軌鐵路
(
contraryAttribute
Civilian
MilitaryPerson
)
Mid-level-ontology.kif 22232-22232
相反的屬性
平民
and
軍人
(
contraryAttribute
Clockwise
CounterClockwise
)
Cars.kif 4960-4960
相反的屬性
Clockwise
and
CounterClockwise
(
contraryAttribute
Conductivity
Resistivity
)
engineering.kif 675-675
相反的屬性
電導率
and
抵抗力
(
contraryAttribute
Conscious
Unconscious
)
Medicine.kif 435-435
相反的屬性
Conscious
and
Unconscious
(
contraryAttribute
ContainerFull
ContainerEmpty
)
Mid-level-ontology.kif 1638-1638
相反的屬性
容器滿了
and
空容器
(
contraryAttribute
Dead
Living
)
Merge.kif 18093-18093
相反的屬性
死
and
活的
(
contraryAttribute
DeviceDamaged
DeviceNormal
)
Mid-level-ontology.kif 29438-29438
相反的屬性
DeviceDamaged
and
DeviceNormal
(
contraryAttribute
DeviceOn
DeviceOff
)
ComputingBrands.kif 3644-3644
相反的屬性
設備上
and
設備關閉
(
contraryAttribute
DeviceOpen
DeviceClosed
)
ComputingBrands.kif 3645-3645
相反的屬性
設備打開
and
設備關閉
(
contraryAttribute
Dirty
Clean
)
Mid-level-ontology.kif 25572-25572
相反的屬性
Dirty
and
Clean
(
contraryAttribute
Drugged
Sober
)
Mid-level-ontology.kif 8656-8656
相反的屬性
下藥
and
清醒
(
contraryAttribute
Dry
Damp
)
Merge.kif 17991-17991
相反的屬性
乾
and
潮濕
(
contraryAttribute
Embryonic
Larval
)
Merge.kif 18190-18190
相反的屬性
胚胎
and
幼蟲
(
contraryAttribute
False
True
)
Merge.kif 16985-16985
相反的屬性
假
and
真正
(
contraryAttribute
FederalGovernment
AuthoritarianRegime
)
Government.kif 285-285
相反的屬性
聯邦政府
and
威權政權
(
contraryAttribute
FederalGovernment
UnitaryRule
)
Government.kif 284-284
相反的屬性
聯邦政府
and
統一規則
(
contraryAttribute
FeelingAlert
FeelingTired
)
emotion.kif 1849-1849
相反的屬性
FeelingAlert
and
FeelingTired
(
contraryAttribute
FeelingAtEase
FeelingRestless
)
emotion.kif 1782-1782
相反的屬性
FeelingAtEase
and
FeelingRestless
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