|
|
   TransnationalIssue
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2610-2612 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2608-2608 | TransnationalIssue e' uma sub-classe de AreaOfConcern |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2636-2636 | ArmsControl e' uma instancia de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2622-2622 | BoundaryDetermination e' uma instancia de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2655-2655 | EconomicCooperation e' uma instancia de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2663-2663 | EnergyAndTheEnvironment e' uma instancia de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2730-2730 | HumanitarianAssistance e' uma instancia de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2706-2706 | InternationalJustice e' uma instancia de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2621-2621 | InternationalPeaceAndSecurity e' uma instancia de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2697-2697 | MilitaryCooperation e' uma instancia de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2624-2624 | PromoteRegionalStability e' uma instancia de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2717-2717 | SocialCooperation e' uma instancia de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2695-2695 | WorldLaborIssues e' um sub-atributo de TransnationalIssue |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58964-58964 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58963-58963 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58962-58962 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2614-2618 |
|
|
|