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 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 463-467
No TPTP formula. May not be expressible in strict first order. Merge.kif 15132-15143
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 17096-17104
No TPTP formula. May not be expressible in strict first order. Merge.kif 457-461

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 463-467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19714-19716

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 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