Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Business

 Sigma KEE - Business
Business(business)business, business_concern, business_organisation, business_organization, concern, enterprise

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


(subclass Business CommercialAgent) Merge.kif 16535-16535 Business is a subclass of commercial agent
(subclass Business Organization) Merge.kif 16536-16536 Business is a subclass of organization
(documentation Business EnglishLanguage "An instance of Business is an Organization that is a CommercialAgent.") Merge.kif 16537-16538 Business is a subclass of organization

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


(subclass Corporation Business) Merge.kif 16544-16544 Corporation is a subclass of business
(subclass Agency Business) Mid-level-ontology.kif 8419-8419 Agency is a subclass of business
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 8429-8429 Entertainment company is a subclass of business
(subclass FinancialCompany Business) Mid-level-ontology.kif 8442-8442 Financial company is a subclass of business
(subclass InsuranceCompany Business) Mid-level-ontology.kif 8462-8462 Insurance company is a subclass of business
(subclass TransportationCompany Business) Mid-level-ontology.kif 8471-8471 Transportation company is a subclass of business
(subclass Partnership Business) Mid-level-ontology.kif 8509-8509 Partnership is a subclass of business
(subclass Restaurant Business) Mid-level-ontology.kif 8573-8573 Restaurant is a subclass of business
(subclass Proprietorship Business) Mid-level-ontology.kif 8601-8601 Proprietorship is a subclass of business
(subclass Bakery Business) Dining.kif 65-65 Bakery is a subclass of business
(subclass FuneralArranger Business) Media.kif 1644-1644 Funeral arranger is a subclass of business
(subclass Crematorium Business) Media.kif 1649-1649 Crematorium is a subclass of business
(subclass ArchitectureFirm Business) Society.kif 153-153 ArchitectureFirm is a subclass of business
(subclass LawFirm Business) Society.kif 166-166 Law firm is a subclass of business
(subclass DentalPractice Business) Society.kif 179-179 DentalPractice is a subclass of business
(subclass PrivateMedicalClinic Business) Society.kif 192-192 PrivateMedicalClinic is a subclass of business
(subclass AdvertisingAgency Business) Society.kif 1433-1433 AdvertisingAgency is a subclass of business
(subclass CommercialFarm Business) Society.kif 1490-1490 CommercialFarm is a subclass of business
(subclass MineBusiness Business) Society.kif 1530-1530 MineBusiness is a subclass of business
(termFormat EnglishLanguage Business "business") domainEnglishFormat.kif 64580-64580 MineBusiness is a subclass of business

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


(domain customerValue 2 Business) UXExperimentalTerms.kif 1283-1283 The number 2 argument of customer value is an instance of business
(domain businessUnit 2 Business) UXExperimentalTerms.kif 2550-2550 The number 2 argument of business unit is an instance of business

antecedent
-------------------------


(=>
    (instance ?BUS Business)
    (exists (?PP)
        (and
            (instance ?PP PostalPlace)
            (located ?BUS ?PP))))		 Society.kif 247-252 If X is an instance of business, then there exists Y such that Y is an instance of postal place and X is located at Y
(=>
    (instance ?BUS Business)
    (exists (?P)
        (and
            (instance ?P Human)
            (employs ?BUS ?P))))		 Society.kif 255-260 If X is an instance of business, then there exists Y such that Y is an instance of human and X employs Y

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


(=>
    (and
        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))		 UXExperimentalTerms.kif 660-665 If X is an instance of user account, business account is an attribute of X, and Y has account X, then Y is an instance of business
(=>
    (instance ?BRD BusinessRequirementDocument)
    (exists (?PLAN ?BU ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?BU Business)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (wants ?BU ?PROC)
            (containsInformation ?BRD ?PLAN))))		 UXExperimentalTerms.kif 2597-2606 If X is an instance of business requirement document, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of plan (3) Z is an instance of business (4) W is an instance of process (5) Y expresses W (6) Z wants W (7) X contains information Y
(=>
    (instance ?AF ArchitectureFirm)
    (exists (?A)
        (and
            (instance ?AF Business)
            (attribute ?A Architect)
            (employs ?AF ?A))))		 Society.kif 155-161 If X is an instance of ArchitectureFirm, then there exists Y such that X is an instance of business, architect is an attribute of Y, and X employs Y
(=>
    (instance ?LF LawFirm)
    (exists (?L)
        (and
            (instance ?LF Business)
            (attribute ?L Lawyer)
            (employs ?LF ?L))))		 Society.kif 167-173 If X is an instance of law firm, then there exists Y such that X is an instance of business, lawyer is an attribute of Y, and X employs Y
(=>
    (instance ?DP DentalPractice)
    (exists (?D)
        (and
            (instance ?DP Business)
            (attribute ?D Dentist)
            (employs ?DP ?D))))		 Society.kif 181-187 If X is an instance of DentalPractice, then there exists Y such that X is an instance of business, dentist is an attribute of Y, and X employs Y
(=>
    (instance ?AF ArchitectureFirm)
    (exists (?DATE ?F ?A)
        (and
            (attribute ?A Architect)
            (instance ?F Founding)
            (instance ?AF Business)
            (foundingdate ?AF ?DATE)
            (result ?F ?AF)
            (agent ?F ?A))))		 Society.kif 286-295 If X is an instance of ArchitectureFirm, then All of the following hold: (1) there exist Y, Z (2) W such that architect is an attribute of W (3) Z is an instance of founding (4) X is an instance of business (5) foundingdate X (6) Y (7) X is a result of Z (8) W is an agent of Z
(=>
    (and
        (instance ?BP BusinessPark)
        (member ?B ?BP))
    (instance ?B Business))		 Society.kif 380-384 If X is an instance of BusinessPark and Y is a member of X, then Y is an instance of business
(=>
    (instance ?GM GoldMine)
    (exists (?BUS)
        (and
            (instance ?BUS Business)
            (possesses ?BUS ?GM))))		 Society.kif 529-534 If X is an instance of gold mine, then there exists Y such that Y is an instance of business and Y possesses X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners