TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14884-14885
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 14883-14883	历史记录是事实文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14882-14882	历史记录是叙述文本的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14894-14894	传是历史记录的 subclass
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 14925-14925

antecedent

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

Mid-level-ontology.kif 14887-14892