TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14645-14647
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2928-2928
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2930-2930
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2929-2929
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2733-2733
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14644-14644	Series est une sous-classe de texte

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14587-14587	BroadcastProgram est une sous-classe de series
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14672-14672	Periodique est une sous-classe de series
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1042-1042
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1295-1295
No TPTP formula. May not be expressible in strict first order.	french_format.kif 720-720
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 251-251
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 254-254
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2404-2404
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 672-672
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 256-256
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 290-290
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 741-741
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 255-255

appearance as argument number 3

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

Mid-level-ontology.kif 14616-14616

Le nombre 1 argument de SeriesVolumeFn est une sous-classe de series

antecedent

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

Mid-level-ontology.kif 14649-14657