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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Business
Businessbusiness, business_concern, business_organisation, business_organization, concern, enterprise

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


(documentation Business ChineseLanguage "Business 的实例是一个属于 CommercialAgentOrganization。 ") Merge.kif 16379-16380
(documentation Business EnglishLanguage "An instance of Business is an Organization that is a CommercialAgent.") Merge.kif 16377-16378
(subclass Business CommercialAgent) Merge.kif 16375-16375 Business is a subclass of commercial agent
(subclass Business Organization) Merge.kif 16376-16376 Business is a subclass of organization

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


(subclass Agency Business) Mid-level-ontology.kif 6772-6772 Agency is a subclass of Business
(subclass Bakery Business) Dining.kif 65-65 Bakery is a subclass of Business
(subclass Corporation Business) Merge.kif 16386-16386 Corporation is a subclass of Business
(subclass Crematorium Business) Media.kif 1692-1692 Crematorium is a subclass of Business
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 6782-6782 Entertainment company is a subclass of Business
(subclass FinancialCompany Business) Mid-level-ontology.kif 6795-6795 Financial company is a subclass of Business
(subclass FuneralArranger Business) Media.kif 1687-1687 FuneralArranger is a subclass of Business
(subclass InsuranceCompany Business) Mid-level-ontology.kif 6827-6827 Insurance company is a subclass of Business
(subclass Partnership Business) Mid-level-ontology.kif 6874-6874 Partnership is a subclass of Business
(subclass Proprietorship Business) Mid-level-ontology.kif 6970-6970 Proprietorship is a subclass of Business
(subclass Restaurant Business) Mid-level-ontology.kif 6941-6941 Restaurant is a subclass of Business
(subclass TransportationCompany Business) Mid-level-ontology.kif 6837-6837 Transportation company is a subclass of Business

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


(domain businessUnit 2 Business) UXExperimentalTerms.kif 2756-2756 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 2803-2812


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners