|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 354-354 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 365-365 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 553-553 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 552-552 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 564-564 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 563-563 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 369-369 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 368-368 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 356-356 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 355-355 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 382-382 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 381-381 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 392-392 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 447-447 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 446-446 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 444-444 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 430-430 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 478-478 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 465-465 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 404-404 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 406-406 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 391-391 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 405-405 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 417-417 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 419-419 | |
| 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