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 |