Performance - Sigma Knowledge base Browser

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 est une sous-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 est une sous-classe de Performance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15928-15928	MusicalPerformance est une sous-classe de Performance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15866-15866	PerformanceAct est une sous-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	Processus est une instance de Performance processus est un agent de AutonomousAgent Performer est un attribut de AutonomousAgent pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15859-15864	Processus est une instance de Performance objet objet est une instance de PerformanceStage eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15850-15857	Processus est une instance de Performance processus processus est un sous-processus de processus processus est une instance de DramaticActing processus est une instance de MakingMusic

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 378-385	LiveRecording est un attribut de objet exprimant un sens objet exprimant un sens est une instance de Recording physique physique est une instance de Performance record objet exprimant un sens and physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18920-18926	Attribut est une instance de EntertainmentProfession attribut est un attribut de humain occupation humain and OccupationFn Performance occupation humain and OccupationFn d�veloppement de contenu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18794-18801	Comedian est un attribut de AutonomousAgent AutonomousAgentERF processus AutonomousAgentERF est une instance de Performance AutonomousAgentERF est un agent de AutonomousAgent processus est une instance de Laughing AutonomousAgentERF cause processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2353-2372	ArtsAndRecreationTicketingServices est un attribut de objet objet a pour but entit� entit� and entit� entit� est une instance de vendre entit� est un patient de entit� entit� est un agent de objet entit� est une instance de Ticket entit� aboutit � entit� entit� a pour but objet autorise entit� � ex�cut� des t�ches du type entit� entit� entit� est une instance de voir entit� est un agent de entit� entit� est un patient de entit� entit� est une instance de Performance entit� est une instance de sport
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22504-22512	Physique est une instance de Cinema physique a pour but entit� entit� entit� est une instance de Performance entit� est une instance de motion picture entit� est un patient de entit� eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7117-7123	AutonomousAgent est une instance de EntertainmentCompany processus processus est une instance de CommercialService processus est un agent de AutonomousAgent processus est une instance de Performance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14538-14544	ContentBearingPhysical est une instance de PerformanceProgram processus proposition ContentBearingPhysical contient information proposition processus exprime le contenu de proposition processus est une instance de Performance

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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