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