|
|
   Government
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3738-3738 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16708-16708 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16703-16703 | 子類 Government and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16706-16706 | 子類 Government and LegalAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2385-2385 | 例 美國國務院 and Government |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16713-16713 | 範圍 政府 and Government |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8330-8330 | 子類 市政府 and Government |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1550-1550 | 子類 聯邦住房管理局 and Government |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 103-103 | 子類 國家政府 and Government |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8322-8322 | 子類 州政府 and Government |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1070-1070 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1351-1351 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 748-748 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 280-280 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 283-283 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2432-2432 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 700-700 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 319-319 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 769-769 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 284-284 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16691-16695 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 108-115 | 例 Organization and 政府組織 例 Organization and Government Organization 例 Organization and Government 子組織 Organization and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19542-19546 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18701-18712 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22543-22551 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22414-22419 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2433-2438 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2367-2372 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2466-2471 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16112-16117 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18261-18266 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8199-8204 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1556-1561 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16684-16689 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8454-8461 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6768-6778 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8128-8133 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10757-10769 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13937-13946 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 922-927 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22405-22410 |
|
|
|
|