|
|
   FuelFilter
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2681-2681 | SocialCooperation e' uma instancia de TransnationalIssue |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2799-2799 | organizationalObjective ArabLeague and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2835-2835 | organizationalObjective AssociationOfSoutheastAsianNations and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3012-3012 | organizationalObjective CouncilOfTheEntente and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3222-3222 | organizationalObjective EuropeanUnion and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3335-3335 | organizationalObjective GulfCooperationCouncil and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3359-3359 | organizationalObjective InterGovernmentalAuthorityOnDevelopment and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3753-3753 | organizationalObjective OrganizationOfTheIslamicConference and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3761-3761 | organizationalObjective PacificCommunity and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3800-3800 | organizationalObjective SouthAsianAssociationForRegionalCooperation and SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2682-2682 | CulturalCooperation e' um sub-atributo de SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2684-2684 | EducationalCooperation e' um sub-atributo de SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2685-2685 | HumanitarianAssistance e' um sub-atributo de SocialCooperation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53620-53620 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53619-53619 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53618-53618 |
|
|
|