TreeView Knowledge Base Browser - Performance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Performance

Performance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15847-15848
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15846-15846	Performance e' uma sub-classe de Demonstrating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15952-15952	DramaticPerformance e' uma sub-classe de Performance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15928-15928	MusicalPerformance e' uma sub-classe de Performance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15866-15866	PerformanceAct e' uma sub-classe de Performance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45108-45108
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45107-45107
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45106-45106

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18849-18854	Processo e' uma instancia de Performance Processo e' um agente de AutonomousAgent Performer e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15859-15864	Processo e' uma instancia de Performance Objeto Objeto e' uma instancia de PerformanceStage eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15850-15857	Processo e' uma instancia de Performance Processo Processo e' um sub-processo de Processo Processo e' uma instancia de DramaticActing Processo e' uma instancia de MakingMusic

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 378-385	LiveRecording e' um atributo de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma instancia de Recording Fisico Fisico e' uma instancia de Performance record Objeto Representendo Conteudo Abstrato and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18920-18926	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 18794-18801	Comedian e' um atributo de AutonomousAgent AutonomousAgentERF Processo AutonomousAgentERF e' uma instancia de Performance AutonomousAgentERF e' um agente de AutonomousAgent Processo e' uma instancia de Laughing AutonomousAgentERF causa Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2353-2372	ArtsAndRecreationTicketingServices e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade e' um agente de Objeto Entidade e' uma instancia de Ticket Entidade termina em Entidade Entidade tem por fim Objeto autoriza Entidade a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Visao Entidade e' um agente de Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Performance Entidade e' uma instancia de Esporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22504-22512	Fisico e' uma instancia de Cinema Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Performance Entidade e' uma instancia de Filme Entidade e' um patient de Entidade eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7117-7123	AutonomousAgent e' uma instancia de EntertainmentCompany Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Performance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14538-14544	ContentBearingPhysical e' uma instancia de PerformanceProgram Processo Proposicao ContentBearingPhysical contem informacao Proposicao Processo exprime o conteudo de Proposicao Processo e' uma instancia de Performance

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