TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2807-2807
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9234-9234
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1548-1548
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5948-5948
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6343-6343
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6344-6344
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6345-6345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6346-6346
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9232-9232	相關的內部概念 Day and 一天長度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9231-9231	相關的內部概念 Day and 天
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9230-9230	子類 Day and TimeInterval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8590-8590	範圍子類天 and Day
No TPTP formula. May not be expressible in strict first order.	Media.kif 335-335	子類 ChristmasDay and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9282-9282	子類 Friday and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9240-9240	子類 Monday and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9295-9295	子類 Saturday and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9308-9308	子類 Sunday and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9269-9269	子類 Thursday and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9243-9243	子類 Tuesday and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9256-9256	子類 Wednesday and Day
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1289-1289
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1795-1795
No TPTP formula. May not be expressible in strict first order.	french_format.kif 967-967
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 502-502
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 506-506
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2651-2651
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 919-919
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 508-508
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 542-542
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 988-988
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 507-507

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8834-8834	域 AfternoonFn, 1 and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8934-8934	域 EveningFn, 1 and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8818-8818	域 MorningFn, 1 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3808-3808	域可用餘額, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3831-3831	域可用現金, 2 and Day
No TPTP formula. May not be expressible in strict first order.	Biography.kif 175-175	域 baptizeddate, 2 and Day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24268-24268	域出生日期, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4092-4092	域購買電量, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2485-2485	域通話日期, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3472-3472	域收盤價, 3 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 673-673	域目前賬戶餘額, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 615-615	域目前的利率, 2 and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8545-8545	域日期, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4027-4027	域聲明日期, 2 and Day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24281-24281	域 deathdate, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4101-4101	域餘額幅度, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4119-4119	域市值金額, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 632-632	域成人禮, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 868-868	域淨值, 3 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 780-780	域透支, 3 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 600-600	域主要利率, 1 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4110-4110	域短期金額, 2 and Day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24213-24213	域 weddingdate, 3 and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8614-8614	域子類小時, 2 and Day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24182-24182	域子類週年, 2 and Day

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.	Merge.kif 8840-8845	例下午 and 下午例 Day and Day 等於下午 and Day 的 afternoon 期間下午 and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8940-8945	例 Evening and Evening 例 Day and Day 等於 Evening and Day 的 evening 期間 Evening and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8824-8829	例早上 and 早上例 Day and Day 等於早上 and Day 的 morning 期間早上 and Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8922-8929	例 TimeInterval and Evening 例 TimeInterval and 下午例 TimeInterval and Day 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	例 AutonomousAgent and 人 attribute AutonomousAgent and mausaharati 例 Process and 鼓聲 agent Process and AutonomousAgent 例 ProcessAY and Day 例 TimeInterval and 日出期間 TimeInterval and ProcessAY 早期何時 Process and TimeInterval 有目的 Process and entity TimeIntervalUHUR and entity 例 entity and 起來體驗者 entity and entity 例 TimeIntervalUHUR and 封齋飯 agent TimeIntervalUHUR and entity 早期何時 entity and 何時 TimeIntervalUHUR 期間何時 entity and ProcessAY 期間何時 TimeIntervalUHUR and ProcessAY
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4958-4976	例 TimeInterval and 低潮例 TimeInterval and 高潮 TimeInterval 是 located 在 Object TimeInterval 是 located 在 Object 例 TimeInterval and Day 暫時重疊 TimeInterval and TimeInterval 暫時重疊 TimeInterval and TimeInterval RealNumber RealNumber and Entity 例 Entity and UnitOfLength 持有期間 TimeInterval and 測量 RealNumber and Entity 是 Object 的 water 深度持有期間 TimeInterval and 測量 RealNumber and Entity 是 Object 的 water 深度比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5027-5037	Region 對於 %3 low 潮汐 Region 是對於測量 RealNumber and UnitOfMeasure 的 high 潮汐 TimeInterval 例 UnitOfMeasure and UnitOfLength 例 TimeInterval and Day 暫時重疊 TimeInterval and TimeInterval 暫時重疊 TimeInterval and TimeInterval 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9236-9238	例 TimeInterval and Day 持續時間 TimeInterval and 測量 1 and 一天長度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9473-9475	例 TimeInterval and Day 等於基數時間構成 TimeInterval and Hour and 24

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer Human 的 birthday 是 Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3754-3764	等於 TimeInterval and AutonomousAgent 和年的 fiscal 開始年分 TimeInterval 是 AutonomousAgent 的 fiscal 年週期例 TimeInterval and TimeInterval TimeInterval TimePosition 例 TimeInterval and Day 啟動 TimeInterval and TimeInterval 例 TimePosition and 年時間部分 TimeInterval and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9463-9467	例 TimeInterval and Month 持續時間 TimeInterval and 測量 Integer and 一天長度等於基數時間構成 TimeInterval and Day and Integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	例 Policy and DailyHousekeepingPolicy Organization enacts policy Policy 模態屬性 entity entity and entity entity 是在 Organization 的 guest entity stays 在 entity 等於 entity and 何時 entity stays 在 entity 持有期間 entity and entity 例 entity and Day 期間 entity and entity entity 例 entity and RoomCleaningService 患者 entity and entity 期間 entity and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3631-3640	例 Physical and GeographicArea 位於 Physical and 南極地區 TimePosition 例 TimePosition and Day 持有期間 TimePosition and attribute Physical and 發光的
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3570-3579	例 Physical and GeographicArea 位於 Physical and 北極地區 TimePosition 例 TimePosition and Day 持有期間 TimePosition and attribute Physical and 發光的
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	例內容承載物理 and 出生證明例 Process and Birth 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and entity entity and entity entity 是 AutonomousAgent 的 birthdate 例 entity and Day entity 是 AutonomousAgent 的 birthplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	例內容承載物理 and DeathCertificate 例 Process and Death 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and ProcessAY entity, entity and entityROC ProcessAY 是 AutonomousAgent 的 deathdate 例 ProcessAY and Day entity 是 AutonomousAgent 的 deathplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name 原因 entityROC and Process 例 entityROC and Process
No TPTP formula. May not be expressible in strict first order.	Biography.kif 307-317	例內容承載物理 and MarriageCertificate 例 Human and Human 例 Human and Human Human 是 Human 的 spouse containsFormula 內容承載物理 and entity Human 和 Human 之前是 married 在 entity 例 entity and Day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24195-24206	例 Physical and 婚禮日期 Physical and Day 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer weddingAnniversary Physical and Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	AutonomousAgent 是 SymbolicString 的 day 電話電話 entity and RealNumber 電話是 SymbolicString 的 phone 號碼比較多 RealNumber and 6 少於 RealNumber and 18 持有期間例 entity and 小時 RealNumber and Day and entity 例 entity and 致電目的地 entity and AutonomousAgent 患者 entity and 電話擁有 AutonomousAgent and 電話模態屬性 entity 例 entity and 回答中子過程 entity and entity agent entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	AutonomousAgent 是 SymbolicString 的 evening 電話電話 entity and RealNumber 電話是 SymbolicString 的 phone 號碼比較多 RealNumber and 18 少於 RealNumber and 6 持有期間例 entity and 小時 RealNumber and Day and entity 例 entity and 致電目的地 entity and AutonomousAgent 患者 entity and 電話擁有 AutonomousAgent and 電話模態屬性 entity 例 entity and 回答中子過程 entity and entity agent entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2295-2300	例 Entity and 日曆 Entity 例 Entity and Day 參照 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8781-8786	例 TimePoint and Midnight TimeInterval 例 TimeInterval and Day 等於 TimePoint and 結束 TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9469-9471	例 TimeInterval and Week 等於基數時間構成 TimeInterval and Day and 7
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 91-101	例 Physical and 開齋 TimeInterval TimeInterval and TimeInterval 例 TimeInterval and 日落例 TimeInterval and 齋月例 TimeInterval and Day 期間 TimeInterval and TimeInterval 期間何時 Physical and TimeInterval 期間 TimeInterval and TimeInterval 之前 TimeInterval and 何時 Physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 36-46	例 Physical and 封齋飯 TimeInterval TimeInterval and TimeInterval 例 TimeInterval and 日出例 TimeInterval and 齋月例 TimeInterval and Day 期間 TimeInterval and TimeInterval 期間何時 Physical and TimeInterval 期間 TimeInterval and TimeInterval 之前何時 Physical and TimeInterval

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

KB Term:			Term intersection

English Word: