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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Business

 Sigma KEE - Business
Business(business)business, business_concern, business_organisation, business_organization, concern, enterprise

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 16031-16032
(subclass Business CommercialAgent) Merge.kif 16029-16029 Business is a subclass of commercial agent
(subclass Business Organization) Merge.kif 16030-16030 Business is a subclass of organization

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


(subclass Agency Business) Mid-level-ontology.kif 7063-7063 Agency is a subclass of business
(subclass Bakery Business) Dining.kif 65-65 Bakery is a subclass of business
(subclass Corporation Business) Merge.kif 16038-16038 Corporation is a subclass of business
(subclass Crematorium Business) Media.kif 1702-1702 Crematorium is a subclass of business
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7073-7073 Entertainment company is a subclass of business
(subclass FinancialCompany Business) Mid-level-ontology.kif 7086-7086 Financial company is a subclass of business
(subclass FuneralArranger Business) Media.kif 1697-1697 Funeral arranger is a subclass of business
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7106-7106 Insurance company is a subclass of business
(subclass Partnership Business) Mid-level-ontology.kif 7172-7172 Partnership is a subclass of business
(subclass Proprietorship Business) Mid-level-ontology.kif 7264-7264 Proprietorship is a subclass of business
(subclass Restaurant Business) Mid-level-ontology.kif 7236-7236 Restaurant is a subclass of business
(subclass TransportationCompany Business) Mid-level-ontology.kif 7134-7134 Transportation company is a subclass of business
(termFormat EnglishLanguage Business "business") domainEnglishFormat.kif 64570-64570

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


(domain businessUnit 2 Business) UXExperimentalTerms.kif 2755-2755 The number 2 argument of business unit is an instance of business
(domain customerValue 2 Business) UXExperimentalTerms.kif 1480-1480 The number 2 argument of customer value is an instance of business

consequent
-------------------------


(=>
    (and
        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))		 UXExperimentalTerms.kif 822-827
(=>
    (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 2802-2811


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