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 16181-16182 | |
(subclass Business CommercialAgent) | Merge.kif 16179-16179 | Business est une sous-classe de CommercialAgent |
(subclass Business Organization) | Merge.kif 16180-16180 | Business est une sous-classe de organisation |
appearance as argument number 2 |
(subclass Agency Business) | Mid-level-ontology.kif 7103-7103 | Agency est une sous-classe de Business |
(subclass Bakery Business) | Dining.kif 65-65 | Bakery est une sous-classe de Business |
(subclass Corporation Business) | Merge.kif 16188-16188 | Corporation est une sous-classe de Business |
(subclass Crematorium Business) | Media.kif 1702-1702 | Crematorium est une sous-classe de Business |
(subclass EntertainmentCompany Business) | Mid-level-ontology.kif 7113-7113 | EntertainmentCompany est une sous-classe de Business |
(subclass FinancialCompany Business) | Mid-level-ontology.kif 7126-7126 | FinancialCompany est une sous-classe de Business |
(subclass FuneralArranger Business) | Media.kif 1697-1697 | FuneralArranger est une sous-classe de Business |
(subclass InsuranceCompany Business) | Mid-level-ontology.kif 7146-7146 | InsuranceCompany est une sous-classe de Business |
(subclass Partnership Business) | Mid-level-ontology.kif 7212-7212 | Partnership est une sous-classe de Business |
(subclass Proprietorship Business) | Mid-level-ontology.kif 7304-7304 | Proprietorship est une sous-classe de Business |
(subclass Restaurant Business) | Mid-level-ontology.kif 7276-7276 | Restaurant est une sous-classe de Business |
(subclass TransportationCompany Business) | Mid-level-ontology.kif 7174-7174 | TransportationCompany est une sous-classe de Business |
(termFormat EnglishLanguage Business "business") | domainEnglishFormat.kif 64577-64577 |
appearance as argument number 3 |
(domain businessUnit 2 Business) | UXExperimentalTerms.kif 2549-2549 | Le nombre 2 argument de businessUnit est une instance de Business |
(domain customerValue 2 Business) | UXExperimentalTerms.kif 1283-1283 | Le nombre 2 argument de customerValue est une instance de 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 |
|