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 8771-8772
(domain profit 1 FinancialTransaction)	Mid-level-ontology.kif 8769-8769	The number 1 argument of profit is an instance of financial transaction
(domain profit 2 CurrencyMeasure)	Mid-level-ontology.kif 8770-8770	The number 2 argument of profit is an instance of currency measure
(instance profit AsymmetricRelation)	Mid-level-ontology.kif 8767-8767	profit is an instance of asymmetric relation
(instance profit BinaryPredicate)	Mid-level-ontology.kif 8768-8768	profit is an instance of binary predicate

appearance as argument number 2

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

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 1208-1223

consequent

(=> (attribute ?PHYSICAL Profitable) (=> (and (instance ?F FinancialTransaction) (patient ?F ?PHYSICAL) (profit ?F (MeasureFn ?C ?U))) (greaterThan ?C 0)))	Economy.kif 6649-6656	If profitable is an attribute of an object, then if a financial transaction is an instance of financial transaction and the object is a patient of the financial transaction and the profit from the financial transaction is a real number an unit of measure(s), then the real number is greater than 0
(=> (instance ?Investing Investing) (hasPurpose ?Investing (exists (?Profit) (profit ?Investing ?Profit))))	FinancialOntology.kif 503-507	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 8779-8784	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