Working - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Working

Working(working)

more pictures...

ball-breaker, ball-buster, chore, freelance, job, serve, staff, task, turn_a_trick, work

appearance as argument number 1

(documentation Working EnglishLanguage "Any FinancialTransaction where someone exchanges his/ her labor for an instance of CurrencyMeasure.")	Mid-level-ontology.kif 20499-20500
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/1/ 1a/ WomanFactory1940s.jpg")	pictureList.kif 12176-12176
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Seattle_street_work_03.jpg")	pictureList.kif 12174-12174
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ 2_SOPS_space_systems_operator_040205-F-0000C-001.jpg")	pictureList.kif 12179-12179
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Asian_flight_attendants.jpg")	pictureList.kif 12180-12180
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Woman-typing-on-laptop.jpg")	pictureList.kif 12183-12183
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ Tweedy_and_Popp_02.jpg")	pictureList.kif 12175-12175
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ President_Reagan_alone_in_the_Oval_Office_1984.jpg")	pictureList.kif 12182-12182
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ cb/ Tea_Factory_Srimongol_Sylhet_Bangladesh_6.JPG")	pictureList.kif 12177-12177
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Palmercarpenter.jpg")	pictureList.kif 10342-10342
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Cyclejakob.jpg")	pictureList.kif 12178-12178
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg")	pictureList.kif 12181-12181
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 53/ Shetland_Sheepdog_and_Rough_Collie.jpg/ 230px-Shetland_Sheepdog_and_Rough_Collie.jpg")	pictureList-ImageNet.kif 63-63
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 62/ ShetlandShpdogBlue2_wb.jpg/ 302px-ShetlandShpdogBlue2_wb.jpg")	pictureList-ImageNet.kif 62-62
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c7/ Shetland_sheepdog.jpg/ 800px-Shetland_sheepdog.jpg")	pictureList-ImageNet.kif 64-64
(subclass Working FinancialTransaction)	Mid-level-ontology.kif 20498-20498	Working is a subclass of financial transaction

appearance as argument number 2

(subclass Farming Working)	Mid-level-ontology.kif 20502-20502	Farming is a subclass of working
(subclass Sales Working)	Mid-level-ontology.kif 20523-20523	Sales is a subclass of working
(subclass Serving Working)	Mid-level-ontology.kif 20519-20519	Serving is a subclass of working
(termFormat ChineseLanguage Working "工作的")	domainEnglishFormat.kif 63465-63465
(termFormat ChineseTraditionalLanguage Working "工作的")	domainEnglishFormat.kif 63464-63464
(termFormat EnglishLanguage Working "working")	domainEnglishFormat.kif 63463-63463

antecedent

(=> (and (instance ?W WorkLeave) (instance ?WORK Working) (agent ?W ?PERSON) (agent ?WORK ?PERSON) (instance ?PERSON Human)) (not (overlapsTemporally (WhenFn ?W) (WhenFn ?WORK))))	Mid-level-ontology.kif 20425-20435	If a process is an instance of work leave and the processORK is an instance of working and an agent is an agent of the process and the agent is an agent of the processORK and the agent is an instance of human, then the time of existence of the processORK doesn't overlap the time of existence of the process
(=> (and (workLocation ?O ?S) (member ?P ?O) (instance ?W Working) (agent ?W ?P)) (modalAttribute (located ?W ?S) Likely))	Mid-level-ontology.kif 20534-20542	If members of an organization work at a stationary artifact and an agent is a member of the organization and a process is an instance of working and the agent is an agent of the process, then the statement the process is located at the stationary artifact has the modal force of likely

consequent

(=> (compensationPackage ?Agent ?Money ?Period) (exists (?Activity) (and (instance ?Activity Working) (agent ?Activity ?Agent) (equal ?Period (WhenFn ?Activity)) (incomeEarned ?Agent ?Money ?Activity))))	FinancialOntology.kif 3373-3380	If a human compensation package a currency measure for a time interval, then there exists an organizational process such that the organizational process is an instance of working and the human is an agent of the organizational process and the time interval is equal to the time of existence of the organizational process and the human is income earned the currency measure for the organizational process
(=> (hasOccupation ?PERSON ?WORK) (exists (?INST) (and (instance ?INST ?WORK) (instance ?INST Working) (agent ?INST ?PERSON))))	Mid-level-ontology.kif 21368-21374	If a kind of intentional process has an occupation of a human, then there exists a process such that the process is an instance of a kind of intentional process and the process is an instance of working and the human is an agent of the process
(=> (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 1655-1668	If a physical is an instance of business center, then the physical has the purpose there exist an entity, another entity and a third entity such that business person is an attribute of the entity and the other entity is an instance of working and the third entity is an instance of object and the third entity is located at the physical and the entity is an agent of the other entity and the third entity is an instrument for the other entity or the third entity is a resource for the other entity or the third entity is a patient of the other entity

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