|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1760-1760 | FeelingCalm e' &o oposto de FeelingNervous |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1821-1821 | FeelingExhausted e' &o oposto de FeelingEnergetic |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1835-1835 | FeelingGood e' &o oposto de FeelingBad |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1790-1790 | FeelingInControl e' &o oposto de FeelingOutOfControl |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1767-1767 | FeelingNervous e' &o oposto de FeelingAtEase |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1775-1775 | FeelingRestless e' &o oposto de FeelingCalm |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1806-1806 | FeelingStrong e' &o oposto de FeelingWeak |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18713-18713 | FullTimePosition e' &o oposto de PartTimePosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1840-1840 | Functioning e' &o oposto de Malfunctioning |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1961-1961 | GUE_ActiveState e' &o oposto de GUE_PassiveState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2187-2187 | GUE_CoveredState e' &o oposto de GUE_SelectedState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2115-2115 | GUE_CoveredState e' &o oposto de GUE_UncoveredState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2055-2055 | GUE_MaximizedWindowState e' &o oposto de GUE_MinimizedState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2056-2056 | GUE_MaximizedWindowState e' &o oposto de GUE_OffscreenState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2042-2042 | GUE_MinimizedState e' &o oposto de GUE_ActiveState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2017-2017 | GUE_NonVisibleState e' &o oposto de GUE_DisplayedState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2069-2069 | GUE_VerticallyMaximizedWindowState e' &o oposto de GUE_MaximizedWindowState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2070-2070 | GUE_VerticallyMaximizedWindowState e' &o oposto de GUE_MinimizedState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2071-2071 | GUE_VerticallyMaximizedWindowState e' &o oposto de GUE_OffscreenState |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1836-1836 | HighLiquidity e' &o oposto de LowLiquidity |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1856-1856 | HighRisk e' &o oposto de LowRisk |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1874-1874 | HighYield e' &o oposto de LowYield |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17063-17063 | Horizontal e' &o oposto de Vertical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13840-13840 | Illegal e' &o oposto de Legal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30103-30103 | Inhabited e' &o oposto de 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