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

Formal Language: 



KB Term:  Term intersection
English Word: 

  unemploymentRateOfAreaInPeriod

 Sigma KEE - unemploymentRateOfAreaInPeriod
unemploymentRateOfAreaInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1436-1439
No TPTP formula. May not be expressible in strict first order. Economy.kif 1432-1432 期间的失业率 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1433-1433 期间的失业率 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1434-1434 期间的失业率 的 3 数量 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 1431-1431 期间的失业率 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2571-2571
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2570-2570
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2569-2569
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59918-59918
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59917-59917
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59916-59916

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1456-1461 地缘政治区域 是 对于 有点 时距 在周期 实数 地区的 unemployment 比例 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 在地区 那个 实数 的 unemployment 比例 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 1441-1443


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