|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | The day 7 is a date established of european union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3265-3265 | The day 16 is a date established of food and agriculture organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3335-3335 | The day 22 is a date established of group of11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3351-3351 | The day 1 is a date established of group of24 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3284-3284 | The day 22 is a date established of group of5 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3291-3291 | The day 22 is a date established of group of6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3301-3301 | The day 22 is a date established of group of7 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3361-3361 | The day 15 is a date established of group of77 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3367-3367 | The day 25 is a date established of gulf cooperation council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3376-3376 | The day 21 is a date established of indian ocean commission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3385-3385 | The day 8 is a date established of inter american development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3394-3394 | The day 21 is a date established of inter governmental authority on development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3407-3407 | The day 26 is a date established of international atomic energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3414-3414 | The day 22 is a date established of international bank for reconstruction and development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3429-3429 | The day 7 is a date established of international civil aviation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3437-3437 | The day 17 is a date established of international committee of the red cross |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | The day 3 is a date established of international court of justice |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | The day 13 is a date established of international criminal police organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4214-4214 | The day 8 is a date established of international criminal tribunal for rwanda |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4207-4207 | The day 25 is a date established of international criminal tribunal for the former yugoslavia |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3489-3489 | The day 26 is a date established of international development association |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3496-3496 | The day 15 is a date established of international energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3508-3508 | The day 5 is a date established of international federation of red cross and red crescent societies |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3514-3514 | The day 25 is a date established of international finance corporation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | The day 28 is a date established of international labor organization |
| 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