|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16339-16339 | 变得醉了 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16289-16289 | 开始运营 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 107-107 | 生化武器 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14562-14562 | 鸟 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1189-1189 | BluRayDisc 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1190-1190 | BluRayDisc 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1180-1180 | CDR 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14612-14612 | 犬 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1084-1084 | 顶点 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17483-17483 | 离心运动 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1026-1026 | 主席出版物 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1393-1393 | CharacterKeyPress 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8722-8722 | 化学酸 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 447-447 | 化学剂 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19561-19561 | 化学还原 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15901-15901 | 服装 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1262-1262 | 群体 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3217-3217 | 共同载体 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2009-2009 | 复数 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 146-146 | ComputerDisplay 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 243-243 | ComputerKeyboardKey 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 242-242 | ComputerKeyboardKey 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 244-244 | ComputerKeyboardKey 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 241-241 | ComputerKeyboardKey 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 367-367 | ComputerKeyboardKey 和 % 2 是 disjoint |
| 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