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	域行業組成的GDP, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1074-1074	域行業組成的GDP, 2 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1075-1075	域行業組成的GDP, 3 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1071-1071	例行業組成的GDP and 基於PPP的經濟估值
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1072-1072	例行業組成的GDP and TernaryPredicate

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