TreeView Knowledge Base Browser - PerformanceStage

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

PerformanceStage

Sigma KEE - PerformanceStage

PerformanceStage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15748-15749
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4792-4792
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15747-15747	PerformanceStage e' uma sub-classe de Artefato Estacionario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45144-45144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45143-45143
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45142-45142

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7350-7364	Objeto e' uma instancia de AuditoriumSeat Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Auditorium Objeto e' uma instancia de PerformanceStage Objeto e' situado em Objeto Objeto e' uma instancia de Humano Processo e' uma sub-classe de Visao Processo Processo e' uma instancia de Processo Objeto e' um patient de Processo Objeto e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15759-15764	Objeto e' uma instancia de PerformanceStage Objeto Objeto e' uma instancia de Auditorium Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15751-15757	Fisico e' uma instancia de PerformanceStage Fisico tem por fim Entidade Entidade e' uma instancia de Demonstrating eventLocated Entidade and Fisico

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7332-7337	Objeto e' uma instancia de Auditorium Objeto Objeto e' uma instancia de PerformanceStage Objeto e' uma &parte de Objeto
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 15770-15775	Objeto e' uma instancia de PerformanceStageWing Objeto Objeto e' uma instancia de PerformanceStage Objeto e' uma &parte de Objeto

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