No TPTP formula. May not be expressible in strict first order.	Government.kif 4227-4227	United nations interim administration mission in kosovo is an instance of international organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3989-3989	United nations interregional crime and justice research institute is an instance of international organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4229-4229	United nations iraq kuwait boundary demarcation commission is an instance of international organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4006-4006	United nations office of project services is an instance of international organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4153-4153	United nations research institute for social development is an instance of international organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4166-4166	United nations secretariat is an instance of international organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4260-4260	United nations university is an instance of international organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2526-2526	Organization of nations is a subclass of international organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30655-30655
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30654-30654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30653-30653

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