|
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1895-1895 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2075-2075 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2107-2107 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2099-2099 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1985-1985 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1986-1986 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1987-1987 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2109-2109 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1896-1896 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1897-1897 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1988-1988 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1989-1989 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2035-2035 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2045-2045 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2047-2047 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2082-2082 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2066-2066 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2089-2089 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2085-2085 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1990-1990 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1991-1991 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1898-1898 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1952-1952 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1953-1953 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1899-1899 | |
| 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