expressedInLanguage - Sigma Knowledge base Browser

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 4606-4608
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 4603-4603	所表达的语言的 1 数量是语言式表达的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4604-4604	所表达的语言的 2 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4602-4602	所表达的语言是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4601-4601	所表达的语言是二元谓语的 instance

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 22945-22945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22944-22944
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22943-22943
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 4610-4613

consequent

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

Merge.kif 4615-4617