| ScotsLanguage(蘇格蘭語)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7599-7622 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6844-6844 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7825-7825 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7598-7598 | 例 蘇格蘭語 and 英語組語言 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51617-51617 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51616-51616 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51615-51615 |
|
|
|