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 8882-8882	不相交的一天的時間 and 晚上的時間
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8880-8881
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8879-8879	子類一天的時間 and TimeInterval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8810-8810	子類下午 and 一天的時間
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8825-8825	子類早上 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 2724-2744	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 8892-8899	例 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 8901-8908	例 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 8914-8921

例 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