| 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 | 政府 是 政府组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16706-16706 | 政府 是 LegalAgent 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2385-2385 | 美国国务院 是 政府 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16713-16713 | 政府函数 的 range 是 政府 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8330-8330 | 市政府 是 政府 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1550-1550 | 联邦住房管理局 是 政府 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 103-103 | 国家政府 是 政府 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8322-8322 | 州政府 是 政府 的 subclass |
| 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 | 机构 是 政府组织 的 instance 若且唯若 那个 机构 是 政府 的 instance 或 有存在 另一个 机构 这样 那个 另外 机构 是 政府 的 instance 和 那个 机构 是 那个 另外 机构 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 |
|
|
|