ADL-LiteHboolTBox,T,isanitesetofconceptandroleinclusionaxioms(orsimpl - PPT Presentation
mustexistatuplea0b2PIwitha06aNowifa02C1IthenitcontradictsIj2PC1vandifa02C1IitcontradictsIj9PC1u9PC1v3a2C1Ib2C2ISymmetrictothepreviouscase4a2C1Ib2C2IBytheassumptionab ID: 327761
mustexistatuple(a0;b)2PIwitha06=a.Now
ifa0=2C1I