|
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 113-115 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 637-640 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 459-460 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 185-186 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1312-1316 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 189-190 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 326-327 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 313-314 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1543-1543 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1647-1648 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 138-142 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2191-2193 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2252-2252 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1273-1275 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1420-1421 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1039-1041 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 635-636 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 364-365 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 651-652 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 451-452 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1643-1644 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1653-1653 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1341-1341 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1505-1507 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1765-1766 | |
| 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