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 e' uma sub-classe de Texto

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15382-15382	FactualText e' disjunto de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14925-14925	O conceito NarrativeText e' completamente decomposto em FictionalText + HistoricalAccount
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14950-14950	DramaticPlay e' uma sub-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14934-14934	MysteryStory e' uma sub-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14945-14945	Novel e' uma sub-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14929-14929	ShortStory e' uma sub-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