|
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 212-215 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 641-644 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 969-971 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 366-367 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1078-1080 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 197-201 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3164-3165 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 253-254 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2592-2593 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2715-2716 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2564-2565 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1728-1729 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2686-2687 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 379-390 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 257-261 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2374-2379 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 225-228 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 220-222 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 223-224 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 649-650 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2657-2658 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1749-1750 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 206-207 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 892-893 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1241-1242 | |
| 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