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	O argumento numero 1 de sectorCompositionOfGDP e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1074-1074	O argumento numero 2 de sectorCompositionOfGDP e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1075-1075	O argumento numero 3 de sectorCompositionOfGDP e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1071-1071	sectorCompositionOfGDP e' uma instancia de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1072-1072	sectorCompositionOfGDP e' uma instancia de Predicado Ternario

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