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
-------------------------


(documentation netWorth EnglishLanguage "Total assets minus total liabilities of an individual or company.") FinancialOntology.kif 823-823
(domain netWorth 1 CognitiveAgent) FinancialOntology.kif 820-820 The number 1 argument of net worth is an instance of cognitive agent
(domain netWorth 2 CurrencyMeasure) FinancialOntology.kif 821-821 The number 2 argument of net worth is an instance of currency measure
(domain netWorth 3 Day) FinancialOntology.kif 822-822 The number 3 argument of net worth is an instance of day
(instance netWorth SingleValuedRelation) FinancialOntology.kif 819-819 net worth is an instance of single valued relation
(instance netWorth TernaryPredicate) FinancialOntology.kif 818-818 net worth is an instance of ternary predicate

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


(format ChineseLanguage netWorth "%1 %n 是 对于 %3 的 net 价值 %2 ") domainEnglishFormat.kif 1807-1807
(format ChineseTraditionalLanguage netWorth "%1 %n 是 對於 %3 的 net 價值 %2 ") domainEnglishFormat.kif 1806-1806
(format EnglishLanguage netWorth "%1 is %n net worth %2 for %3") domainEnglishFormat.kif 1805-1805
(termFormat ChineseLanguage netWorth "净值") domainEnglishFormat.kif 40212-40212
(termFormat ChineseTraditionalLanguage netWorth "淨值") domainEnglishFormat.kif 40211-40211
(termFormat EnglishLanguage netWorth "net worth") domainEnglishFormat.kif 40210-40210

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


(=>
    (netWorth ?Agent ?Amount ?Date)
    (holdsDuring ?Date
        (equal ?Amount
            (WealthFn ?Agent))))
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