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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Business

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 16203-16204
(subclass Business CommercialAgent) Merge.kif 16201-16201 Business ist eine teilkategorie von CommercialAgent
(subclass Business Organization) Merge.kif 16202-16202 Business ist eine teilkategorie von Organization

appearance as argument number 2
-------------------------


(subclass Agency Business) Mid-level-ontology.kif 7102-7102 Agency ist eine teilkategorie von Business
(subclass Bakery Business) Dining.kif 65-65 Bakery ist eine teilkategorie von Business
(subclass Corporation Business) Merge.kif 16210-16210 Corporation ist eine teilkategorie von Business
(subclass Crematorium Business) Media.kif 1702-1702 Crematorium ist eine teilkategorie von Business
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7112-7112 EntertainmentCompany ist eine teilkategorie von Business
(subclass FinancialCompany Business) Mid-level-ontology.kif 7125-7125 FinancialCompany ist eine teilkategorie von Business
(subclass FuneralArranger Business) Media.kif 1697-1697 FuneralArranger ist eine teilkategorie von Business
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7145-7145 InsuranceCompany ist eine teilkategorie von Business
(subclass Partnership Business) Mid-level-ontology.kif 7211-7211 Partnership ist eine teilkategorie von Business
(subclass Proprietorship Business) Mid-level-ontology.kif 7303-7303 Proprietorship ist eine teilkategorie von Business
(subclass Restaurant Business) Mid-level-ontology.kif 7275-7275 Restaurant ist eine teilkategorie von Business
(subclass TransportationCompany Business) Mid-level-ontology.kif 7173-7173 TransportationCompany ist eine teilkategorie von Business
(termFormat EnglishLanguage Business "business") domainEnglishFormat.kif 64577-64577

appearance as argument number 3
-------------------------


(domain businessUnit 2 Business) UXExperimentalTerms.kif 2549-2549 Die Zahl 2 Argument von businessUnit ist ein fall von Business %n{nicht}
(domain customerValue 2 Business) UXExperimentalTerms.kif 1283-1283 Die Zahl 2 Argument von customerValue ist ein fall von Business %n{nicht}

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 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