TreeView Knowledge Base Browser - sectorCompositionOfGDP

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1077-1080
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1073-1073	Le nombre 1 argument de sectorCompositionOfGDP est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1074-1074	Le nombre 2 argument de sectorCompositionOfGDP est une instance de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1075-1075	Le nombre 3 argument de sectorCompositionOfGDP est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1071-1071	sectorCompositionOfGDP est une instance de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1072-1072	sectorCompositionOfGDP est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2227-2227
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2226-2226
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2225-2225
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51849-51849
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51848-51848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51847-51847

antecedent

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

Economy.kif 1082-1084

consequent

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

Economy.kif 1086-1091