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 | Governo e' uma sub-classe de GovernmentOrganization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16706-16706 | Governo e' uma sub-classe de LegalAgent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2385-2385 | USStateDepartment e' uma instancia de Governo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16713-16713 | O contra-dominio de GovernmentFn e' uma instancia de Governo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8330-8330 | CityGovernment e' uma sub-classe de Governo |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1550-1550 | FederalHousingAdministration e' uma sub-classe de Governo |
No TPTP formula. May not be expressible in strict first order. | Government.kif 103-103 | NationalGovernment e' uma sub-classe de Governo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8322-8322 | StateGovernment e' uma sub-classe de Governo |
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 | Organizacao e' uma instancia de GovernmentOrganization Organizacao e' uma instancia de Governo Organizacao Organizacao e' uma instancia de Governo Organizacao e' uma parte da organizacao Organizacao |
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 |
|