No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2568-2570 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7043-7046 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1273-1275 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7040-7040 |
Becquerel is an instance of composite unit of measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7041-7041 |
Becquerel is an instance of systeme international unit |