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 452-455
(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 450-450	The number 1 argument of contrary attribute is an instance of attribute
(instance contraryAttribute Predicate)	Merge.kif 448-448	contrary attribute is an instance of predicate
(instance contraryAttribute VariableArityRelation)	Merge.kif 449-449	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 17021-17021
(termFormat ChineseTraditionalLanguage contraryAttribute "相反的屬性")	domainEnglishFormat.kif 17020-17020
(termFormat EnglishLanguage contraryAttribute "contrary attribute")	domainEnglishFormat.kif 17019-17019
(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 469-477	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 463-467	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 15026-15037	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 16990-16998	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 457-461	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 463-467	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 18466-18468	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 17142-17142	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 2499-2499	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 13655-13655	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 3237-3237	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 22580-22580	Civilian is the opposite of military person
(contraryAttribute Clockwise CounterClockwise)	Cars.kif 5021-5021	Clockwise is the opposite of counter_clockwise
(contraryAttribute Conductivity Resistivity)	engineering.kif 674-674	Conductivity is the opposite of resistivity
(contraryAttribute Conscious Unconscious)	Medicine.kif 423-423	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 18170-18170	Dead is the opposite of living
(contraryAttribute DeviceDamaged DeviceNormal)	Mid-level-ontology.kif 29787-29787	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 25925-25925	Dirty is the opposite of clean
(contraryAttribute Domestic International)	Mid-level-ontology.kif 27453-27453	Domestic is the opposite of international
(contraryAttribute Drugged Sober)	Mid-level-ontology.kif 8907-8907	Drugged is the opposite of sober
(contraryAttribute Dry Damp)	Merge.kif 18068-18068	Dry is the opposite of damp
(contraryAttribute Embryonic Larval)	Merge.kif 18267-18267	Embryonic is the opposite of larval
(contraryAttribute False True)	Merge.kif 17054-17054	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: