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 15912-15913
(subclass Business CommercialAgent) Merge.kif 15910-15910 Business商业代理人subclass
(subclass Business Organization) Merge.kif 15911-15911 Business机构subclass

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


(subclass Agency Business) Mid-level-ontology.kif 6767-6767 机构Businesssubclass
(subclass Bakery Business) Dining.kif 65-65 BakeryBusinesssubclass
(subclass Corporation Business) Merge.kif 15919-15919 法人财团Businesssubclass
(subclass Crematorium Business) Media.kif 1688-1688 CrematoriumBusinesssubclass
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 6777-6777 娱乐公司Businesssubclass
(subclass FinancialCompany Business) Mid-level-ontology.kif 6790-6790 金融公司Businesssubclass
(subclass FuneralArranger Business) Media.kif 1683-1683 FuneralArrangerBusinesssubclass
(subclass InsuranceCompany Business) Mid-level-ontology.kif 6810-6810 保险公司Businesssubclass
(subclass Partnership Business) Mid-level-ontology.kif 6876-6876 合伙Businesssubclass
(subclass Proprietorship Business) Mid-level-ontology.kif 6968-6968 所有权Businesssubclass
(subclass Restaurant Business) Mid-level-ontology.kif 6940-6940 餐厅Businesssubclass
(subclass TransportationCompany Business) Mid-level-ontology.kif 6838-6838 运输公司Businesssubclass

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


(domain businessUnit 2 Business) UXExperimentalTerms.kif 2759-2759 businessUnit 的 2 数量 是 Businessinstance
(domain customerValue 2 Business) UXExperimentalTerms.kif 1480-1480 customerValue 的 2 数量 是 Businessinstance

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