|
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2053-2053 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2067-2067 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2127-2127 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2128-2128 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2054-2054 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1983-1983 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2059-2059 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1669-1669 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2104-2104 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1875-1875 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2103-2103 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2163-2163 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1876-1876 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1877-1877 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1878-1878 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2081-2081 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2040-2040 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2041-2041 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1879-1879 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1880-1880 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1881-1881 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2015-2015 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1882-1882 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1883-1883 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1560-1560 | |
| 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