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

Formal Language: 



KB Term:  Term intersection
English Word: 

  annualRevenuesOfAreaInPeriod

 Sigma KEE - annualRevenuesOfAreaInPeriod
annualRevenuesOfAreaInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1473-1477
No TPTP formula. May not be expressible in strict first order. Economy.kif 1469-1469 域 期間面積的年收入, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 1470-1470 域 期間面積的年收入, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order. Economy.kif 1471-1471 域子類 期間面積的年收入, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order. Economy.kif 1468-1468 例 期間面積的年收入 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 188-188
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 187-187
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 186-186
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7710-7710
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7709-7709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7708-7708

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1488-1493 GeopoliticalArea annual 對於 TimeInterval 在週期 CurrencyMeasure 的地區收入 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 annual 地區收入


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