No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1081-1081	The number 2 argument of flag state is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14112-14112	The number 1 argument of geopolitical subdivision is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14113-14113	The number 2 argument of geopolitical subdivision is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1598-1598	The number 1 argument of head of government is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7573-7573	The number 2 argument of headquarters of organization is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1262-1262	The number 1 argument of highest decile share of household income is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1244-1244	The number 1 argument of highest decile share of household income in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 629-629	The number 1 argument of holiday time in area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 56-56	The number 1 argument of illicit drug consumer is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 60-60	The number 1 argument of illicit drug producer is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 69-69	The number 1 argument of illicit drug shipment destination is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 71-71	The number 3 argument of illicit drug shipment destination is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 74-74	The number 1 argument of illicit drug transshipment point is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 76-76	The number 3 argument of illicit drug transshipment point is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2610-2610	The number 1 argument of import commodity type is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2618-2618	The number 1 argument of import commodity type by rank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2728-2728	The number 1 argument of import partner by fraction is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2729-2729	The number 2 argument of import partner by fraction is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2712-2712	The number 1 argument of import partner by fraction in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2713-2713	The number 2 argument of import partner by fraction in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2694-2694	The number 1 argument of import partner by rank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2695-2695	The number 2 argument of import partner by rank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2682-2682	The number 1 argument of import partner by rank in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2683-2683	The number 2 argument of import partner by rank in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2562-2562	The number 1 argument of import total in period 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