Business |
appearance as argument number 1 |
(documentation Business ChineseLanguage "Business 的实例是一个属于 CommercialAgent 的 Organization。 ") | chinese_format.kif 3660-3661 | |
(documentation Business EnglishLanguage "An instance of Business is an Organization that is a CommercialAgent.") | Merge.kif 16252-16253 | |
(subclass Business CommercialAgent) | Merge.kif 16250-16250 | 子類 Business and 商業代理人 |
(subclass Business Organization) | Merge.kif 16251-16251 | 子類 Business and Organization |
appearance as argument number 2 |
appearance as argument number 3 |
(domain businessUnit 2 Business) | UXExperimentalTerms.kif 2549-2549 | 域 businessUnit, 2 and Business |
(domain customerValue 2 Business) | UXExperimentalTerms.kif 1283-1283 | 域 customerValue, 2 and Business |
consequent |
(=> (and (instance ?ACCOUNT UserAccount) (attribute ?ACCOUNT BusinessAccount) (hasAccount ?USER ?ACCOUNT)) (instance ?USER Business)) |
UXExperimentalTerms.kif 660-665 |
|
(=> (instance ?BRD BusinessRequirementDocument) (exists (?PLAN ?BU ?PROC) (and (instance ?PLAN Plan) (instance ?BU Business) (instance ?PROC Process) (represents ?PLAN ?PROC) (desires ?BU ?PROC) (containsInformation ?BRD ?PLAN)))) |
UXExperimentalTerms.kif 2596-2605 |
|