No TPTP formula. May not be expressible in strict first order. | Languages.kif 7148-7148 | 子類 丹麥語bokmal語言 and 丹麥語瑞典語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7154-7154 | 子類 bokmal集團的語言 and 丹麥語bokmal語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7176-7176 | 子類 丹麥團體語言 and 丹麥語bokmal語言 |