respectively, and then looks up the

respectively, and then looks up the pattern pair
in the rulebase. If the pair exists, the system
applies the associated formation rules in priority
order. If any rule can generate the given
abbreviation from the definition, the pair is
regarded as valid

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

ตามลำดับ และจากนั้น ค้นหาคู่รูปแบบใน rulebase ถ้ามีคู่ ระบบใช้กฎเกี่ยวข้องก่อตัวในความสำคัญสั่ง ถ้าสามารถสร้างกฎใด ๆ ที่กำหนดคู่เป็นตัวย่อจากคำนิยามถือว่าถูกต้อง

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

ตามลำดับและจากนั้นเงยหน้าขึ้นมองคู่รูปแบบ
ใน rulebase หากทั้งคู่มีอยู่ระบบ
ใช้กฎระเบียบที่เกี่ยวข้องในการก่อความสำคัญ
เพื่อ หากกฎใด ๆ ที่สามารถสร้างให้
ย่อจากนิยามทั้งคู่จะ
ถือได้ว่าเป็นที่ถูกต้อง

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

ตามลำดับ แล้วดูรูปแบบคู่
ในกฎพื้นฐาน . ถ้าคู่มีอยู่ , ระบบที่เกี่ยวข้องในการใช้กฎ

เพื่อความ . ถ้ากฎใด ๆสามารถสร้างให้
ย่อจากคำนิยาม , คู่
ถือว่าถูกต้อง