contraryAttribute |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1760-1760 | FeelingCalm 是 FeelingNervous 的相反 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1821-1821 | FeelingExhausted 是 FeelingEnergetic 的相反 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1835-1835 | FeelingGood 是 FeelingBad 的相反 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1790-1790 | FeelingInControl 是 FeelingOutOfControl 的相反 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1767-1767 | FeelingNervous 是 FeelingAtEase 的相反 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1775-1775 | FeelingRestless 是 FeelingCalm 的相反 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1806-1806 | FeelingStrong 是 FeelingWeak 的相反 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18714-18714 | 全职职位 是 兼职职位 的相反 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1840-1840 | 功能 是 故障 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1961-1961 | GUE_ActiveState 是 GUE_PassiveState 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2187-2187 | GUE_CoveredState 是 GUE_SelectedState 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2115-2115 | GUE_CoveredState 是 GUE_UncoveredState 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2055-2055 | GUE_MaximizedWindowState 是 GUE_MinimizedState 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2056-2056 | GUE_MaximizedWindowState 是 GUE_OffscreenState 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2042-2042 | GUE_MinimizedState 是 GUE_ActiveState 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2017-2017 | GUE_NonVisibleState 是 GUE_DisplayedState 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2069-2069 | GUE_VerticallyMaximizedWindowState 是 GUE_MaximizedWindowState 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2070-2070 | GUE_VerticallyMaximizedWindowState 是 GUE_MinimizedState 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2071-2071 | GUE_VerticallyMaximizedWindowState 是 GUE_OffscreenState 的相反 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1836-1836 | 高流动性 是 流动性低 的相反 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1856-1856 | 高风险 是 低风险 的相反 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1874-1874 | 高产 是 产量低 的相反 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17041-17041 | 横 是 垂直 的相反 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13841-13841 | 非法 是 合法 的相反 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30115-30115 | Inhabited 是 Uninhabited 的相反 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |