Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  contraryAttribute

Sigma KEE - contraryAttribute
contraryAttribute

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 459-462
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 457-457 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 455-455 contrary attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 456-456 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 17010-17010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17009-17009
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17008-17008
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 476-484
No TPTP formula. May not be expressible in strict first order. Merge.kif 470-474
No TPTP formula. May not be expressible in strict first order. Merge.kif 14979-14990
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2332-2343
No TPTP formula. May not be expressible in strict first order. Merge.kif 16921-16929
No TPTP formula. May not be expressible in strict first order. Merge.kif 464-468

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 470-474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18143-18145

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17073-17073 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. 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 13607-13607 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 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 22232-22232 Civilian is the opposite of military person
No TPTP formula. May not be expressible in strict first order. Cars.kif 4960-4960 Clockwise is the opposite of counter-clockwise
No TPTP formula. May not be expressible in strict first order. engineering.kif 675-675 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 1638-1638 Container full is the opposite of container empty
No TPTP formula. May not be expressible in strict first order. Merge.kif 18093-18093 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29438-29438 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 25572-25572 Dirty is the opposite of clean
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8656-8656 Drugged is the opposite of sober
No TPTP formula. May not be expressible in strict first order. Merge.kif 17991-17991 Dry is the opposite of damp
No TPTP formula. May not be expressible in strict first order. Merge.kif 18190-18190 Embryonic is the opposite of larval
No TPTP formula. May not be expressible in strict first order. Merge.kif 16985-16985 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
No TPTP formula. May not be expressible in strict first order. Government.kif 284-284 Federal government is the opposite of unitary rule
No TPTP formula. May not be expressible in strict first order. emotion.kif 1849-1849 Feeling alert is the opposite of feeling tired
No TPTP formula. May not be expressible in strict first order. emotion.kif 1782-1782 Feeling at ease is the opposite of feeling restless

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