|
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1805-1806 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1308-1308 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1107-1109 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1056-1058 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2490-2497 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1777-1778 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1548-1548 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1286-1286 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1488-1492 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1654-1654 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1512-1512 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1547-1547 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1747-1748 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 894-895 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1174-1177 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1736-1738 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2515-2516 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1661-1662 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1000-1002 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1793-1794 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 884-887 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1659-1660 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1836-1837 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 302-303 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2905-2907 | |
| 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