TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13822-13823
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 13821-13821	PassingABill est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13820-13820	PassingABill est une sous-classe de processus polotique

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 13825-13831

consequent

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

Government.kif 1937-1939