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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - profit
profit

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


(documentation profit EnglishLanguage "The positive gain from an investment or business operation after subtracting for all expenses.") Mid-level-ontology.kif 7319-7320
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7317-7317 利润 的 1 数量 是 金融交易instance
(domain profit 2 CurrencyMeasure) Mid-level-ontology.kif 7318-7318 利润 的 2 数量 是 货币测量instance
(instance profit AsymmetricRelation) Mid-level-ontology.kif 7315-7315 利润非对称关系instance
(instance profit BinaryPredicate) Mid-level-ontology.kif 7316-7316 利润二元谓语instance

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


(format ChineseLanguage profit "从 %1 的 profit 是 %2 ") domainEnglishFormat.kif 4255-4255
(format ChineseTraditionalLanguage profit "從 %1 的 profit 是 %2 ") domainEnglishFormat.kif 4254-4254
(format EnglishLanguage profit "the profit from %1 is %2") domainEnglishFormat.kif 4253-4253
(termFormat ChineseLanguage profit "利润") domainEnglishFormat.kif 47607-47607
(termFormat ChineseTraditionalLanguage profit "利潤") domainEnglishFormat.kif 47606-47606
(termFormat EnglishLanguage profit "profit") domainEnglishFormat.kif 47605-47605

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


(=>
    (and
        (instance ?PSP ProfitSharingPlan)
        (accountHolder ?PSP ?H)
        (employs ?O ?H)
        (profit ?A
            (MeasureFn ?P ?U))
        (instance ?U UnitOfCurrency)
        (agent ?A ?O))
    (exists (?C ?PAY)
        (and
            (instance ?PAY FinancialTransaction)
            (transactionAmount ?PAY
                (MeasureFn ?C ?U))
            (lessThan ?C ?P)
            (destination ?PAY ?PSP))))
FinancialOntology.kif 1191-1206

consequent
-------------------------


(=>
    (instance ?Investing Investing)
    (hasPurpose ?Investing
        (exists (?Profit)
            (profit ?Investing ?Profit))))
FinancialOntology.kif 501-505
(=>
    (instance ?N NonprofitOrganization)
    (not
        (hasPurpose ?N
            (exists (?P)
                (profit ?N ?P)))))
Mid-level-ontology.kif 7327-7332


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