|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16339-16339 | 不相交的 變得醉了 and 清醒來 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16289-16289 | 不相交的 開始運營 and 停止運營 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 107-107 | 不相交的 生化武器 and 放射性武器 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14562-14562 | 不相交的 Bird and Mammal |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1189-1189 | 不相交的 BluRayDisc and CompactDisc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1190-1190 | 不相交的 BluRayDisc and DVD |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1180-1180 | 不相交的 CDR and CDROM |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14612-14612 | 不相交的 Canine and Feline |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1084-1084 | 不相交的 頂點 and 拱心石 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17483-17483 | 不相交的 離心運動 and 向心運動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1026-1026 | 不相交的 主席出版物 and 聯合作戰準則 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1393-1393 | 不相交的 CharacterKeyPress and SpecialCharacterPress |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8722-8722 | 不相交的 化學酸 and 化學基地 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 447-447 | 不相交的 化學劑 and OrganicObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19561-19561 | 不相交的 化學還原 and 氧化 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15901-15901 | 不相交的 Clothing and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1262-1262 | 不相交的 Collection and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3217-3217 | 不相交的 共同載體 and 合同承運人 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2009-2009 | 不相交的 ComplexNumber and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 146-146 | 不相交的 ComputerDisplay and 打印機 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 243-243 | 不相交的 ComputerKeyboardKey and LeftCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 242-242 | 不相交的 ComputerKeyboardKey and MiddleCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 244-244 | 不相交的 ComputerKeyboardKey and MouseButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 241-241 | 不相交的 ComputerKeyboardKey and RightCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 367-367 | 不相交的 ComputerKeyboardKey and TouchpadKey |
| 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