No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7590-7591 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7593-7593 |
域 amount, 2 and CorpuscularObject |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7594-7594 |
域 amount, 3 and MassMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7592-7592 |
域子類 amount, 1 and Substance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7589-7589 |
例 amount and TernaryPredicate |