TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3531-3532
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15296-15297
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6737-6737
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7459-7459
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15294-15294	Noun e' uma sub-classe de Palavra

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15295-15295	O conceito Palavra e' completamente decomposto em Noun, Verbo, Adjetivo, Adverbio, + ParticleWord
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1029-1029
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1270-1270
No TPTP formula. May not be expressible in strict first order.	french_format.kif 707-707
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 238-238
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 241-241
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2390-2390
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 243-243
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 276-276
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 728-728
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 242-242

appearance as argument number 3

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

Mid-level-ontology.kif 19307-19307

O argumento numero 1 de nounGender e' uma instancia de Noun

consequent

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

Merge.kif 15387-15392