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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of account holder is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 250-250 The number 2 argument of account holder is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 248-248 account holder is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 247-247 account holder is a subrelation of party to agreement

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2683-2683
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 5259-5259
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5258-5258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5257-5257

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 972-976 A cognitive agent holds account a financial account and the cognitive agent is an instance of corporation if and only if the financial account is an instance of corporate account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 950-954 A cognitive agent holds account a financial account and the cognitive agent is an instance of human if and only if the financial account is an instance of personal account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 961-965 An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3562-3566
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1166-1176
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1178-1187
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1116-1125
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 997-1006
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1134-1139
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1146-1161
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 2270-2275 A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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