arcs must be directed (is A a subty

arcs must be directed (is A a subtype of B or vice versa)
graph must be acyclic (proper subtype)
delete arc from C to A (transitively implied)
graph must be acyclic (proper subtype)
primitive types A and B must be exclusive, so they cannot have a common subtype C

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

ต้องนำส่วนโค้ง (เป็น A ชนิดย่อย ของ B หรือกลับกัน)กราฟต้อง acyclic (ชนิดย่อยที่เหมาะสม)ลบโค้งจาก C ไป A (transitively เหล่าโดยนัย)กราฟต้อง acyclic (ชนิดย่อยที่เหมาะสม)ดั้งเดิมชนิด A และ B ต้องมีเฉพาะ จึงไม่มีชนิดย่อยที่พบโดยทั่วไป C

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

โค้งจะต้องกำกับ (A เป็นชนิดย่อยของ B หรือกลับกัน)
กราฟจะต้องเป็นวัฏจักร (ชนิดย่อยที่เหมาะสม)
ลบโค้งจาก C ไป A (โดยนัยสกรรมกริยา)
กราฟจะต้องเป็นวัฏจักร (ชนิดย่อยที่เหมาะสม)
ชนิดดั้งเดิม A และ B จะต้องเป็นพิเศษ ดังนั้นพวกเขาจึงไม่สามารถมีชนิดย่อยที่พบบ่อย C

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

ARCS ต้องกำกับ ( เป็นชนิดย่อยของ B หรือในทางกลับกัน )ความเฉื่อย ( กราฟต้องเหมาะสมทั้ง )ลบส่วนโค้งจาก C ( สกรรมกริยา ) )ความเฉื่อย ( กราฟต้องเหมาะสมทั้ง )ประเภทดั้งเดิม A และ B จะต้องพิเศษ ดังนั้นพวกเขาไม่สามารถมีชนิดย่อย C ทั่วไป