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 est une sous-classe de AreaOfConcern |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2636-2636 | ArmsControl est une instance de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2622-2622 | BoundaryDetermination est une instance de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2655-2655 | EconomicCooperation est une instance de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2663-2663 | EnergyAndTheEnvironment est une instance de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2730-2730 | HumanitarianAssistance est une instance de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2706-2706 | InternationalJustice est une instance de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2621-2621 | InternationalPeaceAndSecurity est une instance de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2697-2697 | MilitaryCooperation est une instance de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2624-2624 | PromoteRegionalStability est une instance de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2717-2717 | SocialCooperation est une instance de TransnationalIssue |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2695-2695 | WorldLaborIssues est un sous-attribut 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 |