contraryAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation contraryAttribute ChineseLanguage "contraryAttribute 是一组 Attribute ，而某一件事物不能同时拥有超过一种这个组里的 Attributes。举例说： (contraryAttribute Pliable Rigid) 指的是没有一件东西是既 Pliable 又 Rigid 的。")	chinese_format.kif 1504-1506
(documentation contraryAttribute EnglishLanguage "A contraryAttribute is a set of Attributes such that something can not simultaneously have more than one of these Attributes. For example, (contraryAttribute Pliable Rigid) means that nothing can be both Pliable and Rigid.")	Merge.kif 459-462
(documentation contraryAttribute JapaneseLanguage "contraryAttribute は　Attributes のセットで、これらの複数の Attributes を同時に持つことができない。　例えば、(contraryAttribute Pliable Rigid) とは、Pliable と Rigid の両方が同時に存在できない、という意味である。")	japanese_format.kif 68-70
(documentation contraryAttribute SpanishLanguage "Un contraryAttribute es un conjunto de Attributes de tal manera que algo no puede tener más de uno de estos Attributes 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 17026-17026
(termFormat ChineseTraditionalLanguage contraryAttribute "相反的屬性")	domainEnglishFormat.kif 17025-17025
(termFormat EnglishLanguage contraryAttribute "contrary attribute")	domainEnglishFormat.kif 17024-17024
(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 15025-15036	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 attributeO and healthy is an attribute of the object, then there exists the other objectO such that the other objectO is an instance of the the anti-symmetric positional attributeO a kind of body part and the other object is the anti-symmetric positional attribute to the other objectO
(=> (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 16992-17000	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 18401-18403	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 17144-17144	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 Ally Enemy)	MilitaryProcesses.kif 2519-2519	Ally is the opposite of enemy
(contraryAttribute AppraisalAsBeingDisliked AppraisalAsBeingLiked)	emotion.kif 522-522	Appraisal as being disliked is the opposite of appraisal as being liked
(contraryAttribute Audible Inaudible)	Merge.kif 13653-13653	Audible is the opposite of inaudible
(contraryAttribute AuthoritarianRegime MultipartyDemocracy)	Government.kif 336-336	Authoritarian regime is the opposite of multiparty democracy
(contraryAttribute BiDirectionalTraffic UniDirectionalTraffic)	Transportation.kif 3231-3231	Bidirectional traffic is the opposite of unidirectional traffic
(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge)	Transportation.kif 391-391	Broad gauge is the opposite of standard gauge
(contraryAttribute Civilian MilitaryPerson)	Mid-level-ontology.kif 22515-22515	Civilian is the opposite of military person
(contraryAttribute Clockwise CounterClockwise)	Cars.kif 4945-4945	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 1631-1631	Container full is the opposite of container empty
(contraryAttribute Dead Living)	Merge.kif 18172-18172	Dead is the opposite of living
(contraryAttribute DeviceDamaged DeviceNormal)	Mid-level-ontology.kif 29722-29722	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 25860-25860	Dirty is the opposite of clean
(contraryAttribute Domestic International)	Mid-level-ontology.kif 27388-27388	Domestic is the opposite of international
(contraryAttribute Drugged Sober)	Mid-level-ontology.kif 8874-8874	Drugged is the opposite of sober
(contraryAttribute Dry Damp)	Merge.kif 18070-18070	Dry is the opposite of damp
(contraryAttribute Embryonic Larval)	Merge.kif 18269-18269	Embryonic is the opposite of larval
(contraryAttribute False True)	Merge.kif 17056-17056	False is the opposite of true
(contraryAttribute FederalGovernment AuthoritarianRegime)	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: