No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2571-2573 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7057-7061 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1276-1278 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7054-7054 |
Gray is an instance of composite unit of measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7055-7055 |
Gray is an instance of systeme international unit |