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

Formal Language: 



KB Term:  Term intersection
English Word: 

  netWorth

 Sigma KEE - netWorth
netWorth

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


(documentation netWorth EnglishLanguage "Total assets minus total liabilities of an individual or company.") FinancialOntology.kif 869-869
(domain netWorth 1 CognitiveAgent) FinancialOntology.kif 866-866 netWorth の数値 1 引数は 認識エージェント の instance では %n
(domain netWorth 2 CurrencyMeasure) FinancialOntology.kif 867-867 netWorth の数値 2 引数は 通貨測定 の instance では %n
(domain netWorth 3 Day) FinancialOntology.kif 868-868 netWorth の数値 3 引数は 日 の instance では %n
(instance netWorth SingleValuedRelation) FinancialOntology.kif 865-865 netWorth は 一価関係 の instance では %n
(instance netWorth TernaryPredicate) FinancialOntology.kif 864-864 netWorth は 3進述語 の instance では %n

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 40229-40229
(termFormat ChineseTraditionalLanguage netWorth "淨值") domainEnglishFormat.kif 40228-40228
(termFormat EnglishLanguage netWorth "net worth") domainEnglishFormat.kif 40227-40227

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


(=>
    (netWorth ?Agent ?Amount ?Date)
    (holdsDuring ?Date
        (equal ?Amount
            (WealthFn ?Agent))))		 FinancialOntology.kif 871-873


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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