hierach Of Class(A,B): -subClasstOf

hierach Of Class(A,B): -subClasstOf(A:subClass, C:superClass),hierach Of Class(C,B)lsubClassOf(A:subClass,B: superClass)

ผลลัพธ์ (ไทย) 1:

hierach ของ Class(A,B): - subClasstOf (A:subClass, C:superClass) hierach ของคลาส (C, B) lsubClassOf (A:subClass ซุปเปอร์คลาส b:)

ผลลัพธ์ (ไทย) 2:

hierach ส่วนของคลาส (A, B): -subClasstOf (A: ซับคลาส C: superClass) hierach ของการเรียน (C, B) lsubClassOf (A: subclass, B: superClass)

ผลลัพธ์ (ไทย) 3:

hierach ของชั้น ( A , B ) : - ( : subclasstof คลาส C : ซูเปอร์คลาส ) , hierach ของชั้น ( C , B ) lsubclassof ( : คลาส B : ซูเปอร์คลาส )