(equal_c *TOP* http://www.w3.org/2002/07/owl#Thing)
(equal_c *TOP* http://www.w3.org/2002/07/owl#NamedIndividual)
(implies_c http://folk.uio.no/martige/what/2012/04/22/zebra#House ub1bL116C12)
(implies_c http://folk.uio.no/martige/what/2012/04/22/zebra#Person ub1bL64C12)
(implies_c http://folk.uio.no/martige/what/2012/04/22/zebra#House ub1bL112C12)
(implies_c http://folk.uio.no/martige/what/2012/04/22/zebra#House ub1bL82C24)
(disjoint_c http://folk.uio.no/martige/what/2012/04/22/zebra#Color http://folk.uio.no/martige/what/2012/04/22/zebra#Drink http://folk.uio.no/martige/what/2012/04/22/zebra#House http://folk.uio.no/martige/what/2012/04/22/zebra#Person http://folk.uio.no/martige/what/2012/04/22/zebra#Pet http://folk.uio.no/martige/what/2012/04/22/zebra#Smoke)
(equal_c http://folk.uio.no/martige/what/2012/04/22/zebra#House ub1bL26C28)
(equal_c http://folk.uio.no/martige/what/2012/04/22/zebra#Color ub1bL10C28)
(equal_c http://folk.uio.no/martige/what/2012/04/22/zebra#Person ub1bL30C29)
(equal_c http://folk.uio.no/martige/what/2012/04/22/zebra#Drink ub1bL14C28)
(equal_c http://folk.uio.no/martige/what/2012/04/22/zebra#Smoke ub1bL22C28)
(equal_c http://folk.uio.no/martige/what/2012/04/22/zebra#Pet ub1bL18C26)
(equal_c ub1bL22C28 (one-of http://folk.uio.no/martige/what/2012/04/22/zebra#Kools http://folk.uio.no/martige/what/2012/04/22/zebra#Chesterfield http://folk.uio.no/martige/what/2012/04/22/zebra#LuckyStrike http://folk.uio.no/martige/what/2012/04/22/zebra#OldGold http://folk.uio.no/martige/what/2012/04/22/zebra#Parliament))
(equal_c ub1bL18C26 (one-of http://folk.uio.no/martige/what/2012/04/22/zebra#Horse http://folk.uio.no/martige/what/2012/04/22/zebra#Zebra http://folk.uio.no/martige/what/2012/04/22/zebra#Fox http://folk.uio.no/martige/what/2012/04/22/zebra#Dog http://folk.uio.no/martige/what/2012/04/22/zebra#Snails))
(equal_c ub1bL14C28 (one-of http://folk.uio.no/martige/what/2012/04/22/zebra#OrangeJuice http://folk.uio.no/martige/what/2012/04/22/zebra#Water http://folk.uio.no/martige/what/2012/04/22/zebra#Tea http://folk.uio.no/martige/what/2012/04/22/zebra#Milk http://folk.uio.no/martige/what/2012/04/22/zebra#Coffee))
(equal_c ub1bL10C28 (one-of http://folk.uio.no/martige/what/2012/04/22/zebra#Blue http://folk.uio.no/martige/what/2012/04/22/zebra#Yellow http://folk.uio.no/martige/what/2012/04/22/zebra#Ivory http://folk.uio.no/martige/what/2012/04/22/zebra#Green http://folk.uio.no/martige/what/2012/04/22/zebra#Red))
(equal_c ub1bL26C28 (one-of http://folk.uio.no/martige/what/2012/04/22/zebra#House5 http://folk.uio.no/martige/what/2012/04/22/zebra#House4 http://folk.uio.no/martige/what/2012/04/22/zebra#House2 http://folk.uio.no/martige/what/2012/04/22/zebra#House3 http://folk.uio.no/martige/what/2012/04/22/zebra#House1))
(equal_c ub1bL30C29 (one-of http://folk.uio.no/martige/what/2012/04/22/zebra#Norwegian http://folk.uio.no/martige/what/2012/04/22/zebra#Spaniard http://folk.uio.no/martige/what/2012/04/22/zebra#Ukrainian http://folk.uio.no/martige/what/2012/04/22/zebra#Japanese http://folk.uio.no/martige/what/2012/04/22/zebra#Englishman))
(equal_c ub1bL64C12 (and ub1bL66C18 ub1bL69C18 ub1bL72C18 ub1bL75C18))
(different http://folk.uio.no/martige/what/2012/04/22/zebra#Dog http://folk.uio.no/martige/what/2012/04/22/zebra#Zebra http://folk.uio.no/martige/what/2012/04/22/zebra#Fox http://folk.uio.no/martige/what/2012/04/22/zebra#Snails http://folk.uio.no/martige/what/2012/04/22/zebra#Horse)
(different http://folk.uio.no/martige/what/2012/04/22/zebra#Spaniard http://folk.uio.no/martige/what/2012/04/22/zebra#Norwegian http://folk.uio.no/martige/what/2012/04/22/zebra#Englishman http://folk.uio.no/martige/what/2012/04/22/zebra#Ukrainian http://folk.uio.no/martige/what/2012/04/22/zebra#Japanese)
(different http://folk.uio.no/martige/what/2012/04/22/zebra#House2 http://folk.uio.no/martige/what/2012/04/22/zebra#House1 http://folk.uio.no/martige/what/2012/04/22/zebra#House4 http://folk.uio.no/martige/what/2012/04/22/zebra#House3 http://folk.uio.no/martige/what/2012/04/22/zebra#House5)
(different http://folk.uio.no/martige/what/2012/04/22/zebra#Tea http://folk.uio.no/martige/what/2012/04/22/zebra#OrangeJuice http://folk.uio.no/martige/what/2012/04/22/zebra#Water http://folk.uio.no/martige/what/2012/04/22/zebra#Coffee http://folk.uio.no/martige/what/2012/04/22/zebra#Milk)
(different http://folk.uio.no/martige/what/2012/04/22/zebra#Green http://folk.uio.no/martige/what/2012/04/22/zebra#Ivory http://folk.uio.no/martige/what/2012/04/22/zebra#Red http://folk.uio.no/martige/what/2012/04/22/zebra#Yellow http://folk.uio.no/martige/what/2012/04/22/zebra#Blue)
(different http://folk.uio.no/martige/what/2012/04/22/zebra#Spaniard http://folk.uio.no/martige/what/2012/04/22/zebra#Norwegian http://folk.uio.no/martige/what/2012/04/22/zebra#Englishman http://folk.uio.no/martige/what/2012/04/22/zebra#Ukrainian http://folk.uio.no/martige/what/2012/04/22/zebra#Japanese)
(different http://folk.uio.no/martige/what/2012/04/22/zebra#House2 http://folk.uio.no/martige/what/2012/04/22/zebra#House1 http://folk.uio.no/martige/what/2012/04/22/zebra#House4 http://folk.uio.no/martige/what/2012/04/22/zebra#House3 http://folk.uio.no/martige/what/2012/04/22/zebra#House5)
(different http://folk.uio.no/martige/what/2012/04/22/zebra#Green http://folk.uio.no/martige/what/2012/04/22/zebra#Ivory http://folk.uio.no/martige/what/2012/04/22/zebra#Red http://folk.uio.no/martige/what/2012/04/22/zebra#Yellow http://folk.uio.no/martige/what/2012/04/22/zebra#Blue)
(different http://folk.uio.no/martige/what/2012/04/22/zebra#Dog http://folk.uio.no/martige/what/2012/04/22/zebra#Zebra http://folk.uio.no/martige/what/2012/04/22/zebra#Fox http://folk.uio.no/martige/what/2012/04/22/zebra#Snails http://folk.uio.no/martige/what/2012/04/22/zebra#Horse)
(different http://folk.uio.no/martige/what/2012/04/22/zebra#Tea http://folk.uio.no/martige/what/2012/04/22/zebra#OrangeJuice http://folk.uio.no/martige/what/2012/04/22/zebra#Water http://folk.uio.no/martige/what/2012/04/22/zebra#Coffee http://folk.uio.no/martige/what/2012/04/22/zebra#Milk)
(equal_c ub1bL66C18 (some http://folk.uio.no/martige/what/2012/04/22/zebra#drinks http://www.w3.org/2002/07/owl#Thing))
(equal_c ub1bL116C12 (some http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor http://www.w3.org/2002/07/owl#Thing))
(equal_c ub1bL72C18 (some http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn http://www.w3.org/2002/07/owl#Thing))
(equal_c ub1bL75C18 (some http://folk.uio.no/martige/what/2012/04/22/zebra#smokes http://www.w3.org/2002/07/owl#Thing))
(equal_c ub1bL69C18 (some http://folk.uio.no/martige/what/2012/04/22/zebra#hasPet http://www.w3.org/2002/07/owl#Thing))
(equal_c ub1bL112C12 (atmost 2 http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo http://folk.uio.no/martige/what/2012/04/22/zebra#House))
(equal_c ub1bL82C24 (some http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor http://www.w3.org/2002/07/owl#Thing))
(functional http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor)
(functional http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn)
(functional http://folk.uio.no/martige/what/2012/04/22/zebra#smokes)
(functional http://folk.uio.no/martige/what/2012/04/22/zebra#drinks)
(functional http://folk.uio.no/martige/what/2012/04/22/zebra#isRightTo)
(functional http://folk.uio.no/martige/what/2012/04/22/zebra#hasPet)
(functional (inv http://folk.uio.no/martige/what/2012/04/22/zebra#smokes))
(functional (inv http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor))
(functional (inv http://folk.uio.no/martige/what/2012/04/22/zebra#isRightTo))
(functional (inv http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn))
(functional (inv http://folk.uio.no/martige/what/2012/04/22/zebra#drinks))
(functional (inv http://folk.uio.no/martige/what/2012/04/22/zebra#hasPet))
(symmetric http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo)
(irreflexive http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo)
(domain http://folk.uio.no/martige/what/2012/04/22/zebra#drinks http://folk.uio.no/martige/what/2012/04/22/zebra#Person)
(domain http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor http://folk.uio.no/martige/what/2012/04/22/zebra#House)
(domain http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo http://folk.uio.no/martige/what/2012/04/22/zebra#House)
(domain http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn http://folk.uio.no/martige/what/2012/04/22/zebra#Person)
(domain http://folk.uio.no/martige/what/2012/04/22/zebra#smokes http://folk.uio.no/martige/what/2012/04/22/zebra#Person)
(domain http://folk.uio.no/martige/what/2012/04/22/zebra#hasPet http://folk.uio.no/martige/what/2012/04/22/zebra#Person)
(range http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor http://folk.uio.no/martige/what/2012/04/22/zebra#Color)
(range http://folk.uio.no/martige/what/2012/04/22/zebra#drinks http://folk.uio.no/martige/what/2012/04/22/zebra#Drink)
(range http://folk.uio.no/martige/what/2012/04/22/zebra#hasPet http://folk.uio.no/martige/what/2012/04/22/zebra#Pet)
(range http://folk.uio.no/martige/what/2012/04/22/zebra#smokes http://folk.uio.no/martige/what/2012/04/22/zebra#Smoke)
(range http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn http://folk.uio.no/martige/what/2012/04/22/zebra#House)
(range http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo http://folk.uio.no/martige/what/2012/04/22/zebra#House)
(implies_r http://folk.uio.no/martige/what/2012/04/22/zebra#isLeftTo http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo)
(implies_r http://folk.uio.no/martige/what/2012/04/22/zebra#isRightTo http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo)
(equal_r http://folk.uio.no/martige/what/2012/04/22/zebra#isRightTo (inv http://folk.uio.no/martige/what/2012/04/22/zebra#isLeftTo))
(related http://folk.uio.no/martige/what/2012/04/22/zebra#House4 http://folk.uio.no/martige/what/2012/04/22/zebra#isLeftTo http://folk.uio.no/martige/what/2012/04/22/zebra#House5)
(related http://folk.uio.no/martige/what/2012/04/22/zebra#Norwegian http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn http://folk.uio.no/martige/what/2012/04/22/zebra#House1)
(related http://folk.uio.no/martige/what/2012/04/22/zebra#House3 http://folk.uio.no/martige/what/2012/04/22/zebra#isLeftTo http://folk.uio.no/martige/what/2012/04/22/zebra#House4)
(related ub1bL153C13 http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor http://folk.uio.no/martige/what/2012/04/22/zebra#Yellow)
(related ub1bL131C22 http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor http://folk.uio.no/martige/what/2012/04/22/zebra#Red)
(related ub1bL145C15 http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor http://folk.uio.no/martige/what/2012/04/22/zebra#Ivory)
(related ub1bL152C1 http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn ub1bL153C13)
(related http://folk.uio.no/martige/what/2012/04/22/zebra#Englishman http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn ub1bL131C22)
(related ub1bL169C1 http://folk.uio.no/martige/what/2012/04/22/zebra#smokes http://folk.uio.no/martige/what/2012/04/22/zebra#Kools)
(related ub1bL144C1 http://folk.uio.no/martige/what/2012/04/22/zebra#isRightTo ub1bL145C15)
(related ub1bL156C1 http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn http://folk.uio.no/martige/what/2012/04/22/zebra#House3)
(related ub1bL175C1 http://folk.uio.no/martige/what/2012/04/22/zebra#smokes http://folk.uio.no/martige/what/2012/04/22/zebra#LuckyStrike)
(related ub1bL144C1 http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor http://folk.uio.no/martige/what/2012/04/22/zebra#Green)
(related ub1bL164C13 http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo fbcfb40de1c1e4fc9b6e7db04d3f8da10b66)
(related ub1bL163C1 http://folk.uio.no/martige/what/2012/04/22/zebra#smokes http://folk.uio.no/martige/what/2012/04/22/zebra#Chesterfield)
(related ub1bL152C1 http://folk.uio.no/martige/what/2012/04/22/zebra#smokes http://folk.uio.no/martige/what/2012/04/22/zebra#Kools)
(related http://folk.uio.no/martige/what/2012/04/22/zebra#Spaniard http://folk.uio.no/martige/what/2012/04/22/zebra#hasPet http://folk.uio.no/martige/what/2012/04/22/zebra#Dog)
(related ub1bL169C1 http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn ub1bL170C13)
(related http://folk.uio.no/martige/what/2012/04/22/zebra#House1 http://folk.uio.no/martige/what/2012/04/22/zebra#isLeftTo http://folk.uio.no/martige/what/2012/04/22/zebra#House2)
(related ub1bL148C1 http://folk.uio.no/martige/what/2012/04/22/zebra#smokes http://folk.uio.no/martige/what/2012/04/22/zebra#OldGold)
(related ub1bL165C1 http://folk.uio.no/martige/what/2012/04/22/zebra#hasPet http://folk.uio.no/martige/what/2012/04/22/zebra#Fox)
(related http://folk.uio.no/martige/what/2012/04/22/zebra#House2 http://folk.uio.no/martige/what/2012/04/22/zebra#isLeftTo http://folk.uio.no/martige/what/2012/04/22/zebra#House3)
(related ub1bL137C1 http://folk.uio.no/martige/what/2012/04/22/zebra#drinks http://folk.uio.no/martige/what/2012/04/22/zebra#Coffee)
(related http://folk.uio.no/martige/what/2012/04/22/zebra#Ukrainian http://folk.uio.no/martige/what/2012/04/22/zebra#drinks http://folk.uio.no/martige/what/2012/04/22/zebra#Tea)
(related ub1bL163C1 http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn ub1bL164C13)
(related ub1bL171C1 http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn fbcfb40de1c1e4fc9b6e7db04d3f8da10b67)
(related ub1bL165C1 http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn fbcfb40de1c1e4fc9b6e7db04d3f8da10b66)
(related http://folk.uio.no/martige/what/2012/04/22/zebra#Japanese http://folk.uio.no/martige/what/2012/04/22/zebra#smokes http://folk.uio.no/martige/what/2012/04/22/zebra#Parliament)
(related ub1bL182C21 http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo ub1bL182C33)
(related ub1bL171C1 http://folk.uio.no/martige/what/2012/04/22/zebra#hasPet http://folk.uio.no/martige/what/2012/04/22/zebra#Horse)
(related http://folk.uio.no/martige/what/2012/04/22/zebra#Norwegian http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn ub1bL182C21)
(related ub1bL138C13 http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor http://folk.uio.no/martige/what/2012/04/22/zebra#Green)
(related ub1bL148C1 http://folk.uio.no/martige/what/2012/04/22/zebra#hasPet http://folk.uio.no/martige/what/2012/04/22/zebra#Snails)
(related ub1bL170C13 http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo fbcfb40de1c1e4fc9b6e7db04d3f8da10b67)
(related ub1bL182C33 http://folk.uio.no/martige/what/2012/04/22/zebra#hasColor http://folk.uio.no/martige/what/2012/04/22/zebra#Blue)
(related ub1bL156C1 http://folk.uio.no/martige/what/2012/04/22/zebra#drinks http://folk.uio.no/martige/what/2012/04/22/zebra#Milk)
(related ub1bL175C1 http://folk.uio.no/martige/what/2012/04/22/zebra#drinks http://folk.uio.no/martige/what/2012/04/22/zebra#OrangeJuice)
(related ub1bL137C1 http://folk.uio.no/martige/what/2012/04/22/zebra#livesIn ub1bL138C13)
(instance http://folk.uio.no/martige/what/2012/04/22/zebra#House5 (all http://folk.uio.no/martige/what/2012/04/22/zebra#isNextTo(not http://folk.uio.no/martige/what/2012/04/22/zebra#House1)))
