TreeView Knowledge Base Browser

appearance as argument number 2

(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

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