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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20499-20500
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12176-12176
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12174-12174
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12179-12179
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12180-12180
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12183-12183
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12175-12175
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12182-12182
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12177-12177
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10342-10342
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12178-12178
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12181-12181
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 63-63
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 62-62
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 64-64
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20498-20498	Working is a subclass of financial transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20502-20502	Farming is a subclass of working
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20523-20523	Sales is a subclass of working
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20519-20519	Serving is a subclass of working
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63465-63465
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63464-63464
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63463-63463

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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