|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 528-528 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 277-277 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 297-297 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 318-318 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 507-507 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 381-381 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 424-424 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 467-467 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 446-446 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 339-339 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 257-257 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 402-402 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 360-360 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 485-485 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2762-2764 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1214-1218 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1261-1264 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1308-1312 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1351-1360 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2860-2860 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2825-2831 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1442-1448 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1120-1120 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1087-1087 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1098-1098 | |
| 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