TreeView Knowledge Base Browser - subsumedExternalConcept

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 643-643	subsumedExternalConcept e subsumingExternalConcept sao disjuntos
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1530-1532
No TPTP formula. May not be expressible in strict first order.	Merge.kif 667-670
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 95-97
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 111-114
No TPTP formula. May not be expressible in strict first order.	Merge.kif 663-663	O argumento numero 1 de subsumedExternalConcept e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 664-664	O argumento numero 2 de subsumedExternalConcept e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 665-665	O argumento numero 3 de subsumedExternalConcept e' uma instancia de Linguagem
No TPTP formula. May not be expressible in strict first order.	Merge.kif 662-662	subsumedExternalConcept e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 661-661	subsumedExternalConcept e' uma sub-relacao de relatedExternalConcept

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 641-641	synonymousExternalConcept e subsumedExternalConcept sao disjuntos
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 333-333
No TPTP formula. May not be expressible in strict first order.	english_format.kif 338-338
No TPTP formula. May not be expressible in strict first order.	french_format.kif 189-189
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 281-281
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2009-2009
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 141-141
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 439-439
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 318-318
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 209-209
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 200-200
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 473-473
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55812-55812
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 334-334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55811-55811
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55810-55810