contraryAttribute - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1504-1506
No TPTP formula. May not be expressible in strict first order.	Merge.kif 458-461
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 68-70
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 78-81
No TPTP formula. May not be expressible in strict first order.	Merge.kif 456-456	The number 1 argument of contrary attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 454-454	contrary attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 455-455	contrary attribute is an instance of variable arity relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 283-283
No TPTP formula. May not be expressible in strict first order.	english_format.kif 288-288
No TPTP formula. May not be expressible in strict first order.	french_format.kif 164-164
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 58-58
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1984-1984
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 116-116
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 367-367
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 99-99
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 184-184
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 171-171
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 92-92
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 284-284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17021-17021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17020-17020
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17019-17019
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 114-114
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 133-133

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 475-483	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 469-473	If @ROW1 is the opposite of and (@ROW2) is an identical list items of (@ROW1), then @ROW2 is the opposite of
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15038-15049	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17002-17010	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 463-467	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 469-473	If @ROW1 is the opposite of and (@ROW2) is an identical list items of (@ROW1), then @ROW2 is the opposite of
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18433-18435	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17154-17154	Above is the opposite of below
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4475-4475	Account deactivated is the opposite of account active
No TPTP formula. May not be expressible in strict first order.	Food.kif 2803-2803	Acidic pH is the opposite of basic pH
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2519-2519	Ally is the opposite of enemy
No TPTP formula. May not be expressible in strict first order.	emotion.kif 522-522	Appraisal as being disliked is the opposite of appraisal as being liked
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13667-13667	Audible is the opposite of inaudible
No TPTP formula. May not be expressible in strict first order.	Government.kif 336-336	Authoritarian regime is the opposite of multiparty democracy
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3237-3237	Bidirectional traffic is the opposite of unidirectional traffic
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 391-391	Broad gauge is the opposite of standard gauge
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22547-22547	Civilian is the opposite of military person
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5020-5020	Clockwise is the opposite of counter-clockwise
No TPTP formula. May not be expressible in strict first order.	engineering.kif 674-674	Conductivity is the opposite of resistivity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 435-435	Conscious is the opposite of unconscious
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1631-1631	Container full is the opposite of container empty
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18182-18182	Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29754-29754	Device damaged is the opposite of device normal
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3644-3644	Device on is the opposite of device off
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3645-3645	Device open is the opposite of device closed
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25892-25892	Dirty is the opposite of clean
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27420-27420	Domestic is the opposite of international
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8874-8874	Drugged is the opposite of sober
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18080-18080	Dry is the opposite of damp
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18279-18279	Embryonic is the opposite of larval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17066-17066	False is the opposite of true
No TPTP formula. May not be expressible in strict first order.	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: