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

Formal Language: 



KB Term:  Term intersection
English Word: 

  sectorCompositionOfGDPInPeriod

 Sigma KEE - sectorCompositionOfGDPInPeriod
sectorCompositionOfGDPInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1061-1065
No TPTP formula. May not be expressible in strict first order. Economy.kif 1056-1056 Le nombre 1 argument de sectorCompositionOfGDPInPeriod est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Economy.kif 1057-1057 Le nombre 2 argument de sectorCompositionOfGDPInPeriod est une instance de IndustryAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1058-1058 Le nombre 3 argument de sectorCompositionOfGDPInPeriod est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order. Economy.kif 1059-1059 Le nombre 4 argument de sectorCompositionOfGDPInPeriod est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order. Economy.kif 1054-1054 sectorCompositionOfGDPInPeriod est une instance de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1055-1055 sectorCompositionOfGDPInPeriod est une instance de pr�dicat quaternaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2231-2231
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2230-2230
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2229-2229
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51855-51855
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51854-51854
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51853-51853

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1086-1091 sectorCompositionOfGDPInPeriod secteur g�opolitique, IndustryAttribute, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel sectorCompositionOfGDP secteur g�opolitique, IndustryAttribute and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order. Economy.kif 1107-1115
No TPTP formula. May not be expressible in strict first order. Economy.kif 1067-1069


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

Show without tree


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