Eric is in rm308 or in rmTimBL Eric is not in rm308 ---------- Eric is in rmTimBL
sebastian car:color "Brown" sebastian rdf:type Horse car:color rdfs:domain Car Car daml:DisjointClass Horse --------- p & -p, ... premises are contradictory, system is not satisfiable, system is inconsistent, there are no models
9 of 22 |