HourFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2764-2768
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8617-8623
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1493-1498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8613-8613	域小時, 1 and NonnegativeInteger
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.	Merge.kif 8611-8611	例小時 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8612-8612	例小時 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8610-8610	例小時 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8615-8615	範圍子類小時 and Hour

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 471-471
No TPTP formula. May not be expressible in strict first order.	english_format.kif 477-477
No TPTP formula. May not be expressible in strict first order.	french_format.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 133-133
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2062-2062
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 224-224
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 278-278
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 614-614
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 172-172
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 293-293
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 299-299
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 272-272
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9341-9341	相關的內部概念 Hour and 小時
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28707-28707
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 472-472
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28706-28706
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28705-28705
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 273-273

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8629-8634	例 TimeInterval and 小時 NonnegativeInteger and Day 例 TimeInterval and 小時 NonnegativeInteger and Day 等於減法 NonnegativeInteger and NonnegativeInteger and 1 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17206-17212	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於相對時間 TimePosition and 中央時區 and TimePosition 等於 NonnegativeInteger and 加成 NonnegativeInteger and 6
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17218-17224	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於相對時間 TimePosition and 東部時區 and TimePosition 等於 NonnegativeInteger and 加成 NonnegativeInteger and 5
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17194-17200	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 MonthST and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於相對時間 TimePosition and 山區時區 and MonthST 等於 NonnegativeInteger and 加成 NonnegativeInteger and 7
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17182-17188	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於相對時間 TimePosition and 太平洋時區 and TimePosition 等於 NonnegativeInteger and 加成 NonnegativeInteger and 8
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8625-8627	例 Entity and 小時 NonnegativeInteger and Day 少於 NonnegativeInteger and 24

consequent

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.	Merge.kif 8795-8801	例 TimeInterval and 下午 TimeInterval Day 例 TimeInterval and 小時 12 and Day 啟動 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19095-19102	例 TimeInterval and 午前 Day TimeInterval and TimeInterval 例 TimeInterval and 小時 24 and Day 啟動 TimeInterval and TimeInterval 例 TimeInterval and 小時 12 and Day 飾面 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8807-8813	例 TimeInterval and 早上 TimeInterval Day 例 TimeInterval and 小時 12 and Day 飾面 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19109-19116	例 TimeInterval and 發布meridiem Day TimeInterval and TimeInterval 例 TimeInterval and 小時 12 and Day 啟動 TimeInterval and TimeInterval 例 TimeInterval and 小時 24 and Day 飾面 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Food.kif 1867-1876	例 TimeInterval and LunchTime TimeInterval TimeInterval and Day 期間 TimeInterval and 時間間隔開始 TimeInterval and 結束 TimeInterval 例 TimeInterval and 小時 11 and Day 例 TimeInterval and 小時 15 and Day

statement

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 2143-2143

等於 unix時代 and 第二 0 and 分 0 and 小時 0 and 天 1 and 月 January and 年 1970

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: