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


KB Term:  Term intersection
English Word: 

  Bathroom

 Sigma KEE - BusinessPerson
BusinessPerson(business person)
baron, big_businessman, business_leader, king, magnate, mogul, plantation_owner, planter, power, top_executive, tycoon

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


(instance BusinessPerson OccupationalRole) Mid-level-ontology.kif 24438-24438 Business person is an instance of occupational role
(documentation BusinessPerson EnglishLanguage "Any of a class of people in a professional occupation such as banking, finance, management, or engineering. This is distinguished from blue collar jobs that primarily involve manual labor rather than thought as the effort expended to derive remuneration. It is also distinguished from professions that may be outwardly similar but are done in a non-profit organization.") Mid-level-ontology.kif 24439-24444 Business person is an instance of occupational role
(externalImage BusinessPerson "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 53/ Versailles_big_four.gif/ 300px_Versailles_big_four.gif") pictureList.kif 1056-1056 Business person is an instance of occupational role

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


(subAttribute BusinessExecutive BusinessPerson) Mid-level-ontology.kif 24446-24446 Business executive is a subattribute of business person
(subAttribute StoreOwner BusinessPerson) Mid-level-ontology.kif 24727-24727 Store owner is a subattribute of business person
(termFormat EnglishLanguage BusinessPerson "business person") domainEnglishFormat.kif 12457-12457 Store owner is a subattribute of business person
(termFormat ChineseTraditionalLanguage BusinessPerson "商務人士") domainEnglishFormat.kif 12458-12458 Store owner is a subattribute of business person
(termFormat ChineseLanguage BusinessPerson "商务人士") domainEnglishFormat.kif 12459-12459 Store owner is a subattribute of business person

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


(=>
    (instance ?X BusinessCenter)
    (hasPurpose ?X
        (exists (?PERSON ?WORK ?OBJ)
            (and
                (attribute ?PERSON BusinessPerson)
                (instance ?WORK Working)
                (instance ?OBJ Object)
                (located ?OBJ ?X)
                (agent ?WORK ?PERSON)
                (or
                    (instrument ?WORK ?OBJ)
                    (resource ?WORK ?OBJ)
                    (patient ?WORK ?OBJ))))))		 Hotel.kif 1666-1679 If X is an instance of business center, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that business person is an attribute of Y (3) Z is an instance of working (4) W is an instance of object (5) W is located at X (6) Y is an agent of Z (7) W is an instrument for Z or W is a resource for Z or W is a patient of Z


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