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 | 托里切利语 是 口语人类语言 的 subclass |
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 |