No TPTP formula. May not be expressible in strict first order. | Geography.kif 6802-6802 | Area of concern is a subclass of relational attribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2608-2608 | Transnational issue is a subclass of area of concern |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6818-6818 | Environmental issue is a subclass of area of concern |