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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalGDPInPeriod

 Sigma KEE - totalGDPInPeriod
totalGDPInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 940-945
No TPTP formula. May not be expressible in strict first order. Economy.kif 936-936 期间的国内生产GDP总值 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 937-937 期间的国内生产GDP总值 的 2 数量 是 货币测量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 938-938 期间的国内生产GDP总值 的 3 数量 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 934-934 期间的国内生产GDP总值 是 基于PPP的经济估值 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 935-935 期间的国内生产GDP总值 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2499-2499
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2498-2498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2497-2497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58562-58562
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58561-58561
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58560-58560

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 958-963 地缘政治区域 是 对于 有点 时距 在 周期 货币测量 的 totalGDP 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 total GDP 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 1107-1115


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