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

Formal Language: 



KB Term:  Term intersection
English Word: 

  accountHolder

 Sigma KEE - accountHolder
accountHolder

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 251-252
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 249-249 域 帳戶持有人, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 250-250 域 帳戶持有人, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 248-248 例 帳戶持有人 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 247-247 子關係 帳戶持有人 and 協議的一方

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2682-2682
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2681-2681
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2680-2680
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5250-5250
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5249-5249
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5248-5248

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1018-1022 CognitiveAgent 持有 account 金融賬戶 例 CognitiveAgent and Corporation 例 金融賬戶 and 企業帳戶
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 996-1000 CognitiveAgent 持有 account 金融賬戶 例 CognitiveAgent and Human 例 金融賬戶 and 個人賬戶
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1007-1011 例 Entity and 個人賬戶 比較多 基數 卡帕 SymbolicString and SymbolicString 持有 account Entity and 1 例 Entity and 聯名賬戶
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3621-3625
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 655-667
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1212-1222
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1224-1233
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1162-1171
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1043-1052
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1180-1185
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1192-1207
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 311-316

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2321-2326 例 金融賬戶 and 金融賬戶 擁有 CognitiveAgent and 金融資產 等於 金融賬戶 and 金融資產 的帳號 CognitiveAgent 持有 account 金融賬戶
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 218-226
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 203-211
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 321-327
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 293-306


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners