TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14883-14884
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2832-2832
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2828-2828
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2690-2690
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2830-2830
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2827-2827
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2829-2829
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2833-2833
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14882-14882	HistoricalAccount est une sous-classe de FactualText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14881-14881	HistoricalAccount est une sous-classe de NarrativeText

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14893-14893	Biography est une sous-classe de HistoricalAccount
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28251-28251
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28250-28250
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28249-28249

appearance as argument number 3

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

Mid-level-ontology.kif 14924-14924

antecedent

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

Mid-level-ontology.kif 14886-14891