|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 659-659 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 669-669 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 642-642 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 640-640 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 641-641 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 652-652 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 650-650 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 651-651 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 662-662 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 660-660 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 661-661 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 670-670 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 537-537 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 536-536 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 538-538 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 476-476 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 461-461 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 463-463 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 530-530 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 529-529 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 393-393 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 490-490 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 489-489 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 445-445 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 603-603 | |
| 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