No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2540-2541 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6916-6919 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1241-1242 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6913-6913 |
Coulomb est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6914-6914 |
Coulomb est une instance de syst�me d'unit� international |