ChineseLanguage(Chinese language) |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3672-3673 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3471-3471 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1842-1846 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1884-1887 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 67-67 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1785-1788 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3887-3888 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3384-3385 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3006-3007 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2497-2499 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3414-3415 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2586-2586 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3488-3489 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2424-2424 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2589-2590 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |