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 15432-15438
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 15431-15431	FictionalText est une sous-classe de texte

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15404-15404	FactualText est disjoint de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14924-14924	NarrativeText est compl�tement d�compos� en FictionalText + HistoricalAccount
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14949-14949	DramaticPlay est une sous-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14933-14933	MysteryStory est une sous-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14944-14944	Novel est une sous-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14928-14928	ShortStory est une sous-classe de FictionalText
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 15453-15462

consequent

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

Mid-level-ontology.kif 15966-15980