contraryAttribute

-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 1760-1760 Feeling calm is the opposite of feeling nervous
No TPTP formula. May not be expressible in strict first order. emotion.kif 1821-1821 Feeling exhausted is the opposite of feeling energetic
No TPTP formula. May not be expressible in strict first order. emotion.kif 1835-1835 Feeling good is the opposite of feeling negative
No TPTP formula. May not be expressible in strict first order. emotion.kif 1790-1790 Feeling in control is the opposite of feeling out of control
No TPTP formula. May not be expressible in strict first order. emotion.kif 1767-1767 Feeling nervous is the opposite of feeling at ease
No TPTP formula. May not be expressible in strict first order. emotion.kif 1775-1775 Feeling restless is the opposite of feeling calm
No TPTP formula. May not be expressible in strict first order. emotion.kif 1806-1806 Feeling strong is the opposite of feeling weak
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18714-18714 Full time position is the opposite of part time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1840-1840 Functioning is the opposite of malfunctioning
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1961-1961 GUE active state is the opposite of GUE passive state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2187-2187 GUE covered state is the opposite of GUE selected state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2115-2115 GUE covered state is the opposite of GUE uncovered state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2055-2055 GUE maximized window state is the opposite of GUE minimized state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2056-2056 GUE maximized window state is the opposite of GUE offscreen state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2042-2042 GUE minimized state is the opposite of GUE active state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2017-2017 GUE non visible state is the opposite of GUE displayed state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2069-2069 GUE vertically maximized window state is the opposite of GUE maximized window state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2070-2070 GUE vertically maximized window state is the opposite of GUE minimized state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2071-2071 GUE vertically maximized window state is the opposite of GUE offscreen state
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1836-1836 High liquidity is the opposite of low liquidity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1856-1856 High risk is the opposite of low risk
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1874-1874 High yield is the opposite of low yield
No TPTP formula. May not be expressible in strict first order. Merge.kif 17041-17041 Horizontal is the opposite of vertical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13841-13841 Illegal is the opposite of legal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30115-30115 Inhabited is the opposite of uninhabited

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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