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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - buyingPowerAmount
buyingPowerAmount

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4094-4096
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4091-4091 The number 1 argument of buying power amount is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4092-4092 The number 2 argument of buying power amount is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4093-4093 The number 3 argument of buying power amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4089-4089 buying power amount is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4090-4090 buying power amount is a subrelation of available balance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 328-328
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 327-327
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 326-326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12529-12529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12528-12528
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12527-12527


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