No TPTP formula. May not be expressible in strict first order.	Economy.kif 1527-1527	The number 1 argument of capital expenditures of area in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4733-4733	The number 1 argument of chancery address in area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4735-4735	The number 3 argument of chancery address in area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4764-4764	The number 1 argument of chanceryFAX number in area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4766-4766	The number 3 argument of chanceryFAX number in area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4743-4743	The number 1 argument of chancery mailing address in area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4745-4745	The number 3 argument of chancery mailing address in area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4754-4754	The number 1 argument of chancery telephone number in area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4756-4756	The number 3 argument of chancery telephone number in area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1552-1552	The number 1 argument of chief of state is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1577-1577	The number 1 argument of chief of state type is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Communications.kif 133-133	The number 1 argument of communication satellite for area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2872-2872	The number 1 argument of currency type is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 85-85	The number 1 argument of dependent area of type is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 86-86	The number 2 argument of dependent area of type is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 459-459	The number 1 argument of dependent geopolitical area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 460-460	The number 2 argument of dependent geopolitical area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4546-4546	The number 1 argument of diplomatic relations is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4547-4547	The number 2 argument of diplomatic relations is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 47-47	The number 1 argument of disputed possession is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 48-48	The number 2 argument of disputed possession is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 49-49	The number 3 argument of disputed possession is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 64-64	The number 1 argument of drug shipment destination is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 66-66	The number 3 argument of drug shipment destination is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2805-2805	The number 1 argument of economic aid donated 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