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。 ") Merge.kif 16248-16249
(documentation Business EnglishLanguage "An instance of Business is an Organization that is a CommercialAgent.") Merge.kif 16246-16247
(subclass Business CommercialAgent) Merge.kif 16244-16244
(subclass Business Organization) Merge.kif 16245-16245

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


(subclass AdvertisingAgency Business) Society.kif 1424-1424
(subclass Agency Business) Mid-level-ontology.kif 6768-6768
(subclass ArchitectureFirm Business) Society.kif 153-153
(subclass Bakery Business) Dining.kif 65-65
(subclass CommercialFarm Business) Society.kif 1481-1481
(subclass Corporation Business) Merge.kif 16255-16255
(subclass Crematorium Business) Media.kif 1692-1692
(subclass DentalPractice Business) Society.kif 179-179
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 6778-6778
(subclass FinancialCompany Business) Mid-level-ontology.kif 6791-6791
(subclass FuneralArranger Business) Media.kif 1687-1687
(subclass InsuranceCompany Business) Mid-level-ontology.kif 6823-6823
(subclass LawFirm Business) Society.kif 166-166
(subclass MineBusiness Business) Society.kif 1521-1521
(subclass Partnership Business) Mid-level-ontology.kif 6870-6870
(subclass PrivateMedicalClinic Business) Society.kif 192-192
(subclass Proprietorship Business) Mid-level-ontology.kif 6966-6966
(subclass Restaurant Business) Mid-level-ontology.kif 6937-6937
(subclass TransportationCompany Business) Mid-level-ontology.kif 6833-6833

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


(domain businessUnit 2 Business) UXExperimentalTerms.kif 2757-2757
(domain customerValue 2 Business) UXExperimentalTerms.kif 1481-1481

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


(=>
    (instance ?BUS Business)
    (exists (?P)
        (and
            (instance ?P Human)
            (employs ?BUS ?P))))
Society.kif 255-260
(=>
    (instance ?BUS Business)
    (exists (?PP)
        (and
            (instance ?PP PostalPlace)
            (located ?BUS ?PP))))
Society.kif 247-252

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


(=>
    (and
        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))
UXExperimentalTerms.kif 823-828
(=>
    (and
        (instance ?BP BusinessPark)
        (member ?B ?BP))
    (instance ?B Business))
Society.kif 378-382
(=>
    (instance ?AF ArchitectureFirm)
    (exists (?A)
        (and
            (instance ?AF Business)
            (attribute ?A Architect)
            (employs ?AF ?A))))
Society.kif 155-161
(=>
    (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 284-293
(=>
    (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 2804-2813
(=>
    (instance ?DP DentalPractice)
    (exists (?D)
        (and
            (instance ?DP Business)
            (attribute ?D Dentist)
            (employs ?DP ?D))))
Society.kif 181-187
(=>
    (instance ?GM GoldMine)
    (exists (?BUS)
        (and
            (instance ?BUS Business)
            (possesses ?BUS ?GM))))
Society.kif 527-532
(=>
    (instance ?LF LawFirm)
    (exists (?L)
        (and
            (instance ?LF Business)
            (attribute ?L Lawyer)
            (employs ?LF ?L))))
Society.kif 167-173


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners