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
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 3421-3421	The year 1919 is a date established of international chamber of commerce
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 3443-3443	The month December is a date established of international confederation of free trade unions
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