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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 16151-16152
(subclass Business CommercialAgent) Merge.kif 16149-16149 Business商业代理人subclass
(subclass Business Organization) Merge.kif 16150-16150 Business机构subclass

appearance as argument number 2

(subclass Agency Business) Mid-level-ontology.kif 7075-7075 机构Businesssubclass
(subclass Bakery Business) Dining.kif 65-65 BakeryBusinesssubclass
(subclass Corporation Business) Merge.kif 16158-16158 法人财团Businesssubclass
(subclass Crematorium Business) Media.kif 1702-1702 CrematoriumBusinesssubclass
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7085-7085 娱乐公司Businesssubclass
(subclass FinancialCompany Business) Mid-level-ontology.kif 7098-7098 金融公司Businesssubclass
(subclass FuneralArranger Business) Media.kif 1697-1697 FuneralArrangerBusinesssubclass
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7118-7118 保险公司Businesssubclass
(subclass Partnership Business) Mid-level-ontology.kif 7184-7184 合伙Businesssubclass
(subclass Proprietorship Business) Mid-level-ontology.kif 7276-7276 所有权Businesssubclass
(subclass Restaurant Business) Mid-level-ontology.kif 7248-7248 餐厅Businesssubclass
(subclass TransportationCompany Business) Mid-level-ontology.kif 7146-7146 运输公司Businesssubclass
(termFormat EnglishLanguage Business "business") domainEnglishFormat.kif 64589-64589

appearance as argument number 3

(domain businessUnit 2 Business) UXExperimentalTerms.kif 2557-2557 businessUnit 的 2 数量 是 Businessinstance
(domain customerValue 2 Business) UXExperimentalTerms.kif 1283-1283 customerValue 的 2 数量 是 Businessinstance


        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))
UXExperimentalTerms.kif 660-665
    (instance ?BRD BusinessRequirementDocument)
    (exists (?PLAN ?BU ?PROC)
            (instance ?PLAN Plan)
            (instance ?BU Business)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (desires ?BU ?PROC)
            (containsInformation ?BRD ?PLAN))))
UXExperimentalTerms.kif 2604-2613

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

Show without tree

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