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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - netWorth
netWorth

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 823-823
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 820-820 The number 1 argument of net worth is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 821-821 The number 2 argument of net worth is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 822-822 The number 3 argument of net worth is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 819-819 net worth is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 818-818 net worth is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1807-1807
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1806-1806
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1805-1805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40212-40212
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40211-40211
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40210-40210

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 825-827


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