IrrationalNumber(Numero Irracional) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1743-1744 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1918-1919 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 351-352 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4877-4877 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4979-4979 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4981-4981 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4980-4980 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1916-1916 | Numero Irracional e' uma sub-classe de Numero Real |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 862-862 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 926-926 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 538-538 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 68-68 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 71-71 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2223-2223 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 490-490 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 105-105 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 559-559 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 72-72 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1893-1893 | O conceito Numero Real e' completamente decomposto em Numero Racional + Numero Irracional |