contraryAttribute

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1760-1760 FeelingCalmFeelingNervous 的相反
No TPTP formula. May not be expressible in strict first order. emotion.kif 1821-1821 FeelingExhaustedFeelingEnergetic 的相反
No TPTP formula. May not be expressible in strict first order. emotion.kif 1835-1835 FeelingGoodFeelingBad 的相反
No TPTP formula. May not be expressible in strict first order. emotion.kif 1790-1790 FeelingInControlFeelingOutOfControl 的相反
No TPTP formula. May not be expressible in strict first order. emotion.kif 1767-1767 FeelingNervousFeelingAtEase 的相反
No TPTP formula. May not be expressible in strict first order. emotion.kif 1775-1775 FeelingRestlessFeelingCalm 的相反
No TPTP formula. May not be expressible in strict first order. emotion.kif 1806-1806 FeelingStrongFeelingWeak 的相反
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_ActiveStateGUE_PassiveState 的相反
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2187-2187 GUE_CoveredStateGUE_SelectedState 的相反
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2115-2115 GUE_CoveredStateGUE_UncoveredState 的相反
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2055-2055 GUE_MaximizedWindowStateGUE_MinimizedState 的相反
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2056-2056 GUE_MaximizedWindowStateGUE_OffscreenState 的相反
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2042-2042 GUE_MinimizedStateGUE_ActiveState 的相反
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2017-2017 GUE_NonVisibleStateGUE_DisplayedState 的相反
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2069-2069 GUE_VerticallyMaximizedWindowStateGUE_MaximizedWindowState 的相反
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2070-2070 GUE_VerticallyMaximizedWindowStateGUE_MinimizedState 的相反
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2071-2071 GUE_VerticallyMaximizedWindowStateGUE_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 InhabitedUninhabited 的相反

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