TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20876-20876
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20875-20875	宗教立场是地位的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 1209-1209	方丈是宗教立场的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 1381-1381	阿亚图拉是宗教立场的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 826-826	主教是宗教立场的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 1294-1294	根本是宗教立场的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 1133-1133	牧师是宗教立场的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20885-20885	牧师是宗教立场的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20896-20896	执事是宗教立场的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 680-680	僧是宗教立场的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 1287-1287	教皇是宗教立场的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 1432-1432	拉比是宗教立场的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49430-49430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49429-49429
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49428-49428

antecedent

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

Mid-level-ontology.kif 20878-20882

consequent

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

Biography.kif 132-143