NoChildrenPolicy
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9195-9197 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9193-9193 | CreditIntermediationAndRelatedActivities est un sous-attribut de FinanceAndInsurance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9289-9289 | ActivitiesRelatedToCreditIntermediation est un sous-attribut de CreditIntermediationAndRelatedActivities |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9199-9199 | DepositoryCreditIntermediation est un sous-attribut de CreditIntermediationAndRelatedActivities |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9230-9230 | NondepositoryCreditIntermediation est un sous-attribut de CreditIntermediationAndRelatedActivities |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17766-17766 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17765-17765 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17764-17764 |