TreeView Knowledge Base Browser

appearance as argument number 1

(instance netWorth TernaryPredicate)	FinancialOntology.kif 886-886	net worth is an instance of ternary predicate
(instance netWorth SingleValuedRelation)	FinancialOntology.kif 887-887	net worth is an instance of single valued relation
(domain netWorth 1 CognitiveAgent)	FinancialOntology.kif 888-888	The number 1 argument of net worth is an instance of cognitive agent
(domain netWorth 2 CurrencyMeasure)	FinancialOntology.kif 889-889	The number 2 argument of net worth is an instance of currency measure
(domain netWorth 3 Day)	FinancialOntology.kif 890-890	The number 3 argument of net worth is an instance of day
(documentation netWorth EnglishLanguage "Total assets minus total liabilities of an individual or company.")	FinancialOntology.kif 891-891	The number 3 argument of net worth is an instance of day

appearance as argument number 2

(format EnglishLanguage netWorth "%1 is %n net worth %2 for %3")	domainEnglishFormat.kif 1809-1809
(format ChineseTraditionalLanguage netWorth "%1 %n 是對於 %3 的 net 價值 %2 ")	domainEnglishFormat.kif 1810-1810
(format ChineseLanguage netWorth "%1 %n 是对于 %3 的 net 价值 %2 ")	domainEnglishFormat.kif 1811-1811
(termFormat EnglishLanguage netWorth "net worth")	domainEnglishFormat.kif 40231-40231
(termFormat ChineseTraditionalLanguage netWorth "淨值")	domainEnglishFormat.kif 40232-40232
(termFormat ChineseLanguage netWorth "净值")	domainEnglishFormat.kif 40233-40233

antecedent

(=>
    (netWorth ?Agent ?Amount ?Date)
    (holdsDuring ?Date
        (equal ?Amount
            (WealthFn ?Agent))))

If X is net worth Y for Z, then equal Y and value of belongings of X holds during Z