TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 573-578
No TPTP formula. May not be expressible in strict first order.	Government.kif 570-570	O argumento numero 1 de nationalHoliday e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 571-571	O argumento numero 2 de nationalHoliday e' uma sub-classe de Holiday
No TPTP formula. May not be expressible in strict first order.	Government.kif 569-569	nationalHoliday e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1779-1779
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1778-1778
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1777-1777
No TPTP formula. May not be expressible in strict first order.	Government.kif 562-562	nationalCelebration e' uma sub-relacao de nationalHoliday
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39831-39831
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39830-39830
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39829-39829

antecedent

No TPTP formula. May not be expressible in strict first order.

Government.kif 637-641

consequent

No TPTP formula. May not be expressible in strict first order.

Media.kif 349-357

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Media.kif 359-359	nationalHoliday Australia and ChristmasDay
No TPTP formula. May not be expressible in strict first order.	Media.kif 360-360	nationalHoliday NewZealand and ChristmasDay