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 22108-22111
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22113-22113	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 22114-22114	The number 2 argument of occupation is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22112-22112	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 1827-1827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1826-1826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1825-1825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41604-41604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41603-41603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41602-41602

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20492-20498	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 22262-22266	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 22296-22300	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 132-134	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 20526-20530	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 829-832	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