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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - capitalExpendituresOfAreaInPeriod
capitalExpendituresOfAreaInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1531-1536
No TPTP formula. May not be expressible in strict first order. Economy.kif 1527-1527 Le nombre 1 argument de capitalExpendituresOfAreaInPeriod est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Economy.kif 1528-1528 Le nombre 2 argument de capitalExpendituresOfAreaInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order. Economy.kif 1529-1529 Le nombre 3 argument de capitalExpendituresOfAreaInPeriod est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order. Economy.kif 1526-1526 capitalExpendituresOfAreaInPeriod est une instance de pr�dicat ternaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 364-364
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 363-363
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 362-362
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13092-13092
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13091-13091
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13090-13090

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1565-1570 capitalExpendituresOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel capitalExpendituresOfArea secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order. Economy.kif 1538-1544


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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