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 4612-4621 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4622-4631 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4434-4442 |
|
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 1277-1282 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1271-1275 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1265-1269 |
|
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 2660-2674 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2678-2694 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2642-2656 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2624-2638 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2605-2620 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16332-16351 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2094-2099 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2088-2092 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2082-2086 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1987-1991 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1993-1997 |
|
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 8454-8462 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |