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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14893-14894
(subclass Business CommercialAgent) Merge.kif 14891-14891
(subclass Business Organization) Merge.kif 14892-14892

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


(subclass Agency Business) Mid-level-ontology.kif 6773-6773
(subclass Bakery Business) Dining.kif 65-65
(subclass Corporation Business) Merge.kif 14900-14900
(subclass Crematorium Business) Media.kif 1692-1692
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 6783-6783
(subclass FinancialCompany Business) Mid-level-ontology.kif 6796-6796
(subclass FuneralArranger Business) Media.kif 1687-1687
(subclass InsuranceCompany Business) Mid-level-ontology.kif 6828-6828
(subclass Partnership Business) Mid-level-ontology.kif 6875-6875
(subclass Proprietorship Business) Mid-level-ontology.kif 6971-6971
(subclass Restaurant Business) Mid-level-ontology.kif 6942-6942
(subclass TransportationCompany Business) Mid-level-ontology.kif 6838-6838

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


(domain businessUnit 2 Business) UXExperimentalTerms.kif 2754-2754
(domain customerValue 2 Business) UXExperimentalTerms.kif 1477-1477

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


(=>
    (and
        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))
UXExperimentalTerms.kif 818-823
(=>
    (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 2801-2810


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