TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 765-768
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11473-11473
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11474-11474
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10136-10136
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11475-11475
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11471-11471
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11472-11472
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11468-11468
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11469-11469
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11470-11470
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 764-764	音调是放射声音的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39405-39405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39404-39404
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39403-39403

appearance as argument number 3

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

Mid-level-ontology.kif 777-777

antecedent

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

Medicine.kif 1753-1773

consequent

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

Music.kif 1256-1264