ComputerLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1664-1665
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1436-1437
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 253-254
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 298-299
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1434-1434	电算机语言是人造语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 842-842
No TPTP formula. May not be expressible in strict first order.	english_format.kif 886-886
No TPTP formula. May not be expressible in strict first order.	french_format.kif 518-518
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 49-49
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 52-52
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2203-2203
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 470-470
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 85-85
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 539-539
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 53-53

appearance as argument number 4

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

Merge.kif 1406-1406

antecedent

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

Merge.kif 1439-1444