FinancialText - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14905-14906
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14904-14904	子類財務文本 and 報告

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14908-14908	子類財務法案 and 財務文本
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29851-29851	子類 Invoice and 財務文本
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3377-3377	子類 PayStub and 財務文本
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29878-29878	子類 PurchaseOrder and 財務文本
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23828-23828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23827-23827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23826-23826