GovernmentFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3739-3741 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16889-16893 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16887-16887 | The number 1 argument of government is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16886-16886 | Government is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16885-16885 | Government is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16888-16888 | The range of government is an instance of government |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 802-802 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 811-811 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 482-482 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 812-812 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 434-434 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 504-504 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26309-26309 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 803-803 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26308-26308 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26307-26307 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9539-9541 | A geopolitical area is an instance of city if and only if the government of the geopolitical area is an instance of city government |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9532-9534 | A geopolitical area is an instance of state or province if and only if the government of the geopolitical area is an instance of state government |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2808-2820 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4609-4618 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4447-4451 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4431-4439 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1275-1280 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1269-1273 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 352-357 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 256-264 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1298-1302 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2116-2120 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2012-2016 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 142-146 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14219-14223 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1308-1312 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1475-1486 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1433-1437 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2323-2330 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15259-15271 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 163-183 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2092-2097 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2086-2090 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1991-1995 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4575-4580 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4789-4789 | Department of homeland security is a part of the organization the government of united states |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1291-1291 | US food and drug administration is a part of the organization the government of united states |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2352-2352 | US state department is a part of the organization the government of united states |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1911-1911 | 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 4816-4816 | 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 4811-4811 | United states department of state is a part of the organization the government of united states |
![]() |
![]() |