|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4801-4801 | US customs and border protection is a part of the organization department of homeland security |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1283-1283 | US food and drug administration is a part of the organization the government of united states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2391-2391 | US state department is a part of the organization the government of united states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3966-3966 | United nations center for human settlements is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3948-3948 | United nations childrens fund is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4185-4185 | United nations compensation commission is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3949-3949 | United nations conference on trade and development is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3950-3950 | United nations development program is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4186-4186 | United nations disengagement observer force is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3120-3120 | United nations educational scientific and cultural organization is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3951-3951 | United nations environment program is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3947-3947 | United nations general assembly is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3976-3976 | United nations high commissioner for human rights is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3952-3952 | United nations high commissioner for refugees is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3121-3121 | United nations industrial development organization is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3982-3982 | United nations institute for disarmament research is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3953-3953 | United nations institute for training and research is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4187-4187 | United nations interim administration mission in kosovo is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4188-4188 | United nations interim force in lebanon is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3988-3988 | United nations interregional crime and justice research institute is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4189-4189 | United nations iraq kuwait boundary demarcation commission is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4190-4190 | United nations iraq kuwait observation mission is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4191-4191 | United nations military observer group in india and pakistan is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4192-4192 | United nations mission for the referendum in western sahara is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4193-4193 | United nations mission in bosnia and herzegovina is a part of the organization united nations security council |
| 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