No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8333-8335 |
地缘政治区域 是 城市 的 instance 若且唯若 那个 地缘政治区域 的 Government 是 市政府 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8326-8328 |
地缘政治区域 是 州或省 的 instance 若且唯若 那个 地缘政治区域 的 Government 是 州政府 的 instance |
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 14066-14070 |
|
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 13888-13900 |
|
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 |