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 8377-8378
(domain profit 1 FinancialTransaction)	Mid-level-ontology.kif 8375-8375	The number 1 argument of profit is an instance of financial transaction
(domain profit 2 CurrencyMeasure)	Mid-level-ontology.kif 8376-8376	The number 2 argument of profit is an instance of currency measure
(instance profit AsymmetricRelation)	Mid-level-ontology.kif 8373-8373	profit is an instance of asymmetric relation
(instance profit BinaryPredicate)	Mid-level-ontology.kif 8374-8374	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 47655-47655
(termFormat ChineseTraditionalLanguage profit "利潤")	domainEnglishFormat.kif 47654-47654
(termFormat EnglishLanguage profit "profit")	domainEnglishFormat.kif 47653-47653

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 1206-1221

consequent

(=> (instance ?Investing Investing) (hasPurpose ?Investing (exists (?Profit) (profit ?Investing ?Profit))))	FinancialOntology.kif 501-505	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 8385-8390	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