TreeView Knowledge Base Browser - accountAt

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - accountAt

accountAt

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 232-233
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 230-230	O argumento numero 1 de accountAt e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 231-231	O argumento numero 2 de accountAt e' uma instancia de FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 229-229	accountAt e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 228-228	accountAt e' uma sub-relacao de partyToAgreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2674-2674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2673-2673
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2672-2672
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5238-5238
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5237-5237
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5236-5236

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3621-3625	accountHolder FinancialAccount and Agente Cognitivo accountAt FinancialAccount and FinancialOrganization customer Agente Cognitivo and FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1212-1222	FinancialAccount e' uma instancia de CreditAccount accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and Agente Cognitivo interestEarned FinancialAccount, Interest and Intervalo Temporal Transacao Financeira Transacao Financeira tem como origem Agente Cognitivo transactionAmount Transacao Financeira and Interest Transacao Financeira termina em FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 76-84	FinancialAccount e' uma instancia de FinancialAccount accountAt FinancialAccount and FinancialOrganization Processo Processo e' uma instancia de ControllingAnAccount FinancialAccount e' um patient de Processo Processo e' um agente de FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1162-1171	FinancialAccount e' uma instancia de LiabilityAccount accountHolder FinancialAccount and Agreement accountAt FinancialAccount and Agreement Agente Cognitivo Agente Cognitivo tem um atributo de Liability partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 356-361	Processo e' uma instancia de ControllingAnAccount FinancialAccount e' um patient de Processo accountAt FinancialAccount and FinancialOrganization Processo e' um agente de FinancialOrganization

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3943-3948	bankAccount FinancialAccount and BankFinancialOrganization FinancialAccount FinancialAccount e' uma instancia de FinancialAccount accountAt FinancialAccount and BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 188-196	BankCard e' uma instancia de BankCard issuedBy BankCard and FinancialOrganization FinancialAccount FinancialAccount e' uma instancia de FinancialAccount cardAccount BankCard and FinancialAccount accountAt FinancialAccount and FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 293-306	Processo e' uma instancia de OpeningAnAccount eventLocated Processo and FinancialOrganization FinancialOrganization e' uma instancia de FinancialOrganization Processo e' um agente de Agente Cognitivo tempo de existencia de Processo e' igual a ProcessoTime FinancialAccount FinancialAccountPeriod agreementPeriod FinancialAccount and FinancialAccountPeriod ProcessoTime encontra FinancialAccountPeriod FinancialAccount e' uma instancia de FinancialAccount accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 69-74	FinancialAccount e' uma instancia de FinancialAccount FinancialOrganization FinancialOrganization e' uma instancia de FinancialOrganization accountAt FinancialAccount and FinancialOrganization

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