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 O argumento numero 1 de sectorCompositionOfGDPInPeriod e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Economy.kif 1057-1057 O argumento numero 2 de sectorCompositionOfGDPInPeriod e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1058-1058 O argumento numero 3 de sectorCompositionOfGDPInPeriod e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Economy.kif 1059-1059 O argumento numero 4 de sectorCompositionOfGDPInPeriod e' uma sub-classe de Intervalo Temporal
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 1055-1055 sectorCompositionOfGDPInPeriod e' uma instancia de Predicado Quaternario

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 Area Geopolitica, IndustryAttribute, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal sectorCompositionOfGDP Area Geopolitica, IndustryAttribute and Numero Real vale durante Posicao Temporal
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