No TPTP formula. May not be expressible in strict first order. | Media.kif 2920-2920 | Territory code is a subclass of territory ID |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2921-2921 | Territory code is a subclass of ISO code |
![]() |