| Business | | business, business_concern, business_organisation, business_organization, concern, enterprise |
| appearance as argument number 1 |
|
|
| s__documentation(s__Business,s__ChineseLanguage,'"Business 的实例是一个属于 CommercialAgent 的 Organization。 "')
|
chinese_format.kif 3660-3661 | |
| s__documentation(s__Business,s__EnglishLanguage,'"An instance of Business is an Organization that is a CommercialAgent."')
|
Merge.kif 15405-15406 | |
| s__subclass(s__Business,s__CommercialAgent) s__instance(s__Business,s__SetOrClass) s__instance(s__CommercialAgent,s__SetOrClass)
|
Merge.kif 15403-15403 | Business is a subclass of commercial agent |
| s__instance(s__Organization,s__SetOrClass) s__instance(s__Business,s__SetOrClass) s__subclass(s__Business,s__Organization)
|
Merge.kif 15404-15404 | Business is a subclass of organization |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__businessUnit__m,n__2,s__Business)
|
UXExperimentalTerms.kif 2759-2759 | The number 2 argument of business unit is an instance of Business |
| s__domain(s__customerValue__m,n__2,s__Business)
|
UXExperimentalTerms.kif 1480-1480 | The number 2 argument of customer value is an instance of Business |
| consequent |
|
|
| ( ! [V__USER,V__ACCOUNT] : ((s__instance(V__USER,s__Agent) => (((s__instance(V__ACCOUNT,s__UserAccount) & s__attribute(V__ACCOUNT,s__BusinessAccount) & s__hasAccount(V__USER,V__ACCOUNT)) => (s__instance(V__USER,s__Business))))) ) )
|
UXExperimentalTerms.kif 822-827 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2806-2815 |
|
|
|
|