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 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 571-571	域子類法定節假日, 2 and 假日
No TPTP formula. May not be expressible in strict first order.	Government.kif 569-569	例法定節假日 and BinaryPredicate

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	子關係全國慶典 and 法定節假日
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 節日