No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2545-2546 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6940-6944 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1246-1248 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6002-6002 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6502-6502 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6937-6937 |
Farad is an instance of composite unit of measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6938-6938 |
Farad is an instance of systeme international unit |