|
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1658-1658 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1838-1839 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1697-1699 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 191-192 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1295-1297 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 178-181 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3106-3106 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1422-1423 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1042-1044 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 270-272 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 118-119 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 481-482 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1337-1338 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1336-1336 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 357-357 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1518-1519 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1520-1521 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 896-897 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 324-325 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1325-1327 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1830-1831 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1246-1248 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1537-1537 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2798-2800 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1613-1615 | |
| 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