TreeView Knowledge Base Browser - nationalCelebration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 528-531
No TPTP formula. May not be expressible in strict first order.	Government.kif 524-524	The number 1 argument of national celebration is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 525-525	The number 2 argument of national celebration is a subclass of holiday
No TPTP formula. May not be expressible in strict first order.	Government.kif 523-523	national celebration is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 526-526	national celebration is a subrelation of national holiday

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1775-1775
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1774-1774
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1773-1773
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39809-39809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39808-39808
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39807-39807