Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MoveableHoliday

Sigma KEE - MoveableHoliday
MoveableHoliday(可動的假期)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14860-14863
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14859-14859 子類 可動的假期 and 假日

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 297-297 子類 Advent and 可動的假期
No TPTP formula. May not be expressible in strict first order. Media.kif 312-312 子類 AdventSunday and 可動的假期
No TPTP formula. May not be expressible in strict first order. Media.kif 529-529 子類 AscensionThursday and 可動的假期
No TPTP formula. May not be expressible in strict first order. Media.kif 486-486 子類 EasterSunday and 可動的假期
No TPTP formula. May not be expressible in strict first order. Media.kif 571-571 子類 Hanukkah and 可動的假期
No TPTP formula. May not be expressible in strict first order. Media.kif 414-414 子類 Lent and 可動的假期
No TPTP formula. May not be expressible in strict first order. Media.kif 461-461 子類 PalmSunday and 可動的假期
No TPTP formula. May not be expressible in strict first order. Media.kif 600-600 子類 Passover and 可動的假期
No TPTP formula. May not be expressible in strict first order. Media.kif 550-550 子類 Pentecost and 可動的假期
No TPTP formula. May not be expressible in strict first order. Media.kif 620-620 子類 USThanksgivingDay and 可動的假期
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39021-39021
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39020-39020
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39019-39019


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