TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 487-494
No TPTP formula. May not be expressible in strict first order.	Media.kif 484-484	EasterSunday 是 ChristianHoliday 的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 486-486	EasterSunday 是可动的假期的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 485-485	EasterSunday 是星期日的 subclass

appearance as argument number 2

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

domainEnglishFormat.kif 64799-64799

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 509-514	如果基督教是有认知的主事的 attribute 在假日 holdsDuring 和那个假日是 EasterSunday 的 instance，然后那个有认知的主事 observes 那个假日
No TPTP formula. May not be expressible in strict first order.	Media.kif 498-506	如果时间位置是 EasterSunday 的 instance 和那个时间位置时段是另一个时间位置时段的一 part 和那个另外时间位置是月的 instance，然后那个另外时间位置是三月的 instance 或那个另外时间位置是 A四月的 instance 或那个另外时间位置是五月的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	如果时距是 EasterSunday 的 instance 和另一个时距是 Lent 的 instance 和那个另外时距接着那个时距和那个时距在第三时距时段内发生和那个第三时距是年的 instance，然后那个另外时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	如果时距是 EasterSunday 的 instance 和另一个时距是 Lent 的 instance 和那个另外时距接着那个时距和那个另外时距在第三时距时段内发生和那个第三时距是年的 instance，然后那个时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	如果时距是年的 instance 和另一个时距是 EasterSunday 的 instance 和第三时距是 AscensionThursday 的 instance 和那个另外时距在那个时距时段内发生和那个第三时距在那个时距时段内发生和那个另外时距 starts了才到第四时距和那个第三时距 finishes了才到那个第四时距，然后那个第四时距的 duration 是 40 一天长度
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	如果时距是年的 instance 和另一个时距是 EasterSunday 的 instance 和第三时距是 PalmSunday 的 instance 和那个另外时距在那个时距时段内发生和那个第三时距在那个时距时段内发生和那个第三时距 starts了才到第四时距和那个另外时距 finishes了才到那个第四时距，然后那个第四时距的 duration 是 8 一天长度
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	如果时距是年的 instance 和另一个时距是 EasterSunday 的 instance 和第三时距是 Pentecost 的 instance 和那个另外时距在那个时距时段内发生和那个第三时距在那个时距时段内发生和那个另外时距 starts了才到第四时距和那个第三时距 finishes了才到那个第四时距，然后那个第四时距的 duration 是 50 一天长度
No TPTP formula. May not be expressible in strict first order.	Media.kif 430-435	如果时距是 EasterSunday 的 instance，然后有存在另一个时距这样那个另外时距是 Lent 的 instance 和那个另外时距接着那个时距

consequent

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

Media.kif 423-428

如果时距是 Lent 的 instance，
然后有存在另一个时距这样那个另外时距是 EasterSunday 的 instance 和那个时距接着那个另外时距

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: