|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 951-951 | 不相交的 ComputerMenu and ScrollBar |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 398-398 | 不相交的 ComputerMouse and ComputerKeyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 435-435 | 不相交的 ComputerScreen and ComputerTouchpad |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6952-6952 | 不相交的 公寓大樓 and 單身家庭住所 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 354-354 | 不相交的 ControlKey and FunctionKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 353-353 | 不相交的 ControlKey and ShiftKey |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1014-1014 | 不相交的 企業帳戶 and 個人賬戶 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1227-1227 | 不相交的 CorpuscularObject and Substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5675-5675 | 不相交的 溪 and 河 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1082-1082 | 不相交的 Cursor and InterfaceWindow |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12271-12271 | 不相交的 Damaging and Repairing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8860-8860 | 不相交的 一天的時間 and 晚上的時間 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6389-6389 | 不相交的 DeciduousTree and EvergreenTree |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12710-12710 | 不相交的 Decoding and Encoding |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 427-427 | 不相交的 存款 and 退出 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2298-2298 | 不相交的 排水型船體水車 and 滑行船體水車 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20018-20018 | 不相交的 家畜 and Human |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6980-6980 | 不相交的 宿舍 and 單身家庭住所 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 316-316 | 不相交的 DownArrowKey and LeftArrowKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 315-315 | 不相交的 DownArrowKey and RightArrowKey |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18235-18235 | 不相交的 做夢 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 508-508 | 不相交的 Earphone and Loudspeaker |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3526-3526 | 不相交的 過期的卡 and 有效卡 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 745-745 | 不相交的 ExternalDiskDrive and InternalHardDisk |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1535-1535 | 不相交的 FHA貸款 and 傳統抵押貸款 |
| 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