Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Business
Business

appearance as argument number 1
-------------------------


(documentation Business ChineseLanguage "Business 的实例是一个属于 CommercialAgentOrganization。 ") 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
-------------------------


(subclass Agency Business) Mid-level-ontology.kif 7130-7130 子類 機構 and Business
(subclass Bakery Business) Dining.kif 65-65 子類 Bakery and Business
(subclass Corporation Business) Merge.kif 16259-16259 子類 Corporation and Business
(subclass Crematorium Business) Media.kif 1702-1702 子類 Crematorium and Business
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7140-7140 子類 娛樂公司 and Business
(subclass FinancialCompany Business) Mid-level-ontology.kif 7153-7153 子類 金融公司 and Business
(subclass FuneralArranger Business) Media.kif 1697-1697 子類 FuneralArranger and Business
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7173-7173 子類 保險公司 and Business
(subclass Partnership Business) Mid-level-ontology.kif 7239-7239 子類 合夥 and Business
(subclass Proprietorship Business) Mid-level-ontology.kif 7331-7331 子類 所有權 and Business
(subclass Restaurant Business) Mid-level-ontology.kif 7303-7303 子類 餐廳 and Business
(subclass TransportationCompany Business) Mid-level-ontology.kif 7201-7201 子類 運輸公司 and Business
(termFormat EnglishLanguage Business "business") domainEnglishFormat.kif 64579-64579

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners