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	Le nombre 1 argument de dateOpenedForSignature est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3071-3071	Le nombre 2 argument de dateOpenedForSignature est une sous-classe de position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3069-3069	dateOpenedForSignature est une instance de pr�dicat binaire

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