TreeView Knowledge Base Browser

appearance as argument number 1

(documentation realization ChineseLanguage "这是 represents 的一个子关系， (realization ?PROCESS ?PROP) 的意思是 ?PROCESS 是一个表达 ?PROP 内容的过程。例子包括：一个演绎一分乐谱内容的特定音乐表演，或是讀一首诗。")	chinese_format.kif 2198-2200
(documentation realization EnglishLanguage "A subrelation of represents. (realization ?PROCESS ?PROP) means that ?PROCESS is a Process which expresses the content of ?PROP. Examples include a particular musical performance, which realizes the content of a musical score, or the reading of a poem.")	Merge.kif 4603-4607
(documentation realization JapaneseLanguage "represents のサブリレーション。(realization ?PROCESS ?PROP) とは、PROCESS が　?PROPP の内容を表すプロセスであることを意味する。　例：楽譜の内容や詩の読み取りを実現する特定の音楽パフォーマンスなど。")	japanese_format.kif 862-864
(domain realization 1 Process)	Merge.kif 4598-4598	域實現, 1 and Process
(domain realization 2 Proposition)	Merge.kif 4599-4599	域實現, 2 and Proposition
(instance realization AsymmetricRelation)	Merge.kif 4597-4597	例實現 and AsymmetricRelation
(relatedInternalConcept realization containsInformation)	Merge.kif 4601-4601	相關的內部概念實現 and 包含信息
(relatedInternalConcept realization equivalentContentInstance)	Merge.kif 4600-4600	相關的內部概念實現 and 等效內容實例
(subrelation realization represents)	Merge.kif 4596-4596	子關係實現 and 代表

appearance as argument number 2

(format ChineseLanguage realization "%1 %n{doesn't} 表示 %2 的内容")	chinese_format.kif 223-223
(format EnglishLanguage realization "%1 %n{doesn't} express%p{es} the content of %2")	english_format.kif 224-224
(format FrenchLanguage realization "%1 %n{n'} exprime %n{pas} le contenu de %2")	french_format.kif 131-131
(format ItalianLanguage realization "%1 esprime il contenuto di %2")	relations-it.txt 242-242
(format JapaneseLanguage realization "%1 は %2 の内容を express%p{es} %n{ない}")	japanese_format.kif 1960-1960
(format PortugueseLanguage realization "%1 %n{nao} exprime %n o conteudo de %2")	portuguese_format.kif 83-83
(format de realization "%1 druekt den Inhalt von %2 aus")	relations-de.txt 290-290
(format hi realization "%1 %2 ke aadheya ko abhivyakta karataa hai")	relations-hindi.txt 280-280
(format ro realization "%1 %n{nu} express%t{materializeazã} conþinutul lui %2")	relations-ro.kif 150-150
(format sv realization "%1 uttrycker %n{inte} innehållet i %2")	relations-sv.txt 136-136
(format tg realization "%1 ay nagtatanto ng %2")	relations-tg.txt 434-434
(termFormat ChineseLanguage realization "体现")	chinese_format.kif 224-224
(termFormat ChineseLanguage realization "实现")	domainEnglishFormat.kif 48916-48916
(termFormat ChineseTraditionalLanguage realization "實現")	domainEnglishFormat.kif 48915-48915
(termFormat EnglishLanguage realization "realization")	domainEnglishFormat.kif 48914-48914
(termFormat de realization "realizierung")	terms-de.txt 93-93

antecedent

