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. |
Government.kif 4648-4657 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4658-4667 |
|
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. |
Hotel.kif 1127-1140 |
|
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 1301-1305 |
|
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. |
MilitaryProcesses.kif 2609-2623 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2627-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2591-2605 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2573-2587 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2554-2569 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16304-16323 |
|
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 2118-2122 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2023-2027 |
|
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. |
Military.kif 693-700 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 940-949 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 712-724 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2559-2561 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8426-8434 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |