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 15927-15928
(subclass Business CommercialAgent) Merge.kif 15925-15925
(subclass Business Organization) Merge.kif 15926-15926

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


(subclass Agency Business) Mid-level-ontology.kif 6801-6801
(subclass Bakery Business) Dining.kif 65-65
(subclass Corporation Business) Merge.kif 15934-15934
(subclass Crematorium Business) Media.kif 1688-1688
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 6811-6811
(subclass FinancialCompany Business) Mid-level-ontology.kif 6824-6824
(subclass FuneralArranger Business) Media.kif 1683-1683
(subclass InsuranceCompany Business) Mid-level-ontology.kif 6844-6844
(subclass Partnership Business) Mid-level-ontology.kif 6910-6910
(subclass Proprietorship Business) Mid-level-ontology.kif 7002-7002
(subclass Restaurant Business) Mid-level-ontology.kif 6974-6974
(subclass TransportationCompany Business) Mid-level-ontology.kif 6872-6872

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


(domain businessUnit 2 Business) UXExperimentalTerms.kif 2759-2759
(domain customerValue 2 Business) UXExperimentalTerms.kif 1480-1480

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


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