No TPTP formula. May not be expressible in strict first order.	Economy.kif 2788-2788	The number 1 argument of economic aid donated in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2847-2847	The number 1 argument of economic aid received net is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2832-2832	The number 1 argument of economic aid received net in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2094-2094	The number 1 argument of electricity consumption in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2137-2137	The number 1 argument of electricity export in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2042-2042	The number 1 argument of electricity fraction from source is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2026-2026	The number 1 argument of electricity fraction from source in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2182-2182	The number 1 argument of electricity import in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1962-1962	The number 1 argument of electricity production in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2305-2305	The number 1 argument of export commodity type is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2322-2322	The number 1 argument of export commodity type by rank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2535-2535	The number 1 argument of export partner by fraction is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2536-2536	The number 2 argument of export partner by fraction is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2519-2519	The number 1 argument of export partner by fraction in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2520-2520	The number 2 argument of export partner by fraction in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2501-2501	The number 1 argument of export partner by rank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2502-2502	The number 2 argument of export partner by rank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2489-2489	The number 1 argument of export partner by rank in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2490-2490	The number 2 argument of export partner by rank in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2257-2257	The number 1 argument of export total in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2767-2767	The number 1 argument of external debt is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2755-2755	The number 1 argument of external debt in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1055-1055	The number 2 argument of fOC ships by origin is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4777-4777	The number 1 argument of flag description is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4785-4785	The number 1 argument of flag image is an instance of geopolitical area
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