![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9991-9994 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8564-8564 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9362-9362 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9990-9990 | 例 拉丁語 and rhaetian語言 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33091-33091 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33090-33090 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33089-33089 |
![]() |
![]() |