DayTime - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DayTime

DayTime(一天的時間)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8860-8860	不相交的一天的時間 and 晚上的時間
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8858-8859
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8857-8857	子類一天的時間 and TimeInterval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8788-8788	子類下午 and 一天的時間
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8803-8803	子類早上 and 一天的時間
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18702-18702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18701-18701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18700-18700

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	visibility 在 Region 期間 TimeInterval 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 例 TimeInterval and 一天的時間例 Process and 看著例 Object and Object Object 是黑色的 color agent Process and AutonomousAgent 患者 Process and Object 方位 AutonomousAgent, Object and 橫 Process 是 located 在 Region 期間何時 Process and TimeInterval 例 Object and Object RealNumber 距離 AutonomousAgent, Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8870-8877	例 TimeInterval and 一天的時間 TimeInterval TimeInterval 例 TimeInterval and 晚上的時間例 TimeInterval and 晚上的時間短暫相遇 TimeInterval and TimeInterval 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8879-8886	例 TimeInterval and 一天的時間 TimeInterval TimeInterval 例 TimeInterval and 日出例 TimeInterval and 日落啟動 TimeInterval and TimeInterval 飾面 TimeInterval and TimeInterval

consequent

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

Merge.kif 8892-8899

例 TimeInterval and 晚上的時間
TimeInterval TimeInterval 例 TimeInterval and 一天的時間例 TimeInterval and 一天的時間短暫相遇 TimeInterval and TimeInterval 短暫相遇 TimeInterval and TimeInterval

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