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

(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 は Demonstrating の subclass では %n

appearance as argument number 2

(subclass DramaticPerformance Performance)	Mid-level-ontology.kif 15980-15980	DramaticPerformance は Performance の subclass では %n
(subclass MusicalPerformance Performance)	Mid-level-ontology.kif 15956-15956	MusicalPerformance は Performance の subclass では %n
(subclass PerformanceAct Performance)	Mid-level-ontology.kif 15894-15894	PerformanceAct は Performance の subclass では %n
(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	工程は Performance の instance では %n AutonomousAgent は工程の agent では %n Performer は AutonomousAgent の attribute では %n は工程の time の existence の during holds %n{ない}
(=> (instance ?PERFORMANCE Performance) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (eventLocated ?PERFORMANCE ?STAGE))))	Mid-level-ontology.kif 15887-15892	工程は Performance の instance では %n オブジェクトオブジェクトは PerformanceStage の instance では %n eventLocated 工程 and オブジェクト
(=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic)))))	Mid-level-ontology.kif 15878-15885	工程は Performance の instance では %n 工程工程は工程% の subprocess では %n 工程は DramaticActing の instance では %n 工程は MakingMusic の instance では %n

consequent

(=> (and (attribute ?M LiveRecording) (instance ?M Recording)) (exists (?P) (and (instance ?P Performance) (record ?M ?P))))	Music.kif 378-385	LiveRecording はコンテンツベアリングオブジェクトの attribute では %n コンテンツベアリングオブジェクトは Recording の instance では %n 物理物理は Performance の instance では %n record コンテンツベアリングオブジェクト and 物理
(=> (and (instance ?EP EntertainmentProfession) (attribute ?P ?EP)) (or (occupation ?P (OccupationFn Performance)) (occupation ?P (OccupationFn ContentDevelopment))))	Mid-level-ontology.kif 18948-18954	属性は EntertainmentProfession の instance では %n 属性は人［人間］の attribute では %n occupation 人［人間］ and OccupationFn Performance occupation 人［人間］ and OccupationFn コンテンツ開発
(=> (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	Comedian は AutonomousAgent の attribute では %n AutonomousAgentERF 工程 AutonomousAgentERF は Performance の instance では %n AutonomousAgent は AutonomousAgentERF の agent では %n 工程は Laughing の instance では %n AutonomousAgentERF は工程を causes %n{ない}
(=> (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	ArtsAndRecreationTicketingServices はオブジェクトの attribute では %n オブジェクトはエンティティーエンティティー and エンティティーエンティティーは販売の instance では %n エンティティーはエンティティーの patient では %n オブジェクトはエンティティーの agent では %n エンティティーは Ticket の instance では %n エンティティーはエンティティーに ends %n{ない} エンティティーはオブジェクトはエンティティーがエンティティーエンティティーエンティティーは見ることの instance では %n エンティティーはエンティティーの agent では %n エンティティーはエンティティーの patient では %n エンティティーは Performance の instance では %n エンティティーはスポーツの instance では %n のタスクを実行することはを allows %n{ない} の目的 %n{ない} の目的 %n{ない}
(=> (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	物理は Cinema の instance では %n 物理はエンティティーエンティティーエンティティーは Performance の instance では %n エンティティーは映画の instance では %n エンティティーはエンティティーの patient では %n eventLocated エンティティー and 物理の目的 %n{ない}
(=> (instance ?C EntertainmentCompany) (exists (?P) (and (instance ?P CommercialService) (agent ?P ?C) (instance ?P Performance))))	Mid-level-ontology.kif 7145-7151	AutonomousAgent は EntertainmentCompany の instance では %n 工程工程は CommercialService の instance では %n AutonomousAgent は工程の agent では %n 工程は Performance の instance では %n
(=> (instance ?PROG PerformanceProgram) (exists (?PERF ?PROP) (and (containsInformation ?PROG ?PROP) (realization ?PERF ?PROP) (instance ?PERF Performance))))	Mid-level-ontology.kif 14566-14572	ContentBearingPhysical は PerformanceProgram の instance では %n 工程命題 ContentBearingPhysical は命題の情報を contains %n{ない} 工程は命題の内容を expresses %n{ない} 工程は Performance の instance では %n

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