No TPTP formula. May not be expressible in strict first order. | Merge.kif 12136-12136 | Calculating is a subclass of intentional psychological process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12140-12140 | Measuring is a subclass of calculating |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12153-12153 | Counting is a subclass of calculating |
![]() |