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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 MoveableHoliday est une sous-classe de Holiday

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


No TPTP formula. May not be expressible in strict first order. Media.kif 297-297 Advent est une sous-classe de MoveableHoliday
No TPTP formula. May not be expressible in strict first order. Media.kif 312-312 AdventSunday est une sous-classe de MoveableHoliday
No TPTP formula. May not be expressible in strict first order. Media.kif 529-529 AscensionThursday est une sous-classe de MoveableHoliday
No TPTP formula. May not be expressible in strict first order. Media.kif 486-486 EasterSunday est une sous-classe de MoveableHoliday
No TPTP formula. May not be expressible in strict first order. Media.kif 571-571 Hanukkah est une sous-classe de MoveableHoliday
No TPTP formula. May not be expressible in strict first order. Media.kif 414-414 Lent est une sous-classe de MoveableHoliday
No TPTP formula. May not be expressible in strict first order. Media.kif 461-461 PalmSunday est une sous-classe de MoveableHoliday
No TPTP formula. May not be expressible in strict first order. Media.kif 600-600 Passover est une sous-classe de MoveableHoliday
No TPTP formula. May not be expressible in strict first order. Media.kif 550-550 Pentecost est une sous-classe de MoveableHoliday
No TPTP formula. May not be expressible in strict first order. Media.kif 620-620 USThanksgivingDay est une sous-classe de MoveableHoliday
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 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