TreeView Knowledge Base Browser - dateOpenedForSignature

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3073-3076
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3070-3070	域日期開放供簽署, 1 and Proposition
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3071-3071	域子類日期開放供簽署, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3069-3069	例日期開放供簽署 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 660-660
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 659-659
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 658-658
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18636-18636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18635-18635
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18634-18634