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	O argumento numero 1 de sectorValueOfGDPInPeriod e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1096-1096	O argumento numero 2 de sectorValueOfGDPInPeriod e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1097-1097	O argumento numero 3 de sectorValueOfGDPInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1098-1098	O argumento numero 4 de sectorValueOfGDPInPeriod e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1093-1093	sectorValueOfGDPInPeriod e' uma instancia de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1094-1094	sectorValueOfGDPInPeriod e' uma instancia de Predicado Quaternario

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