No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7149-7150 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7155-7156 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9969-9969 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10785-10785 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10787-10787 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10788-10788 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10786-10786 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7148-7148 |
丹麦语bokmal语言 是 丹麦语瑞典语 的 subclass |