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 et subsumingExternalConcept sont disjoint
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	Le nombre 1 argument de subsumedExternalConcept est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 664-664	Le nombre 2 argument de subsumedExternalConcept est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 665-665	Le nombre 3 argument de subsumedExternalConcept est une instance de langage
No TPTP formula. May not be expressible in strict first order.	Merge.kif 662-662	subsumedExternalConcept est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 661-661	subsumedExternalConcept est une sous-relation de relatedExternalConcept

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 641-641	synonymousExternalConcept et subsumedExternalConcept sont disjoint
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