NightTime - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NightTime

NightTime(晚上的時間)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8889-8890
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8888-8888	子類晚上的時間 and TimeInterval

appearance as argument number 2

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 8910-8910	子類 Evening and 晚上的時間
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40551-40551
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40550-40550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40549-40549

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	visibility 在 Region 期間 TimeInterval 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 例 TimeInterval and 晚上的時間例 Process and 看著例 Object and Region attribute Object and 發光的測量 Object and 測量 1000.0 and 坎德拉 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.	Dining.kif 419-426	例 AutonomousAgent and NightClub standard retail hours 對於 AutonomousAgent 是 TimeInterval TimeInterval 例 TimeInterval and TimeInterval 期間 TimeInterval and 晚上的時間
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.	Food.kif 1884-1889	例 TimeInterval and DinnerTime TimeInterval 例 TimeInterval and 晚上的時間期間 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