TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3556-3558
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15410-15416
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2675-2675
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15409-15409	子類虛構的文字 and Text

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15382-15382	不相交的事實文本 and 虛構的文字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14925-14925	劃分敘述文本, 虛構的文字 and 歷史記錄
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14950-14950	子類戲劇性的表演 and 虛構的文字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14934-14934	子類神秘的故事 and 虛構的文字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14945-14945	子類小說 and 虛構的文字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14929-14929	子類短篇故事 and 虛構的文字
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23612-23612
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23611-23611
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23610-23610

antecedent

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

Merge.kif 15431-15440

consequent

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

Mid-level-ontology.kif 15967-15981