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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 7603-7604
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7601-7601
(domain profit 2 CurrencyMeasure) Mid-level-ontology.kif 7602-7602
(instance profit AsymmetricRelation) Mid-level-ontology.kif 7599-7599
(instance profit BinaryPredicate) Mid-level-ontology.kif 7600-7600

appearance as argument number 2

(format ChineseLanguage profit "从 %1 的 profit 是 %2 ") domainEnglishFormat.kif 4246-4246
(format ChineseTraditionalLanguage profit "從 %1 的 profit 是 %2 ") domainEnglishFormat.kif 4245-4245
(format EnglishLanguage profit "the profit from %1 is %2") domainEnglishFormat.kif 4244-4244
(termFormat ChineseLanguage profit "利润") domainEnglishFormat.kif 47624-47624
(termFormat ChineseTraditionalLanguage profit "利潤") domainEnglishFormat.kif 47623-47623
(termFormat EnglishLanguage profit "profit") domainEnglishFormat.kif 47622-47622


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


    (instance ?Investing Investing)
    (hasPurpose ?Investing
        (exists (?Profit)
            (profit ?Investing ?Profit))))
FinancialOntology.kif 501-505
    (instance ?N NonprofitOrganization)
        (hasPurpose ?N
            (exists (?P)
                (profit ?N ?P)))))
Mid-level-ontology.kif 7611-7616

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