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 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 1433-1433 域 期間的失業率, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order. Economy.kif 1434-1434 域子類 期間的失業率, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order. Economy.kif 1431-1431 例 期間的失業率 and TernaryPredicate

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 GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 地區的 unemployment 比例 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是 對於 在地區 RealNumber 的 unemployment 比例
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