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 16736-16740 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16734-16734 | O argumento numero 1 de GovernmentFn e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16733-16733 | GovernmentFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16732-16732 | GovernmentFn e' uma instancia de funcao Unaria |
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 |
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 26298-26298 | |
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 26297-26297 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26296-26296 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8332-8334 | Area Geopolitica e' uma instancia de Cidade o governo de Area Geopolitica e' uma instancia de CityGovernment |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8325-8327 | Area Geopolitica e' uma instancia de Estado ou Provincia o governo de Area Geopolitica e' uma instancia de StateGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4648-4657 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4486-4490 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4470-4478 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1313-1318 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1307-1311 |
|
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 1336-1340 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2155-2159 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2050-2054 |
|
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 14088-14092 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1346-1350 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1513-1524 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1471-1475 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2362-2369 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13887-13899 |
|
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 2130-2135 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2124-2128 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2029-2033 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4614-4619 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 712-724 |
|
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 4828-4828 | DepartmentOfHomelandSecurity e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1282-1282 | USFoodAndDrugAdministration e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2391-2391 | USStateDepartment e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1949-1949 | UnitedStatesCongress e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4855-4855 | UnitedStatesDepartmentOfInterior e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4850-4850 | UnitedStatesDepartmentOfState e' uma parte da organizacao o governo de UnitedStates |