Liter
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2511-2512 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6771-6773 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1210-1211 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6769-6769 | 例 升 and UnitOfVolume |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34703-34703 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34702-34702 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34701-34701 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 172-187 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 155-170 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1321-1332 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2873-2884 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1285-1301 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1367-1385 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1399-1415 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1440-1450 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2855-2866 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2836-2845 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 206-221 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 189-204 |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7257-7259 | 等於 測量 RealNumber and 英國加侖 and 測量 乘法 RealNumber and 4.54609 and 升 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7212-7214 | 等於 測量 RealNumber and 美國加侖 and 測量 乘法 RealNumber and 3.785411784 and 升 |