Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PPPBasedEconomicValuation
PPPBasedEconomicValuation

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 967-976
No TPTP formula. May not be expressible in strict first order. Economy.kif 965-965 PPPBasedEconomicValuation e' uma sub-classe de Relacao

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1032-1032 perCapitaGDP e' uma instancia de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1019-1019 perCapitaGDPInPeriod e' uma instancia de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 996-996 realGrowthRateOfGDP e' uma instancia de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 983-983 realGrowthRateOfGDPInPeriod e' uma instancia de PPPBasedEconomicValuation
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 1054-1054 sectorCompositionOfGDPInPeriod e' uma instancia de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1117-1117 sectorValueOfGDP e' uma instancia de PPPBasedEconomicValuation
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 947-947 totalGDP e' uma instancia de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 934-934 totalGDPInPeriod e' uma instancia de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47074-47074
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47073-47073
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47072-47072


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners