| Government(Governo) | |
| 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 16730-16730 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16725-16725 | Governo e' uma sub-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16728-16728 | 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 16735-16735 | 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 8329-8329 | 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 8321-8321 | 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 16713-16717 |
|
| 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 19541-19545 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18700-18711 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22542-22550 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22413-22418 |
|
| 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 16111-16116 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18260-18265 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8198-8203 | |
| 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 16706-16711 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8453-8460 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6767-6777 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8127-8132 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10779-10791 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13936-13945 |
|
| 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 22404-22409 |
|
|
|
|