profit |
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 7631-7632 | |
(domain profit 1 FinancialTransaction) | Mid-level-ontology.kif 7629-7629 | |
(domain profit 2 CurrencyMeasure) | Mid-level-ontology.kif 7630-7630 | |
(instance profit AsymmetricRelation) | Mid-level-ontology.kif 7627-7627 | |
(instance profit BinaryPredicate) | Mid-level-ontology.kif 7628-7628 |
appearance as argument number 2 |
(format ChineseLanguage profit "从 %1 的 profit 是 %2 ") | domainEnglishFormat.kif 4246-4246 | |
(format ChineseTraditionalLanguage profit "從 %1 的 profit 是 %2 ") | domainEnglishFormat.kif 4245-4245 | |
(format EnglishLanguage profit "the profit from %1 is %2") | domainEnglishFormat.kif 4244-4244 | |
(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 1192-1207 |
consequent |
(=> (instance ?Investing Investing) (hasPurpose ?Investing (exists (?Profit) (profit ?Investing ?Profit)))) |
FinancialOntology.kif 501-505 | |
(=> (instance ?N NonprofitOrganization) (not (hasPurpose ?N (exists (?P) (profit ?N ?P))))) |
Mid-level-ontology.kif 7639-7644 |