|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4194-4194 | United nations mission in ethiopia and eritrea is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4195-4195 | United nations mission in sierra leone is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4196-4196 | United nations mission of observers in prevlaka is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4197-4197 | United nations monitoring and verification commission is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4198-4198 | United nations observer mission in georgia is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4005-4005 | United nations office of project services is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4199-4199 | United nations organization mission in the democratic republic of the congo is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4200-4200 | United nations peace keeping force in cyprus is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3954-3954 | United nations population fund is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3955-3955 | United nations relief and works agency for palestine refugees in the near east is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3956-3956 | United nations research institute for social development is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4170-4170 | United nations secretariat is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4182-4182 | United nations security council is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4011-4011 | United nations system staff college is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4201-4201 | United nations transitional administration in east timor is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4202-4202 | United nations truce supervision organization is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3957-3957 | United nations university is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1949-1949 | United states congress is a part of the organization the government of united states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4855-4855 | United states department of interior is a part of the organization the government of united states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4850-4850 | United states department of state is a part of the organization the government of united states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3122-3122 | Universal postal union is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3128-3128 | World food program is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3958-3958 | World food program is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3123-3123 | World health organization is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3124-3124 | World intellectual property organization is a part of the organization economic and social 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