No TPTP formula. May not be expressible in strict first order. |
Government.kif 108-115 |
An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization |
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 16305-16324 |
|
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 8427-8435 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |