GeopoliticalArea(geopolitical area) |
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 |