realization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2198-2200
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4596-4600
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 862-864
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4591-4591	域實現, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4592-4592	域實現, 2 and Proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4590-4590	例實現 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4594-4594	相關的內部概念實現 and 包含信息
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4593-4593	相關的內部概念實現 and 等效內容實例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4589-4589	子關係實現 and 代表

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 223-223
No TPTP formula. May not be expressible in strict first order.	english_format.kif 224-224
No TPTP formula. May not be expressible in strict first order.	french_format.kif 131-131
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 242-242
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1960-1960
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 83-83
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 290-290
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 280-280
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 150-150
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 136-136
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 434-434
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 224-224
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48947-48947
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48946-48946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48945-48945
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 93-93

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 867-876	等於歌曲 and song 構成音樂作品和 LyricalContent 實現歌曲 and Process Process Process 患者 Process and 音樂作品患者 Process and LyricalContent 子過程 Process and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	例 Process and 民政運作位於 Process and GeopoliticalArea 例 GeopoliticalArea and Nation 例 Proposition and GeopoliticalArea 的 regional 法律實現 Process and Proposition Proposition 是 Proposition 的 consistent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23157-23164	例 Proposition and 飲食實現 Process and Proposition Process 子過程 Process and Process 例 Process and Eating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17444-17449	例 Process and 編排結果 Process and Proposition 實現 Process and Proposition 例 Process and Dancing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15122-15126	例 Proposition and Music 實現 Process and Proposition 例 Process and MakingMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15133-15143	例 Process and 音樂作品實現 Process and Process Entity Process 例 Process and 唱歌患者 Process and Entity 例 Entity and LyricalContent 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16347-16351	例 Proposition and 歌劇實現 Process and Proposition 例 Process and MakingMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15152-15165	例 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18040-18048	例 Proposition and 體育比賽實現 Process and Proposition Process 例 Process and 團隊運動例 Process and Maneuver 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22771-22801	例 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 下面
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3921-3928	銀行對帳單是金融賬戶的 last 聲明例 Physical and FinancialTransaction 實現銀行對帳單 and Physical 例 Physical and FinancialTransaction 實現銀行對帳單 and Physical 早期何時 Physical and 何時 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15530-15544	屬性協議 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 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4602-4607	實現 Process and Proposition 內容承載物理例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15481-15487	CognitiveAgent 有義務去做在協議的 Proposition 允許堅持正確 entity 實現 entity and Proposition agent entity and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15472-15479	CognitiveAgent 有義務去做在協議的 Proposition 禁令堅持正確 entity 實現 entity and Proposition agent entity and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15460-15470	CognitiveAgent 有義務去做在協議的 Proposition DeonticAttribute 等於 DeonticAttribute and 義務等於 DeonticAttribute and 諾言模態屬性 entity 實現 entity and Proposition agent entity and CognitiveAgent and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31612-31622	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17911-17919	例 Object and 學位擁有 AutonomousAgent and Object Proposition Process 例 Proposition and 教育計劃實現 Process and Proposition 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8418-8427	例 Process and 獎學金目的地 Process and Entity 有目的 Process and entity entity 例 entity and 教育計劃實現 entity and entity 體驗者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3899-3909	例銀行對帳單 and 銀行對帳單金融賬戶是銀行對帳單的 statement 帳號 Process 例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency 目的地 Process and 金融賬戶的 currency 實現銀行對帳單 and Process
No TPTP formula. May not be expressible in strict first order.	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 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2973-2981	Reservation 是對於 Proposition 的 reservation Reservation reserves Reservation 模態屬性 entity 實現 entity and Proposition 體驗者 entity and Reservation and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18213-18224	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
No TPTP formula. May not be expressible in strict first order.	Music.kif 850-855	等於 MakingMusic and Music 的 interpretation 由 CognitiveAgent 在 TimeInterval 實現 MakingMusic and Music 等於 TimeInterval and 何時 MakingMusic agent MakingMusic and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22978-22985	FieldOfStudy 有在 Human 的專業知識 Process Proposition 例 Process and Learning agent Process and Human 例 Proposition and FieldOfStudy 實現 Process and Proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15243-15250	例 Process and 犯罪行為 Formula Proposition and Proposition 模態屬性 Formula and 法包含信息 Formula and Proposition 實現 Process and Proposition Proposition 是 Proposition 的 consistent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17364-17378	例 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18028-18035	例 Proposition and 教育課程 Process Object 實現 Process and Proposition 例 Process and EducationalProcess Process 是 located 在 Object 例 Object and EducationalOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16335-16342	例 Physical and 戲劇性的表演有目的 Physical and entity entity 例 entity and 戲劇表演包含信息 Physical and entity 實現 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15920-15926	例內容承載物理 and 表演計劃 Process Proposition 包含信息內容承載物理 and Proposition 實現 Process and Proposition 例 Process and 性能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17318-17324	例 Process and 背誦 Proposition 內容承載物理實現 Process and Proposition 包含信息內容承載物理 and Proposition 例內容承載物理 and Text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12794-12800	例 Process and Reading 內容承載物理 Proposition 例內容承載物理 and Text 包含信息內容承載物理 and Proposition 實現 Process and Proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16944-16949	例 Process and Reasoning Proposition 例 Proposition and 爭論實現 Process and Proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15695-15701	例內容承載物理 and 錄音 Proposition Process 包含信息內容承載物理 and Proposition 實現 Process and Proposition 例 Process and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	Music.kif 180-186	音樂錄音是 Music 的 recording Process 例 Process and MakingMusic 實現 Process and Music 音樂錄音是個 Process 的 record
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15498-15502	屬性 Entity and ActiveAgreement 模態屬性 entity 實現 entity and Entity and 義務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15564-15573	屬性 Proposition and 採購合同 Process ProcessELLER and 協議例 Process and Selling agent Process and ProcessELLER 目的地 Process and 協議實現 Process and Proposition ProcessELLER 是 Proposition 的 party 協議協議是 Proposition 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15579-15588	屬性 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 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

KB Term:			Term intersection

English Word: