TreeView Knowledge Base Browser - sectorValueOfGDPInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1100-1105
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1095-1095	Le nombre 1 argument de sectorValueOfGDPInPeriod est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1096-1096	Le nombre 2 argument de sectorValueOfGDPInPeriod est une instance de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1097-1097	Le nombre 3 argument de sectorValueOfGDPInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1098-1098	Le nombre 4 argument de sectorValueOfGDPInPeriod est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1093-1093	sectorValueOfGDPInPeriod est une instance de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1094-1094	sectorValueOfGDPInPeriod est une instance de pr�dicat quaternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2239-2239
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2238-2238
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2237-2237
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51867-51867
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51866-51866
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51865-51865

antecedent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 1129-1137

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 1107-1115