No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10184-10184 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11600-11600 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 163-163 |
议会共和国 是 政体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 266-266 |
议会共和国 是 议会政府 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 294-294 |
议会共和国 是 共和国 的 subAttribute |