TorricelliLanguage(torricelli language) |
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 58498-58498 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58497-58497 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58496-58496 |