TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13850-13851
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3174-3174
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3173-3173
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3170-3170
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2981-2981
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3169-3169
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13849-13849	PassingA bill is a subclass of declaring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13848-13848	PassingA bill is a subclass of political process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44714-44714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44713-44713
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44712-44712

antecedent

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

Mid-level-ontology.kif 13853-13859

consequent

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

Government.kif 1901-1903