(=> (and (equal ?S (SongFn ?MC ?LC)) (realization ?S ?MUSIC)) (exists (?MM ?MV) (and (patient ?MM ?MC) (patient ?MV ?LC) (subProcess ?MM ?MUSIC) (subProcess ?MV ?MUSIC))))	Music.kif 867-876	等於歌曲 and song 構成音樂作品和 LyricalContent 實現歌曲 and Process Process Process 患者 Process and 音樂作品患者 Process and LyricalContent 子過程 Process and Process 子過程 Process and Process
(=> (and (instance ?CAO CivilAffairsOperation) (located ?CAO ?NATION) (instance ?NATION Nation) (instance ?LAW (RegionalLawFn ?NATION)) (realization ?CAO ?CONTENT)) (consistent ?LAW ?CONTENT))	MilitaryProcesses.kif 2244-2252	例 Process and 民政運作位於 Process and GeopoliticalArea 例 GeopoliticalArea and Nation 例 Proposition and GeopoliticalArea 的 regional 法律實現 Process and Proposition Proposition 是 Proposition 的 consistent
(=> (and (instance ?D Diet) (realization ?P ?D)) (exists (?E) (and (subProcess ?E ?P) (instance ?E Eating))))	Mid-level-ontology.kif 21560-21567	例 Proposition and 飲食實現 Process and Proposition Process 子過程 Process and Process 例 Process and Eating
(=> (and (instance ?G Choreographing) (result ?G ?P) (realization ?D ?P)) (instance ?D Dancing))	Mid-level-ontology.kif 16074-16079	例 Process and 編排結果 Process and Proposition 實現 Process and Proposition 例 Process and Dancing
(=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic))	Mid-level-ontology.kif 13768-13772	例 Proposition and Music 實現 Process and Proposition 例 Process and MakingMusic
(=> (and (instance ?MC MusicalComposition) (realization ?MC ?MUSIC)) (not (exists (?LC ?V) (and (instance ?V Singing) (patient ?V ?LC) (instance ?LC LyricalContent) (subProcess ?V ?MUSIC)))))	Mid-level-ontology.kif 13779-13789	例 Process and 音樂作品實現 Process and Process Entity Process 例 Process and 唱歌患者 Process and Entity 例 Entity and LyricalContent 子過程 Process and Process
(=> (and (instance ?OPERA Opera) (realization ?ACT ?OPERA)) (instance ?ACT MakingMusic))	Mid-level-ontology.kif 14993-14997	例 Proposition and 歌劇實現 Process and Proposition 例 Process and MakingMusic
(=> (and (instance ?S Song) (realization ?S ?MUSIC)) (exists (?MM ?MV ?LC ?MC) (and (instance ?MM MakingMusic) (instance ?MV Singing) (instance ?LC LyricalContent) (instance ?MC MusicalComposition) (patient ?MM ?MC) (patient ?MV ?LC) (subProcess ?MM ?MUSIC) (subProcess ?MV ?MUSIC))))	Mid-level-ontology.kif 13798-13811	例 Process and 歌曲實現 Process and Process Process Process, Entity and Entity 例 Process and MakingMusic 例 Process and 唱歌例 Entity and LyricalContent 例 Entity and 音樂作品患者 Process and Entity 患者 Process and Entity 子過程 Process and Process 子過程 Process and Process
(=> (and (instance ?SP SportsPlay) (realization ?P ?SP)) (exists (?S) (and (instance ?S TeamSport) (instance ?P Maneuver) (subProcess ?P ?S))))	Mid-level-ontology.kif 16670-16678	例 Proposition and 體育比賽實現 Process and Proposition Process 例 Process and 團隊運動例 Process and Maneuver 子過程 Process and Process
(=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 21174-21204	例 Proposition and 爭論例 Process and Reasoning 例 Proposition and Archeology 次提案 Proposition and Proposition 實現 Process and Proposition Process entity, Physical, RealNumber, entity and entity 例 Process and 發現例 Physical and Object 患者 Process and Physical 參照 Process and Process 早期何時 Process and 何時 Process 年齡 Physical and 測量 RealNumber and 年持續時間比較多 RealNumber and 50 持有期間不久的過去何時 Process and 表面 entity and entity 例 entity and 水體方位 Physical, entity and 下面表面 entity and entity 例 entity and LandArea 方位 Physical, entity and 下面
(=> (and (lastStatement ?Account ?Statement) (instance ?Transaction1 FinancialTransaction) (realization ?Statement ?Transaction1) (instance ?Transaction2 FinancialTransaction) (not (realization ?Statement ?Transaction2))) (earlier (WhenFn ?Transaction2) (WhenFn ?Transaction1)))	FinancialOntology.kif 3907-3914	銀行對帳單是金融賬戶的 last 聲明例 Physical and FinancialTransaction 實現銀行對帳單 and Physical 例 Physical and FinancialTransaction 實現銀行對帳單 and Physical 早期何時 Physical and 何時 Physical
(=> (and (property ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (not (consistent ?PROP ?AGREEMENT))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) Possibility))	Mid-level-ontology.kif 14176-14190	屬性協議 and 合同協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess agent Process and CognitiveAgent 實現 Process and Proposition 協議是 Proposition 的 consistent 模態屬性 entity 例 entity and LegalAction CognitiveAgent 是 plaintiff 在 entity CognitiveAgent 是在 entity 的 defendant and 可能性
(=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP))))	Merge.kif 4609-4614	實現 Process and Proposition 內容承載物理例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition

