Reading - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3201-3202
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12684-12687
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12683-12683	相關的內部概念 Reading and 解讀
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12682-12682	子類 Reading and ContentDevelopment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1178-1178
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1573-1573
No TPTP formula. May not be expressible in strict first order.	french_format.kif 856-856
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 388-388
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 391-391
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2540-2540
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 808-808
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 393-393
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 427-427
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 877-877
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 392-392

antecedent

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

Merge.kif 12689-12695

consequent

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

Mid-level-ontology.kif 15000-15004