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	The number 1 argument of national holiday is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 571-571	The number 2 argument of national holiday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order.	Government.kif 569-569	national holiday is an instance of binary predicate

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	national celebration is a subrelation of national holiday
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	Christmas day is a national holiday of australia
No TPTP formula. May not be expressible in strict first order.	Media.kif 360-360	Christmas day is a national holiday of new zealand