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

Formal Language: 



KB Term:  Term intersection
English Word: 

  profit

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 7310-7311
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7308-7308
(domain profit 2 CurrencyMeasure) Mid-level-ontology.kif 7309-7309
(instance profit AsymmetricRelation) Mid-level-ontology.kif 7307-7307

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


(format EnglishLanguage profit "the profit from %1 is %2") domainEnglishFormat.kif 1072-1072
(termFormat EnglishLanguage profit "profit") domainEnglishFormat.kif 8360-8360

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


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

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


(=>
    (instance ?Investing Investing)
    (hasPurpose ?Investing
        (exists (?Profit)
            (profit ?Investing ?Profit))))
FinancialOntology.kif 478-482
(=>
    (instance ?N NonprofitOrganization)
    (not
        (hasPurpose ?N
            (exists (?P)
                (profit ?N ?P)))))
Mid-level-ontology.kif 7318-7323


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners