FictionalText - Sigma 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	虚构的文字是文本的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15382-15382	事实文本和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14925-14925	叙述文本详尽无遗地 partition 成虚构的文字和历史记录
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14950-14950	戏剧性的表演是虚构的文字的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14934-14934	神秘的故事是虚构的文字的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14945-14945	小说是虚构的文字的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14929-14929	短篇故事是虚构的文字的 subclass
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