more pictures...| DanishBokmalLanguage(danish bokmal language)
more pictures... |
| appearance as argument number 1 |
|
| 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 | Danish bokmal language is a subclass of danish swedish language |
| appearance as argument number 2 |
|
|
| 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 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18480-18480 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18479-18479 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18478-18478 |
|
|
|