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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - annualExpendituresOfAreaInPeriod
annualExpendituresOfAreaInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1501-1505
No TPTP formula. May not be expressible in strict first order. Economy.kif 1497-1497 Le nombre 1 argument de annualExpendituresOfAreaInPeriod est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Economy.kif 1498-1498 Le nombre 2 argument de annualExpendituresOfAreaInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order. Economy.kif 1499-1499 Le nombre 3 argument de annualExpendituresOfAreaInPeriod est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order. Economy.kif 1496-1496 annualExpendituresOfAreaInPeriod 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 172-172
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 171-171
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 170-170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7686-7686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7685-7685
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7684-7684

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1517-1522 annualExpendituresOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel annualExpendituresOfArea 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