profit - Sigma Knowledge base Browser

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 7822-7823
(domain profit 1 FinancialTransaction)	Mid-level-ontology.kif 7820-7820	The number 1 argument of profit is an instance of financial transaction
(domain profit 2 CurrencyMeasure)	Mid-level-ontology.kif 7821-7821	The number 2 argument of profit is an instance of currency measure
(instance profit AsymmetricRelation)	Mid-level-ontology.kif 7818-7818	profit is an instance of asymmetric relation
(instance profit BinaryPredicate)	Mid-level-ontology.kif 7819-7819	profit is an instance of binary predicate

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 47662-47662
(termFormat ChineseTraditionalLanguage profit "利潤")	domainEnglishFormat.kif 47661-47661
(termFormat EnglishLanguage profit "profit")	domainEnglishFormat.kif 47660-47660

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 1192-1207

consequent

(=> (instance ?Investing Investing) (hasPurpose ?Investing (exists (?Profit) (profit ?Investing ?Profit))))	FinancialOntology.kif 501-505	If a physical is an instance of investing, then the physical has the purpose there exists an entity such that the profit from the physical is the entity
(=> (instance ?N NonprofitOrganization) (not (hasPurpose ?N (exists (?P) (profit ?N ?P)))))	Mid-level-ontology.kif 7830-7835	If a physical is an instance of nonprofit organization, then the physical does not have the purpose there exists an entity such that the profit from the physical is the entity