TreeView Knowledge Base Browser - expressedInLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2201-2202
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4620-4622
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 865-866
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4617-4617	域用語言表達, 1 and LinguisticExpression
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4618-4618	域用語言表達, 2 and Language
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4616-4616	例用語言表達 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4615-4615	例用語言表達 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 211-211
No TPTP formula. May not be expressible in strict first order.	english_format.kif 212-212
No TPTP formula. May not be expressible in strict first order.	french_format.kif 125-125
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 105-105
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1954-1954
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 77-77
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 272-272
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 145-145
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 144-144
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 220-220
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 212-212
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22942-22942
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22941-22941
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22940-22940
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 87-87
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 221-221

antecedent

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

Merge.kif 4624-4627

consequent

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

Merge.kif 4629-4631

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: