|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1760-1760 | 相反的屬性 FeelingCalm and FeelingNervous |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1821-1821 | 相反的屬性 FeelingExhausted and FeelingEnergetic |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1835-1835 | 相反的屬性 FeelingGood and FeelingBad |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1790-1790 | 相反的屬性 FeelingInControl and FeelingOutOfControl |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1767-1767 | 相反的屬性 FeelingNervous and FeelingAtEase |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1775-1775 | 相反的屬性 FeelingRestless and FeelingCalm |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1806-1806 | 相反的屬性 FeelingStrong and FeelingWeak |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18714-18714 | 相反的屬性 全職職位 and 兼職職位 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1840-1840 | 相反的屬性 功能 and 故障 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1961-1961 | 相反的屬性 GUE_ActiveState and GUE_PassiveState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2187-2187 | 相反的屬性 GUE_CoveredState and GUE_SelectedState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2115-2115 | 相反的屬性 GUE_CoveredState, GUE_UncoveredState and GUE_PartiallyCoveredState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2055-2055 | 相反的屬性 GUE_MaximizedWindowState and GUE_MinimizedState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2056-2056 | 相反的屬性 GUE_MaximizedWindowState and GUE_OffscreenState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2042-2042 | 相反的屬性 GUE_MinimizedState and GUE_ActiveState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2017-2017 | 相反的屬性 GUE_NonVisibleState and GUE_DisplayedState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2069-2069 | 相反的屬性 GUE_VerticallyMaximizedWindowState and GUE_MaximizedWindowState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2070-2070 | 相反的屬性 GUE_VerticallyMaximizedWindowState and GUE_MinimizedState |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2071-2071 | 相反的屬性 GUE_VerticallyMaximizedWindowState and GUE_OffscreenState |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1836-1836 | 相反的屬性 高流動性 and 流動性低 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1856-1856 | 相反的屬性 高風險 and 低風險 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1874-1874 | 相反的屬性 高產 and 產量低 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17041-17041 | 相反的屬性 橫 and 垂直 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13841-13841 | 相反的屬性 非法 and 合法 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30115-30115 | 相反的屬性 Inhabited and 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