TreeView Knowledge Base Browser - chanceryFAXNumberInArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4732-4734
No TPTP formula. May not be expressible in strict first order.	Government.kif 4728-4728	域 arearyFAX在區域內的數量, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 4729-4729	域 arearyFAX在區域內的數量, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Government.kif 4730-4730	域 arearyFAX在區域內的數量, 3 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 4727-4727	例 arearyFAX在區域內的數量 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 416-416
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 415-415
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 414-414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14100-14100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14099-14099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14098-14098