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 7293-7294
(domain profit 1 FinancialTransaction)	Mid-level-ontology.kif 7291-7291	The number 1 argument of profit is an instance of financial transaction
(domain profit 2 CurrencyMeasure)	Mid-level-ontology.kif 7292-7292	The number 2 argument of profit is an instance of currency measure
(instance profit AsymmetricRelation)	Mid-level-ontology.kif 7289-7289	profit is an instance of asymmetric relation
(instance profit BinaryPredicate)	Mid-level-ontology.kif 7290-7290	profit is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage profit "从 %1 的 profit 是 %2 ")	domainEnglishFormat.kif 4255-4255
(format ChineseTraditionalLanguage profit "從 %1 的 profit 是 %2 ")	domainEnglishFormat.kif 4254-4254
(format EnglishLanguage profit "the profit from %1 is %2")	domainEnglishFormat.kif 4253-4253
(termFormat ChineseLanguage profit "利润")	domainEnglishFormat.kif 47552-47552
(termFormat ChineseTraditionalLanguage profit "利潤")	domainEnglishFormat.kif 47551-47551
(termFormat EnglishLanguage profit "profit")	domainEnglishFormat.kif 47550-47550

antecedent

(=>
    (and
        (instance ?PSP ProfitSharingPlan)
        (accountHolder ?PSP ?H)
        (employs ?O ?H)
        (profit ?A ?P)
        (agent ?A ?O))
    (exists (?C ?PAY)
        (and
            (instance ?PAY FinancialTransaction)
            (transactionAmount ?PAY ?C)
            (lessThan ?C ?P)
            (destination ?PAY ?PSP))))

FinancialOntology.kif 1136-1148

consequent

(=> (instance ?Investing Investing) (hasPurpose ?Investing (exists (?Profit) (profit ?Investing ?Profit))))	FinancialOntology.kif 477-481	If a physical is an instance of investing, then the physical 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 7301-7306	If a physical is an instance of nonprofit organization, then the physical does not have purpose there exists an entity such that the profit from the physical is the entity