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 域 期間GDP的部門構成, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 1057-1057 域 期間GDP的部門構成, 2 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1058-1058 域 期間GDP的部門構成, 3 and RealNumber
No TPTP formula. May not be expressible in strict first order. Economy.kif 1059-1059 域子類 期間GDP的部門構成, 4 and TimeInterval
No TPTP formula. May not be expressible in strict first order. Economy.kif 1054-1054 例 期間GDP的部門構成 and 基於PPP的經濟估值
No TPTP formula. May not be expressible in strict first order. Economy.kif 1055-1055 例 期間GDP的部門構成 and QuaternaryPredicate

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 51857-51857
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51856-51856
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51855-51855

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1086-1091 GeopoliticalArea 是 對於 RealNumber 和 TimeInterval 在 週期 行業屬性 的 GDP sector 組成 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是 對於 RealNumber 的 GDP 行業屬性 sector 組成
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