No TPTP formula. May not be expressible in strict first order. | Geography.kif 6802-6802 | AreaOfConcern e' uma sub-classe de Atributo Relacional |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2608-2608 | TransnationalIssue e' uma sub-classe de AreaOfConcern |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6818-6818 | EnvironmentalIssue e' uma sub-classe de AreaOfConcern |
![]() |