No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2532-2533 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6874-6876 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1233-1234 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10185-10185 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6871-6871 |
Pascal est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6872-6872 |
Pascal est une instance de syst�me d'unit� international |