or |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Military.kif 1001-1014 | The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string |
![]() |
![]() |