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 16252-16253
(subclass Business CommercialAgent) Merge.kif 16250-16250
(subclass Business Organization) Merge.kif 16251-16251

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


(subclass Agency Business) Mid-level-ontology.kif 7321-7321
(subclass Bakery Business) Dining.kif 65-65
(subclass Corporation Business) Merge.kif 16259-16259
(subclass Crematorium Business) Media.kif 1702-1702
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7331-7331
(subclass FinancialCompany Business) Mid-level-ontology.kif 7344-7344
(subclass FuneralArranger Business) Media.kif 1697-1697
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7364-7364
(subclass Partnership Business) Mid-level-ontology.kif 7430-7430
(subclass Proprietorship Business) Mid-level-ontology.kif 7522-7522
(subclass Restaurant Business) Mid-level-ontology.kif 7494-7494
(subclass TransportationCompany Business) Mid-level-ontology.kif 7392-7392
(termFormat EnglishLanguage Business "business") domainEnglishFormat.kif 64625-64625

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


(domain businessUnit 2 Business) UXExperimentalTerms.kif 2549-2549
(domain customerValue 2 Business) UXExperimentalTerms.kif 1283-1283

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