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	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 15382-15382	FactualText est disjoint de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14925-14925	NarrativeText est compl�tement d�compos� en FictionalText + HistoricalAccount
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14950-14950	DramaticPlay est une sous-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14934-14934	MysteryStory est une sous-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14945-14945	Novel est une sous-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14929-14929	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 15431-15440

consequent

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

Mid-level-ontology.kif 15967-15981