| 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 e' uma sub-classe de CommercialAgent |
| (subclass Business Organization) | Merge.kif 16251-16251 | Business e' uma sub-classe de Organizacao |
| appearance as argument number 2 |
|
|
| (subclass Agency Business) | Mid-level-ontology.kif 7130-7130 | Agency e' uma sub-classe de Business |
| (subclass Bakery Business) | Dining.kif 65-65 | Bakery e' uma sub-classe de Business |
| (subclass Corporation Business) | Merge.kif 16259-16259 | Empresa e' uma sub-classe de Business |
| (subclass Crematorium Business) | Media.kif 1702-1702 | Crematorium e' uma sub-classe de Business |
| (subclass EntertainmentCompany Business) | Mid-level-ontology.kif 7140-7140 | EntertainmentCompany e' uma sub-classe de Business |
| (subclass FinancialCompany Business) | Mid-level-ontology.kif 7153-7153 | FinancialCompany e' uma sub-classe de Business |
| (subclass FuneralArranger Business) | Media.kif 1697-1697 | FuneralArranger e' uma sub-classe de Business |
| (subclass InsuranceCompany Business) | Mid-level-ontology.kif 7173-7173 | InsuranceCompany e' uma sub-classe de Business |
| (subclass Partnership Business) | Mid-level-ontology.kif 7239-7239 | Partnership e' uma sub-classe de Business |
| (subclass Proprietorship Business) | Mid-level-ontology.kif 7331-7331 | Proprietorship e' uma sub-classe de Business |
| (subclass Restaurant Business) | Mid-level-ontology.kif 7303-7303 | Restaurant e' uma sub-classe de Business |
| (subclass TransportationCompany Business) | Mid-level-ontology.kif 7201-7201 | TransportationCompany e' uma sub-classe de Business |
| (termFormat EnglishLanguage Business "business") | domainEnglishFormat.kif 64579-64579 |
| appearance as argument number 3 |
|
|
| (domain businessUnit 2 Business) | UXExperimentalTerms.kif 2549-2549 | O argumento numero 2 de businessUnit e' uma instancia de Business |
| (domain customerValue 2 Business) | UXExperimentalTerms.kif 1283-1283 | O argumento numero 2 de customerValue e' uma instancia 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 |
|
|
|
|