|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3146-3146 | The month January is a date established of economic cooperation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3157-3157 | The day 8 is a date established of euro atlantic partnership council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | The day 15 is a date established of european bank for reconstruction and development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3176-3176 | The day 8 is a date established of european community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3183-3183 | The day 4 is a date established of european free trade association |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3189-3189 | The day 25 is a date established of european investment bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3196-3196 | The day 7 is a date established of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3239-3239 | The day 1 is a date established of european organization for nuclear research |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3247-3247 | The day 31 is a date established of european space agency |
| 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 3272-3272 | The year 1964 is a date established of franc zone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3323-3323 | The month October is a date established of group of10 |
| 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 3341-3341 | The month September is a date established of group of15 |
| 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 3278-3278 | The month September is a date established of group of3 |
| 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 3307-3307 | The month October is a date established of group of8 |
| 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 |
| 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