No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2600-2603 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7266-7272 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1312-1316 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8358-8358 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8935-8935 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7264-7264 |
Atom gram is an instance of unit of mass |