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

Formal Language: 



KB Term:  Term intersection
English Word: 

  externalDebtInPeriod

Sigma KEE - externalDebtInPeriod
externalDebtInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2759-2764
No TPTP formula. May not be expressible in strict first order. Economy.kif 2755-2755 期间外债 的 1 数量 是 地缘政治区域instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2756-2756 期间外债 的 2 数量 是 货币测量instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2757-2757 期间外债 的 3 数量 是 时距subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2754-2754 期间外债三元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 987-987
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 986-986
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 985-985
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23014-23014
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23013-23013
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23012-23012

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2775-2780 地缘政治区域 是 对于 有点 时距 在周期 货币测量external 债务 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量那个 地缘政治区域external 债务 在 那个 时间位置 holdsDuring


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