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. 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 291-291
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 16942-16942
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16941-16941
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16940-16940

antecedent
-------------------------


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. ComputerInput.kif 2347-2358
No TPTP formula. May not be expressible in strict first order. Merge.kif 15776-15784
No TPTP formula. May not be expressible in strict first order. Merge.kif 464-468
No TPTP formula. May not be expressible in strict first order. Merge.kif 476-486

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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15923-15923 Above is the opposite of below
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4395-4395 Account deactivated is the opposite of account active
No TPTP formula. May not be expressible in strict first order. Food.kif 761-761 AcidicPH is the opposite of BasicPH
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 12621-12621 Audible is the opposite of Inaudible
No TPTP formula. May not be expressible in strict first order. Government.kif 324-324 Authoritarian regime is the opposite of multiparty democracy
No TPTP formula. May not be expressible in strict first order. Transportation.kif 388-388 Broad gauge is the opposite of standard gauge
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20103-20103 Civilian is the opposite of military person
No TPTP formula. May not be expressible in strict first order. Cars.kif 4941-4941 Clockwise is the opposite of counter-clockwise
No TPTP formula. May not be expressible in strict first order. engineering.kif 672-672 Conductivity is the opposite of resistivity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2048-2048 Container full is the opposite of container empty
No TPTP formula. May not be expressible in strict first order. Merge.kif 16815-16815 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27624-27624 DeviceDamaged is the opposite of DeviceNormal
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3628-3628 Device on is the opposite of device off
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3629-3629 Device open is the opposite of device closed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23528-23528 Dirty is the opposite of clean
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8319-8319 Drugged is the opposite of sober
No TPTP formula. May not be expressible in strict first order. Merge.kif 16713-16713 Dry is the opposite of damp
No TPTP formula. May not be expressible in strict first order. Merge.kif 16908-16908 Embryonic is the opposite of larval
No TPTP formula. May not be expressible in strict first order. Merge.kif 15835-15835 False is the opposite of true
No TPTP formula. May not be expressible in strict first order. Government.kif 273-273 Federal government is the opposite of authoritarian regime
No TPTP formula. May not be expressible in strict first order. Government.kif 272-272 Federal government is the opposite of unitary rule
No TPTP formula. May not be expressible in strict first order. emotion.kif 1812-1812 Feeling alert is the opposite of feeling tired
No TPTP formula. May not be expressible in strict first order. emotion.kif 1745-1745 Feeling at ease is the opposite of feeling restless
No TPTP formula. May not be expressible in strict first order. emotion.kif 1723-1723 Feeling calm is the opposite of feeling nervous

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