|
|
   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 | Torricelli language is a subclass of spoken human language |
| 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 |
|
|
|
