|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4263-4263 | The day 3 is a date established of united nations university |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4274-4274 | The day 9 is a date established of universal postal union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4284-4284 | The day 14 is a date established of warsaw pact |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4290-4290 | The day 12 is a date established of wassenaar arrangement |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4298-4298 | The day 14 is a date established of west african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4307-4307 | The day 1 is a date established of west african economic and monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4313-4313 | The day 23 is a date established of western european union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4326-4326 | The day 19 is a date established of world confederation of labor |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3055-3055 | The day 15 is a date established of world customs organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4338-4338 | The day 3 is a date established of world federation of trade unions |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4344-4344 | The day 24 is a date established of world food program |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4350-4350 | The day 22 is a date established of world health organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4356-4356 | The day 14 is a date established of world intellectual property organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4362-4362 | The day 11 is a date established of world meteorological organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4368-4368 | The day 2 is a date established of world tourism organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4374-4374 | The day 15 is a date established of world trade organization |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2143-2143 | Unix epoch is equal to the second 0 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | Serbia is an instance of european nation and a time position is an instance of the day 5 holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia is an instance of independent state and a time position is an instance of the day 5 holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia has name "Republic of Serbia" and a time position is an instance of the day 5 holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | A time position is an instance of the day 3 and Montenegro is an instance of european nation holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2523-2526 | A time position is an instance of the day 3 and Montenegro is an instance of independent state holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | A time position is an instance of the day 3 and Montenegro has name "Montenegro" holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2546-2550 | A time position is an instance of the day 3 and serbia and montenegro is not an instance of independent state holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position |
| 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