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

(documentation Performance EnglishLanguage "A Demonstrating which includes DramaticActing and/ or MakingMusic and which is intended to entertain the audience.")	Mid-level-ontology.kif 15875-15876
(subclass Performance Demonstrating)	Mid-level-ontology.kif 15874-15874	Performance ist eine teilkategorie von Demonstrating

appearance as argument number 2

(subclass DramaticPerformance Performance)	Mid-level-ontology.kif 15980-15980	DramaticPerformance ist eine teilkategorie von Performance
(subclass MusicalPerformance Performance)	Mid-level-ontology.kif 15956-15956	MusicalPerformance ist eine teilkategorie von Performance
(subclass PerformanceAct Performance)	Mid-level-ontology.kif 15894-15894	PerformanceAct ist eine teilkategorie von Performance
(termFormat ChineseLanguage Performance "性能")	domainEnglishFormat.kif 45110-45110
(termFormat ChineseTraditionalLanguage Performance "性能")	domainEnglishFormat.kif 45109-45109
(termFormat EnglishLanguage Performance "performance")	domainEnglishFormat.kif 45108-45108

antecedent

(=> (and (instance ?P Performance) (agent ?P ?A)) (holdsDuring (WhenFn ?P) (attribute ?A Performer)))	Mid-level-ontology.kif 18877-18882	Wenn Process ist ein fall von Performance %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann Performer ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (instance ?PERFORMANCE Performance) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (eventLocated ?PERFORMANCE ?STAGE))))	Mid-level-ontology.kif 15887-15892	Wenn Process ist ein fall von Performance %n{nicht}, dann es gibt Object um Object ist ein fall von PerformanceStage %n{nicht} und eventLocated Process and ** Object
(=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic)))))	Mid-level-ontology.kif 15878-15885	Wenn Process ist ein fall von Performance %n{nicht}, dann es gibt Process um Process ist ein subProzess von Process und Process ist ein fall von DramaticActing %n{nicht} oder Process ist ein fall von MakingMusic %n{nicht}

consequent

(=> (and (attribute ?M LiveRecording) (instance ?M Recording)) (exists (?P) (and (instance ?P Performance) (record ?M ?P))))	Music.kif 378-385	Wenn LiveRecording ist ein attribut von ContentBearingObject %n{nicht} und ContentBearingObject ist ein fall von Recording %n{nicht}, dann es gibt Physical um Physical ist ein fall von Performance %n{nicht} und record ContentBearingObject and Physical
(=> (and (instance ?EP EntertainmentProfession) (attribute ?P ?EP)) (or (occupation ?P (OccupationFn Performance)) (occupation ?P (OccupationFn ContentDevelopment))))	Mid-level-ontology.kif 18948-18954	Wenn Attribute ist ein fall von EntertainmentProfession %n{nicht} und Attribute ist ein attribut von Human %n{nicht}, dann occupation Human and OccupationFn Performance oder occupation ** Human and OccupationFn ContentDevelopment
(=> (attribute ?P Comedian) (exists (?PERF ?L) (and (instance ?PERF Performance) (agent ?PERF ?P) (instance ?L Laughing) (causes ?PERF ?L))))	Mid-level-ontology.kif 18822-18829	Wenn Comedian ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt AutonomousAgentERF und Process um AutonomousAgentERF ist ein fall von Performance %n{nicht} und AutonomousAgentERF ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von Laughing %n{nicht} und AutonomousAgentERF verursacht Process %n{nicht}
(=> (attribute ?X ArtsAndRecreationTicketingServices) (hasPurpose ?X (exists (?SELL ?TICKET ?CUST) (and (instance ?SELL Selling) (patient ?SELL ?TICKET) (agent ?SELL ?X) (instance ?TICKET Ticket) (destination ?SELL ?CUST) (hasPurpose ?TICKET (confersRight (exists (?WATCH ?PERF) (and (instance ?WATCH Seeing) (agent ?WATCH ?CUST) (patient ?WATCH ?PERF) (or (instance ?PERF Performance) (instance ?PERF Sport)))) ?X ?CUST))))))	Hotel.kif 2353-2372	Wenn ArtsAndRecreationTicketingServices ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Selling %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist der agent von Object %n{nicht} und entity ist ein fall von Ticket %n{nicht} und entity endet an entity %n{nicht} und entity hat Zweck von Object erlaubt entity, die Aufgabe der Art von es gibt entity und entity um entity ist ein fall von Seeing %n{nicht} und entity ist der agent von entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Performance %n{nicht} oder ** entity ist ein fall von Sport %n{nicht} durchzuf�hren %n{nicht} %n{nicht} %n{nicht}
(=> (instance ?C Cinema) (hasPurpose ?C (exists (?FILM ?P) (and (instance ?P Performance) (instance ?FILM MotionPicture) (patient ?P ?FILM) (eventLocated ?P ?C)))))	Mid-level-ontology.kif 22557-22565	Wenn Physical ist ein fall von Cinema %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Performance %n{nicht} und entity ist ein fall von MotionPicture %n{nicht} und entity ist ein patient von entity %n{nicht} und eventLocated entity and ** Physical %n{nicht}
(=> (instance ?C EntertainmentCompany) (exists (?P) (and (instance ?P CommercialService) (agent ?P ?C) (instance ?P Performance))))	Mid-level-ontology.kif 7145-7151	Wenn AutonomousAgent ist ein fall von EntertainmentCompany %n{nicht}, dann es gibt Process um Process ist ein fall von CommercialService %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von Performance %n{nicht}
(=> (instance ?PROG PerformanceProgram) (exists (?PERF ?PROP) (and (containsInformation ?PROG ?PROP) (realization ?PERF ?PROP) (instance ?PERF Performance))))	Mid-level-ontology.kif 14566-14572	Wenn ContentBearingPhysical ist ein fall von PerformanceProgram %n{nicht}, dann es gibt Process und Proposition um ContentBearingPhysical enthaelt Informationen ueber Proposition und Process druekt den Inhalt von Proposition aus und ** Process ist ein fall von Performance %n{nicht}

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