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

KB Term:  Term intersection
English Word: 

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