TreeView Knowledge Base Browser - OccupationalRole

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

OccupationalRole

Sigma KEE - OccupationalRole

OccupationalRole

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22240-22246
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22235-22238
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22234-22234	OccupationalRole e' uma sub-classe de Role Social

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22147-22147	BusinessPerson e' uma instancia de OccupationalRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22362-22362	Diplomat e' uma instancia de OccupationalRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22412-22412	GovernmentPerson e' uma instancia de OccupationalRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22459-22459	MilitaryPerson e' uma instancia de OccupationalRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22449-22449	StoreOwner e' uma instancia de OccupationalRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8274-8274	ManualLabor e' uma sub-classe de OccupationalRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22275-22275	OccupationalDomain e' uma sub-classe de OccupationalRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8259-8259	SkilledOccupation e' uma sub-classe de OccupationalRole
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41602-41602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41601-41601
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41600-41600
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 451-451
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 454-454
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 456-456
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 490-490
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 455-455

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22248-22252	Atributo e' uma instancia de OccupationalRole Entidade tem um atributo de Atributo Entidade e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22260-22273	Atributo e' uma instancia de OccupationalRole typicalAction Processo and AttrFn Agente Cognitivo and Atributo Processo Posicao Temporal, AutonomousAgent and AutonomousAgentT Processo e' uma instancia de Agente Cognitivo Atributo e' um atributo de Processo vale durante Posicao Temporal AutonomousAgent e' uma instancia de Processo Processo e' um agente de AutonomousAgent AutonomousAgent existe durante AutonomousAgentT AutonomousAgentT e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22254-22258	Atributo e' uma instancia de OccupationalRole Processo typicalAction Processo and AttrFn Agente Cognitivo and Atributo

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