ChristianBible - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7866-7867
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2780-2780
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2781-2781
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7863-7863	基督教圣经是书的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7864-7864	基督教圣经包含新约的内容
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7865-7865	基督教圣经包含旧约的内容

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14718-14718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14717-14717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14716-14716