No TPTP formula. May not be expressible in strict first order.	Government.kif 3244-3244	European space agency is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3251-3251	European union is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3262-3262	Food and agriculture organization is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3268-3268	Franc zone is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3319-3319	Group of10 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3331-3331	Group of11 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3338-3338	Group of15 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3348-3348	Group of24 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3275-3275	Group of3 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3281-3281	Group of5 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3287-3287	Group of6 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3294-3294	Group of7 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3358-3358	Group of77 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3304-3304	Group of8 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3314-3314	Group of9 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3364-3364	Gulf cooperation council is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3373-3373	Indian ocean commission is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3380-3380	Inter american development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3389-3389	Inter governmental authority on development is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3404-3404	International atomic energy agency is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3410-3410	International bank for reconstruction and development is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3418-3418	International chamber of commerce is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3426-3426	International civil aviation organization is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3440-3440	International confederation of free trade unions is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3475-3475	International criminal police organization is an instance of organization of nations
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