| TorricelliLanguage(托里切利語)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13315-13317 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10297-10297 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12013-12013 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13314-13314 | 子類 托里切利語 and 口語人類語言 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58496-58496 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58495-58495 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58494-58494 |
|
|
|