|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 561-561 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 559-559 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 562-562 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 517-517 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 516-516 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 518-518 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 480-480 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 479-479 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 467-467 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 466-466 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 464-464 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 431-431 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 443-443 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 548-548 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 547-547 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 549-549 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 421-421 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 420-420 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 408-408 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 407-407 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 395-395 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 394-394 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 367-367 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 378-378 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 352-352 | |
| 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