occupation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - occupation

occupation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16953-16956
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16958-16958	The number 1 argument of occupation is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16959-16959	The number 2 argument of occupation is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16957-16957	occupation is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1823-1823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1822-1822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1821-1821
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41581-41581
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41580-41580
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41579-41579

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15460-15466	If an attribute is an instance of entertainment profession and the attribute is an attribute of a human, then the occupation of performance is an occupation of the human or the occupation of content development is an occupation of the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17050-17054	If an attribute is an instance of janitor and the attribute is an attribute of a human, then the occupation of washing is an occupation of the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17084-17088	If an attribute is an instance of film making profession and the attribute is an attribute of a human, then the occupation of film making is an occupation of the human
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 128-130	If valet is an attribute of a human, then the occupation of driving is an occupation of the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15494-15498	If journalist is an attribute of a human, then the occupation of content development is an occupation of the human and the occupation of disseminating is an occupation of the human
No TPTP formula. May not be expressible in strict first order.	Dining.kif 782-785	If chef is an attribute of a human, then the occupation of cooking is an occupation of the human

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