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 452-455
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 450-450	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 448-448	contrary attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 449-449	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 17019-17019
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17018-17018
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17017-17017
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 469-477	If @ROW is the opposite of and equal an attribute and another entity element of (@ROW) and equal another attribute and a third entity element of (@ROW) and equal a positive integer and 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 463-467	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 15132-15143	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 17096-17104	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 equal the positional attribute and 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 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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19714-19716	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 17248-17248	Above is the opposite of below
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4470-4470	Account deactivated is the opposite of account active
No TPTP formula. May not be expressible in strict first order.	Food.kif 2810-2810	Acidic pH is the opposite of basic pH
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2500-2500	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 13761-13761	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 3240-3240	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 23873-23873	Civilian is the opposite of military person
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5021-5021	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 424-424	Conscious is the opposite of unconscious
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2101-2101	Container full is the opposite of container empty
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18279-18279	Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31357-31357	Device damaged is the opposite of device normal
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3639-3639	Device on is the opposite of device off
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3640-3640	Device open is the opposite of device closed
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27234-27234	Dirty is the opposite of clean
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29023-29023	Domestic is the opposite of international
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9862-9862	Drugged is the opposite of sober
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18177-18177	Dry is the opposite of damp
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18377-18377	Embryonic is the opposite of larval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17160-17160	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: