Profitable - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Profitable EnglishLanguage "Capable of yielding material gain or profit")	Economy.kif 6669-6669
(instance Profitable InternalAttribute)	Economy.kif 6671-6671	Profitable is an instance of internal attribute

appearance as argument number 2

(termFormat EnglishLanguage Profitable "profitable")

antecedent

(=>
    (attribute ?PHYSICAL Profitable)
    (=>
        (and
            (instance ?F FinancialTransaction)
            (patient ?F ?PHYSICAL)
            (profit ?F
                (MeasureFn ?C ?U)))
        (greaterThan ?C 0)))

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