IrreflexiveRelation(irreflexive relation) |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 894-894 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 990-990 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 570-570 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 100-100 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 103-103 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2255-2255 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 522-522 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 137-137 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 591-591 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 104-104 |