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	O argumento numero 1 de occupation e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20497-20497	O argumento numero 2 de occupation e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20495-20495	occupation e' uma instancia de Predicado Binario

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	Atributo e' uma instancia de EntertainmentProfession Atributo e' um atributo de Humano occupation Humano and OccupationFn Performance occupation Humano and OccupationFn Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20645-20649	Atributo e' uma instancia de Janitor Atributo e' um atributo de Humano occupation Humano and OccupationFn Washing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20679-20683	Atributo e' uma instancia de FilmMakingProfession Atributo e' um atributo de Humano occupation Humano and OccupationFn FilmMaking
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 128-130	Valet e' um atributo de Humano occupation Humano and OccupationFn Dirigir
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18955-18959	Journalist e' um atributo de Humano occupation Humano and OccupationFn Desenvolvimento de Conteudo occupation Humano and OccupationFn Disseminar
No TPTP formula. May not be expressible in strict first order.	Dining.kif 829-832	Chef e' um atributo de Humano occupation Humano and OccupationFn Cozinhar

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