No TPTP formula. May not be expressible in strict first order. | Merge.kif 12136-12136 | 子類 Calculating and IntentionalPsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12140-12140 | 子類 Measuring and Calculating |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12153-12153 | 子類 Counting and Calculating |
![]() |