consequent

(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 14127-14133	CognitiveAgent 有義務去做在協議的 Proposition 允許堅持正確 entity 實現 entity and Proposition agent entity and CognitiveAgent and CognitiveAgent
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 14118-14125	CognitiveAgent 有義務去做在協議的 Proposition 禁令堅持正確 entity 實現 entity and Proposition agent entity and CognitiveAgent and CognitiveAgent
(=> (and (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (or (equal ?ATTR Obligation) (equal ?ATTR Promise))) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) Likely))	Mid-level-ontology.kif 14106-14116	CognitiveAgent 有義務去做在協議的 Proposition DeonticAttribute 等於 DeonticAttribute and 義務等於 DeonticAttribute and 諾言模態屬性 entity 實現 entity and Proposition agent entity and CognitiveAgent and 容易
(=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Proposition)) (exists (?TRANS ?PROC) (and (agent ?TRANS ?CUST) (realization ?PROC ?ITEM) (instance ?TRANS Buying) (patient ?TRANS ?PROC) (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 29998-30008	CognitiveAgent buys Proposition 從 AutonomousAgent 例 Proposition and Proposition Process Process agent Process and CognitiveAgent 實現 Process and Proposition 例 Process and Buying 患者 Process and Process 起源 Process and AutonomousAgent
(=> (and (instance ?DEGREE AcademicDegree) (possesses ?AGENT ?DEGREE)) (exists (?PROGRAM ?STUDY) (and (instance ?PROGRAM EducationalProgram) (realization ?STUDY ?PROGRAM) (experiencer ?STUDY ?AGENT))))	Mid-level-ontology.kif 16541-16549	例 Object and 學位擁有 AutonomousAgent and Object Proposition Process 例 Proposition and 教育計劃實現 Process and Proposition 體驗者 Process and AutonomousAgent
(=> (and (instance ?F Scholarship) (destination ?F ?H)) (hasPurpose ?F (exists (?EP ?P) (and (instance ?EP EducationalProgram) (realization ?P ?EP) (experiencer ?P ?H)))))	Mid-level-ontology.kif 7258-7267	例 Process and 獎學金目的地 Process and Entity 有目的 Process and entity entity 例 entity and 教育計劃實現 entity and entity 體驗者 entity and Entity
(=> (and (instance ?Statement BankStatement) (statementAccount ?Statement ?Account)) (exists (?Transaction) (and (instance ?Transaction FinancialTransaction) (or (origin ?Transaction (CurrencyFn ?Account)) (destination ?Transaction (CurrencyFn ?Account))) (realization ?Statement ?Transaction))))	FinancialOntology.kif 3885-3895	例銀行對帳單 and 銀行對帳單金融賬戶是銀行對帳單的 statement 帳號 Process 例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency 目的地 Process and 金融賬戶的 currency 實現銀行對帳單 and Process
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?PROP ?CATALOG) (subclass ?PROP Proposition)) (modalAttribute (exists (?P ?S ?X) (and (instance ?P ?PROP) (realization ?X ?P) (instance ?S Selling) (patient ?S ?X) (agent ?S ?AGENT))) Possibility))	Catalog.kif 64-76	AutonomousAgent offers 拍賣樣品在 Catalog Entity 是在 Catalog 子類 Entity and Proposition 模態屬性 entity entity and entity 例 entity and Entity 實現 entity and entity 例 entity and Selling 患者 entity and entity agent entity and AutonomousAgent and 可能性
(=> (and (reservedPackage ?RESERVE ?PACKAGE) (reservingEntity ?RESERVE ?CUST)) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PACKAGE) (experiencer ?PROC ?CUST))) Likely))	Hotel.kif 2973-2981	Reservation 是對於 Proposition 的 reservation Reservation reserves Reservation 模態屬性 entity 實現 entity and Proposition 體驗者 entity and Reservation and 容易
(=> (classmate ?A1 ?A2 ?COURSE) (exists (?CLASS ?EDU ?TIME) (and (instance ?CLASS GroupOfPeople) (instance ?EDU EducationalProcess) (realization ?EDU ?COURSE) (patient ?EDU ?CLASS) (temporalPart ?TIME (WhenFn ?EDU)) (memberAtTime ?A1 ?CLASS ?TIME) (memberAtTime ?A1 ?CLASS ?TIME))))	Mid-level-ontology.kif 16843-16854	Human 和 Human 曾經一起參與同一學習過程教育課程 Collection Process and TimePosition 例 Collection and 一群人例 Process and EducationalProcess 實現 Process and 教育課程患者 Process and Collection 時間部分 TimePosition and 何時 Process 時間上的會員 Human, Collection and TimePosition 時間上的會員 Human, Collection and TimePosition
(=> (equal ?MM (MusicalInterpretationFn ?A ?M ?T)) (and (realization ?MM ?M) (equal ?T (WhenFn ?MM)) (agent ?MM ?A)))	Music.kif 850-855	等於 MakingMusic and Music 的 interpretation 由 CognitiveAgent 在 TimeInterval 實現 MakingMusic and Music 等於 TimeInterval and 何時 MakingMusic agent MakingMusic and CognitiveAgent
(=> (hasExpertise ?PERSON ?FIELD) (exists (?LEARN ?SPECIALITY) (and (instance ?LEARN Learning) (agent ?LEARN ?PERSON) (instance ?SPECIALITY ?FIELD) (realization ?LEARN ?SPECIALITY))))	Mid-level-ontology.kif 21381-21388	FieldOfStudy 有在 Human 的專業知識 Process Proposition 例 Process and Learning agent Process and Human 例 Proposition and FieldOfStudy 實現 Process and Proposition
(=> (instance ?ACTION CriminalAction) (exists (?LAW ?CONTENT ?CRIME) (and (modalAttribute ?LAW Law) (containsInformation ?LAW ?CONTENT) (realization ?ACTION ?CRIME) (not (consistent ?CONTENT ?CRIME)))))	Mid-level-ontology.kif 13889-13896	例 Process and 犯罪行為 Formula Proposition and Proposition 模態屬性 Formula and 法包含信息 Formula and Proposition 實現 Process and Proposition Proposition 是 Proposition 的 consistent
(=> (instance ?CAST DramaticCast) (exists (?TEXT ?PROP ?PROC) (and (instance ?TEXT FictionalText) (containsInformation ?TEXT ?PROP) (realization ?PROC ?PROP) (forall (?MEMBER) (=> (member ?MEMBER ?CAST) (exists (?SUB) (and (instance ?SUB DramaticActing) (agent ?SUB ?MEMBER) (subProcess ?SUB ?PROC))))))))	Mid-level-ontology.kif 15994-16008	例 Collection and 戲劇性的演員內容承載物理 Proposition and Process 例內容承載物理 and 虛構的文字包含信息內容承載物理 and Proposition 實現 Process and Proposition AutonomousAgent 會員 AutonomousAgent and Collection Process 例 Process and 戲劇表演 agent Process and AutonomousAgent 子過程 Process and Process
(=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization))))	Mid-level-ontology.kif 16658-16665	例 Proposition and 教育課程 Process Object 實現 Process and Proposition 例 Process and EducationalProcess Process 是 located 在 Object 例 Object and EducationalOrganization
(=> (instance ?PLAY DramaticPlay) (hasPurpose ?PLAY (exists (?ACT ?PROP) (and (instance ?ACT DramaticActing) (containsInformation ?PLAY ?PROP) (realization ?ACT ?PROP)))))	Mid-level-ontology.kif 14981-14988	例 Physical and 戲劇性的表演有目的 Physical and entity entity 例 entity and 戲劇表演包含信息 Physical and entity 實現 entity and entity
(=> (instance ?PROG PerformanceProgram) (exists (?PERF ?PROP) (and (containsInformation ?PROG ?PROP) (realization ?PERF ?PROP) (instance ?PERF Performance))))	Mid-level-ontology.kif 14566-14572	例內容承載物理 and 表演計劃 Process Proposition 包含信息內容承載物理 and Proposition 實現 Process and Proposition 例 Process and 性能
(=> (instance ?R Reciting) (exists (?P ?T) (and (realization ?R ?P) (containsInformation ?T ?P) (instance ?T Text))))	Mid-level-ontology.kif 15948-15954	例 Process and 背誦 Proposition 內容承載物理實現 Process and Proposition 包含信息內容承載物理 and Proposition 例內容承載物理 and Text
(=> (instance ?READ Reading) (exists (?TEXT ?PROP) (and (instance ?TEXT Text) (containsInformation ?TEXT ?PROP) (realization ?READ ?PROP))))	Merge.kif 12735-12741	例 Process and Reading 內容承載物理 Proposition 例內容承載物理 and Text 包含信息內容承載物理 and Proposition 實現 Process and Proposition
(=> (instance ?REASON Reasoning) (exists (?ARGUMENT) (and (instance ?ARGUMENT Argument) (realization ?REASON ?ARGUMENT))))	Merge.kif 16889-16894	例 Process and Reasoning Proposition 例 Proposition and 爭論實現 Process and Proposition
(=> (instance ?RECORD AudioRecording) (exists (?INFO ?SOUND) (and (containsInformation ?RECORD ?INFO) (realization ?SOUND ?INFO) (instance ?SOUND RadiatingSound))))	Mid-level-ontology.kif 14341-14347	例內容承載物理 and 錄音 Proposition Process 包含信息內容承載物理 and Proposition 實現 Process and Proposition 例 Process and RadiatingSound
(=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P))))	Music.kif 180-186	音樂錄音是 Music 的 recording Process 例 Process and MakingMusic 實現 Process and Music 音樂錄音是個 Process 的 record
(=> (property ?AGREEMENT ActiveAgreement) (modalAttribute (exists (?PROC) (realization ?PROC ?AGREEMENT)) Obligation))	Mid-level-ontology.kif 14144-14148	屬性 Entity and ActiveAgreement 模態屬性 entity 實現 entity and Entity and 義務
(=> (property ?C PurchaseContract) (exists (?S ?SELLER ?BUYER) (and (instance ?S Selling) (agent ?S ?SELLER) (destination ?S ?BUYER) (realization ?S ?C) (partyToAgreement ?C ?SELLER) (partyToAgreement ?C ?BUYER))))	Mid-level-ontology.kif 14210-14219	屬性 Proposition and 採購合同 Process ProcessELLER and 協議例 Process and Selling agent Process and ProcessELLER 目的地 Process and 協議實現 Process and Proposition ProcessELLER 是 Proposition 的 party 協議協議是 Proposition 的 party 協議
(=> (property ?C ServiceContract) (exists (?SP ?SERVICE ?CUST) (and (instance ?SP ServiceProcess) (realization ?SP ?C) (serviceProvider ?SP ?SERVICE) (serviceRecipient ?SP ?CUST) (partyToAgreement ?C ?SERVICE) (partyToAgreement ?C ?CUST))))	Mid-level-ontology.kif 14225-14234	屬性 Proposition and 服務合同服務協議 and PropositionUST 例服務 and 服務實現服務 and Proposition 服務提供者服務 and 協議服務接收者服務 and PropositionUST 協議是 Proposition 的 party 協議 PropositionUST 是 Proposition 的 party 協議

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: