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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capitalExpendituresOfArea

Sigma KEE - capitalExpendituresOfArea
capitalExpendituresOfArea

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1551-1556
No TPTP formula. May not be expressible in strict first order. Economy.kif 1548-1548 地區的資本支出, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 1549-1549 地區的資本支出, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order. Economy.kif 1547-1547 地區的資本支出 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 360-360
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 359-359
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 358-358
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13086-13086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13085-13085
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13084-13084

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1558-1562

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1565-1570 GeopoliticalArea 在週期 CurrencyMeasure 對於 TimeIntervalcapital 地區支出 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure GeopoliticalAreacapital 地區支出


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