profit - Sigma Knowledge base Browser

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))))

If All of the following hold: (1) X is an instance of profit sharing plan (2) Y holds account X (3) Z employs Y (4) the profit from W is V U(s) (5) U is an instance of unit of currency (6) Z is an agent of W, then there exist T and S such that S is an instance of financial transaction and T U(s) is a transaction amount of S and T is less than V and S ends up at X

consequent

(=> (instance ?N NonprofitOrganization) (not (hasPurpose ?N (exists (?P) (profit ?N ?P)))))	Mid-level-ontology.kif 8933-8938	If X is an instance of nonprofit organization, then X does not have the purpose there doesn't exist Y such that the profit from X is Y
(=> (attribute ?PHYSICAL Profitable) (=> (and (instance ?F FinancialTransaction) (patient ?F ?PHYSICAL) (profit ?F (MeasureFn ?C ?U))) (greaterThan ?C 0)))	Economy.kif 6673-6680	Assuming profitable is an attribute of X, it follows that: if Y is an instance of financial transaction, X is a patient of Y, and the profit from Y is Z W(s), then Z is greater than 0
(=> (instance ?Investing Investing) (hasPurpose ?Investing (exists (?Profit) (profit ?Investing ?Profit))))	FinancialOntology.kif 522-526	If X is an instance of investing, then X has the purpose there exists Y such that the profit from X is Y

(instance profit AsymmetricRelation)	Mid-level-ontology.kif 8921-8921	profit is an instance of asymmetric relation
(instance profit BinaryPredicate)	Mid-level-ontology.kif 8922-8922	profit is an instance of binary predicate
(domain profit 1 FinancialTransaction)	Mid-level-ontology.kif 8923-8923	The number 1 argument of profit is an instance of financial transaction
(domain profit 2 CurrencyMeasure)	Mid-level-ontology.kif 8924-8924	The number 2 argument of profit is an instance of currency measure
(documentation profit EnglishLanguage "The positive gain from an investment or business operation after subtracting for all expenses.")	Mid-level-ontology.kif 8925-8926	The number 2 argument of profit is an instance of currency measure

(format EnglishLanguage profit "the profit from %1 is %2")	domainEnglishFormat.kif 4248-4248
(format ChineseTraditionalLanguage profit "從 %1 的 profit 是 %2 ")	domainEnglishFormat.kif 4249-4249
(format ChineseLanguage profit "从 %1 的 profit 是 %2 ")	domainEnglishFormat.kif 4250-4250
(termFormat EnglishLanguage profit "profit")	domainEnglishFormat.kif 47617-47617
(termFormat ChineseTraditionalLanguage profit "利潤")	domainEnglishFormat.kif 47618-47618
(termFormat ChineseLanguage profit "利润")	domainEnglishFormat.kif 47619-47619