GuestStatus - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10041-10041
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11109-11109
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11108-11108
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11111-11111
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11110-11110
No TPTP formula. May not be expressible in strict first order.	Government.kif 2472-2472	例客人身份 and 會員身份

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26952-26952
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26951-26951
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26950-26950