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	O argumento numero 1 de dateOpenedForSignature e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3071-3071	O argumento numero 2 de dateOpenedForSignature e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3069-3069	dateOpenedForSignature e' uma instancia de Predicado Binario

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