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 16181-16182
(subclass Business CommercialAgent) Merge.kif 16179-16179 BusinessCommercialAgentsubclass では %n
(subclass Business Organization) Merge.kif 16180-16180 Business組織subclass では %n

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


(subclass Agency Business) Mid-level-ontology.kif 7103-7103 AgencyBusinesssubclass では %n
(subclass Bakery Business) Dining.kif 65-65 BakeryBusinesssubclass では %n
(subclass Corporation Business) Merge.kif 16188-16188 法人Businesssubclass では %n
(subclass Crematorium Business) Media.kif 1702-1702 CrematoriumBusinesssubclass では %n
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7113-7113 EntertainmentCompanyBusinesssubclass では %n
(subclass FinancialCompany Business) Mid-level-ontology.kif 7126-7126 FinancialCompanyBusinesssubclass では %n
(subclass FuneralArranger Business) Media.kif 1697-1697 FuneralArrangerBusinesssubclass では %n
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7146-7146 InsuranceCompanyBusinesssubclass では %n
(subclass Partnership Business) Mid-level-ontology.kif 7212-7212 PartnershipBusinesssubclass では %n
(subclass Proprietorship Business) Mid-level-ontology.kif 7304-7304 ProprietorshipBusinesssubclass では %n
(subclass Restaurant Business) Mid-level-ontology.kif 7276-7276 RestaurantBusinesssubclass では %n
(subclass TransportationCompany Business) Mid-level-ontology.kif 7174-7174 TransportationCompanyBusinesssubclass では %n
(termFormat EnglishLanguage Business "business") domainEnglishFormat.kif 64577-64577

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


(domain businessUnit 2 Business) UXExperimentalTerms.kif 2549-2549 businessUnit の数値 2 引数は Businessinstance では %n
(domain customerValue 2 Business) UXExperimentalTerms.kif 1283-1283 customerValue の数値 2 引数は Businessinstance では %n

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 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 3.0 is open source software produced by Articulate Software and its partners