Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialOrganization
FinancialOrganization(金融機構)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 18-19
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 17-17 子類 金融機構 and Organization

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 21-21 子類 BankFinancialOrganization and 金融機構
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 28-28 子類 信用社 and 金融機構
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 35-35 子類 儲蓄和貸款 and 金融機構
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23786-23786
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23785-23785
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23784-23784

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 231-231 域 帳號在, 2 and 金融機構
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 894-894 域 服務費, 1 and 金融機構

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 293-306
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4143-4150
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4129-4136