No TPTP formula. May not be expressible in strict first order. | Languages.kif 7148-7148 | Danish bokmal language is a subclass of danish swedish language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7154-7154 | Bokmal group language is a subclass of danish bokmal language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7176-7176 | Danish group language is a subclass of danish bokmal language |
![]() |