refers - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2154-2157
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4416-4424
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 810-814
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4413-4413	域參照, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4414-4414	域參照, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4412-4412	例參照 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 225-225
No TPTP formula. May not be expressible in strict first order.	english_format.kif 226-226
No TPTP formula. May not be expressible in strict first order.	french_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 246-246
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1961-1961
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 84-84
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 293-293
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 284-284
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 151-151
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 137-137
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 438-438
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23322-23322	子關係欺騙性標識符 and 參照
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16145-16145	子關係 describes and 參照
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3006-3006	子關係電子郵件地址 and 參照
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4426-4426	子關係名 and 參照
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3679-3679	子關係電話號碼 and 參照
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16608-16608	子關係註冊項目 and 參照
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4450-4450	子關係代表 and 參照
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49106-49106
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 226-226
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49105-49105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49104-49104
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 94-94

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16199-16211	例 Entity and 法律獎勵參照 Entity and Process 例 Process and LegalAction agent Process and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Getting 體驗者 entity and CognitiveAgent 患者 entity and entity 貨幣價值 entity and entity, Entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1882-1891	例 Object and Electrocardiogram attribute Object and EKGAbnormal 參照 Object and Object 部分 Object and Object 例 Object and 心模態屬性 attribute Object and ImpairedBodyPartFn 心 and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1865-1875	例 Object and Electrocardiogram attribute Object and EKGNormal 參照 Object and Object 部分 Object and Object 例 Object and 心模態屬性 attribute Object and ImpairedBodyPartFn 心 and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3042-3050	例 Entity and 強迫終止參照 Entity and 電腦程序電腦程序ROG 是電腦程序的執行 program 退出例退出 and 退出電腦程序是退出中止的 process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	例 Process and Misdiagnosing agent Process and CognitiveAgent 參照 Process and Entity 例 Entity and Human CognitiveAgentIS containsFormula Process and attribute Entity and CognitiveAgentIS 例 CognitiveAgentIS and DiseaseOrSyndrome 相信 CognitiveAgent and attribute Entity and CognitiveAgentIS 真相 attribute Entity and CognitiveAgentIS and 假
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9277-9287	例 Entity and Prescription 例 Object and 醫學參照 Entity and Object EntityHARM Transfer 例 Transfer and Selling objectTransferred Transfer and Object agent Transfer and EntityHARM attribute Transfer and 藥劑師
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	例 Process and 關稅參照 Process and Entity 患者 Process and Entity Process Object and Entity 例 Process and Transfer 患者 Process and Entity 起源 Process and Object 目的地 Process and Entity 例 Object and Nation 例 Entity and Nation 等於 Object and Entity 早期何時 Process and 何時 Process 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4152-4157	處理頁面的 definition 在試驗是 Formula 例 WebPage and WebPage 參照 Formula and WebPage WebPage 是試驗的研究對象

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	attribute CognitiveAgent and AppraisalAsJustTreatment 例 CognitiveAgentJT and AppraisalProcess agent CognitiveAgentJT and CognitiveAgent Process CognitiveAgent 例 Process and Process 參照 CognitiveAgentJT and Process agent Process and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent 患者 Process and CognitiveAgent 想要 CognitiveAgent and Process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	attribute CognitiveAgent and AppraisalAsUnjustTreatment 例 CognitiveAgentUJ and AppraisalProcess agent CognitiveAgentUJ and CognitiveAgent Process CognitiveAgent 例 Process and Process 參照 CognitiveAgentUJ and Process agent Process and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent 患者 Process and CognitiveAgent 想要 CognitiveAgent and Process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 對 CurrencyMeasure 收費在 corkage 為了 Object 例 Object and Object Process 例 Process and Buying 患者 Process and Object 目的地 Process and CognitiveAgent 起源 Process and AutonomousAgent 例 Process and Drinking agent Process and CognitiveAgent 資源 Process and Object Process 例 Process and Corkage agent Process and CognitiveAgent 參照 Process and Object 目的地 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 295-306	defenseLawyer LegalAction and CognitiveAgent CognitiveAgent 是在 LegalAction 的 defendant 慾望 CognitiveAgent and entity 例 entity and 法律決定參照 entity and LegalAction 想要 CognitiveAgent and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16765-16775	例 Object and 藝術學校例 Process and EducationalProcess Process 是 located 在 Object Process Entity 例 Process and Making 患者 Process and Entity 例 Entity and ArtWork 參照 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15886-15899	例 Process and Commenting 例 Entity and Process 患者 Process and Entity AutonomousAgent Process and Process 例 AutonomousAgent and AutonomousAgent 例 Process and 說話例 Process and 看著 agent Process and AutonomousAgent agent Process and AutonomousAgent 患者 Process and Entity 參照 Process and Entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 231-236	例電腦目錄 and 電腦目錄例電腦文件 and 電腦文件電腦目錄是電腦文件的 directory 參照電腦文件的 address and 電腦目錄
No TPTP formula. May not be expressible in strict first order.	WMD.kif 666-671	例 Object and 核武器研究設施例 Process and 研究大規模殺傷性武器 Process 是 located 在 Object 參照 Process and 核武器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7158-7171	例 CognitiveAgent and HealthInsuranceCompany AutonomousAgent 是 CognitiveAgent 的 customer 有代理人的目的 CognitiveAgent, entity entity 例 entity and DiagnosticProcess 例 entity and TherapeuticProcess 體驗者 entity and AutonomousAgent 例 entity and 付款 agent entity and CognitiveAgent 參照 entity and entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Justice.kif 87-96	例 Object and Human attribute Object and Criminal Entity Process 例 Entity and 犯罪行為例 Process and 法律定罪參照 Process and Entity 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	例 CorpuscularObject and ViewItemPage 例 Process and WebListing 零件 Process and CorpuscularObject 患者 Process and Entity 例 Entity and Physical Process Process and ProcessCONTENT 例 Process and Stating 患者 Process and Process 參照 Process and Entity 結果 Process and ProcessCONTENT 部分 ProcessCONTENT and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Law.kif 526-540	例 Process and IntentionalProcess 結果 Process and 內容承載物理內容承載物理是協議的 record attribute 協議 and 合法 Process Process, Process and Process 例 Process and 提供例 Process and ReachingAgreement 參照 Process and 協議參照 Process and 協議 agent Process and Process agent Process and Process 早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20458-20465	例 Process and SickLeave agent Process and AutonomousAgent Entity 例 Entity and DiseaseOrSyndrome 參照 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	例 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.	Mid-level-ontology.kif 30018-30048	例 Process and BreakingRecord agent Process and AutonomousAgent Set Class, Process, TimePoint, CaseRole, Object and Entity 例 Set and Set 元件 AutonomousAgent and Set 子類 Class and Process 例 Object and Region 例 TimePoint and TimePoint 例 Entity and Quantity 例 Process and Class 參照 Process and Entity 參照 Entity and Process AutonomousAgent 對於 Process 在事件 CaseRole plays 角色 Process 是 located 在 Object Entity Entity 例 Entity and Set 等於 Entity and AutonomousAgent 例 Entity and Class 持有期間時間間隔 TimePoint and 結束何時 Process and Entity 對於 Entity 在事件 CaseRole plays 角色 Entity 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22719-22723	Collection 是 ContentBearingObject 的 inventory 會員 Physical and Collection 參照 ContentBearingObject and Physical
No TPTP formula. May not be expressible in strict first order.	Law.kif 318-328	prosecutor LegalAction and CognitiveAgent CognitiveAgent 是在 LegalAction 的 defendant 慾望 CognitiveAgent and entity 例 entity and 法律決定參照 entity and LegalAction 想要 CognitiveAgent and entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 524-533	attribute AutonomousAgent and 教練 Entity Entity and Process 例 Entity and Human 例 Entity and Game 例 Process and EducationalProcess agent Process and AutonomousAgent 患者 Process and Entity 參照 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21088-21100	attribute Object and 藝術評論家有目的 Object and entity entity and entity 例 entity and ArtWork 暫時重疊何時 entity and 何時 Object 例 entity and entity 子類 entity and Article 作者 Object and entity 參照 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21065-21079	attribute Object and 新聞記者有目的 Object and entity entity and entity 例 entity and Process 暫時重疊何時 entity and 何時 Object 例 entity and entity 子類 entity and 報紙子類 entity and 新聞節目作者 Object and entity 參照 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26578-26580	attribute Object and Historical 參照歷史 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9317-9329	attribute Object and USNonPrescriptionDrug 模態屬性 entity 例 entity and Buying objectTransferred entity and Object entity 例 entity and Prescription 參照 entity and Object and 合法
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9295-9307	attribute Object and USPrescriptionDrug 模態屬性 entity 例 entity and Buying objectTransferred entity and Object entity 例 entity and Prescription 參照 entity and Object and 非法
No TPTP formula. May not be expressible in strict first order.	Sports.kif 541-551	Human coaches Human attribute Human and 教練 Entity Process 例 Entity and Game 例 Process and EducationalProcess agent Process and Human 患者 Process and Human 參照 Process and Entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 915-917	TimePosition component 資料ID 對於 %3 跟 %4 和 %5 在一起參照 SymbolicString and 電腦組件

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: