No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2550-2552 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6964-6968 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1252-1254 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6961-6961 |
Siemens est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6962-6962 |
Siemens est une instance de syst�me d'unit� international |