TreeView Knowledge Base Browser - occupation

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 20491-20494
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20496-20496	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 20497-20497	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 20495-20495	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 41596-41596
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41595-41595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41594-41594

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18921-18927	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 20645-20649	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 20679-20683	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 18955-18959	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 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 is open source software produced by Articulate Software and its partners