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 7604-7605 | |
(domain profit 1 FinancialTransaction) | Mid-level-ontology.kif 7602-7602 | profit の数値 1 引数は 金融取引 の instance では %n |
(domain profit 2 CurrencyMeasure) | Mid-level-ontology.kif 7603-7603 | profit の数値 2 引数は 通貨測定 の instance では %n |
(instance profit AsymmetricRelation) | Mid-level-ontology.kif 7600-7600 | profit は 非対称関係 の instance では %n |
(instance profit BinaryPredicate) | Mid-level-ontology.kif 7601-7601 | profit は 2進述語 の instance では %n |
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 47624-47624 | |
(termFormat ChineseTraditionalLanguage profit "利潤") | domainEnglishFormat.kif 47623-47623 | |
(termFormat EnglishLanguage profit "profit") | domainEnglishFormat.kif 47622-47622 |
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 7612-7617 |