No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2504-2507 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6750-6756 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1202-1205 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6748-6748 |
Mole is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6747-6747 |
Mole is an instance of unit of mass |