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	法定节假日的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 571-571	法定节假日的 2 数量是假日的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 569-569	法定节假日是二元谓语的 instance

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	全国庆典是法定节假日的 subrelation
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	ChristmasDay 是澳大利亚的 national 节日
No TPTP formula. May not be expressible in strict first order.	Media.kif 360-360	ChristmasDay 是新西兰的 national 节日