Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
O argumento numero 1 de
accountHolder
e' uma
instancia
de
FinancialAccount
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 250-250
O argumento numero 2 de
accountHolder
e' uma
instancia
de
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 248-248
accountHolder
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 247-247
accountHolder
e' uma
sub
-relacao de
partyToAgreement
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
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Empresa
FinancialAccount
e' uma
instancia
de
CorporateAccount
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 996-1000
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
FinancialAccount
e' uma
instancia
de
PersonalAccount
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1007-1011
Entidade
e' uma
instancia
de
PersonalAccount
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
maior
que 1
Entidade
e' uma
instancia
de
JointAccount
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 655-667
amountDue
FinancialAccount
,
Medida de Divisa
and
Posicao Temporal
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
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 1224-1233
FinancialAccount
e' uma
instancia
de
CreditAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
principalAmount
FinancialAccount
and
Numero Real
agreementPeriod
FinancialAccount
and
Intervalo Temporal
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Numero Real
e'
igual
a (
Numero Real
+
Interest
)
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
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 1043-1052
FinancialAccount
e' uma
instancia
de
SavingsAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Transacao Financeira
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Interest
Transacao Financeira
termina
em
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1180-1185
FinancialAccount
e' uma
instancia
de
PensionPlan
accountHolder
FinancialAccount
and
Agente Cognitivo
FinancialCompany
emprega
Agente Cognitivo
financialAccount
FinancialAccount
and
FinancialCompany
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1192-1207
FinancialAccount
e' uma
instancia
de
ProfitSharingPlan
accountHolder
FinancialAccount
and
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
profit
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Transacao Financeira
e' um
agente
de
AutonomousAgent
Numero Real
Numero Real
AY
Numero Real
AY e' uma
instancia
de
Transacao Financeira
transactionAmount
Numero Real
AY and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
Numero Real
AY
termina
em
FinancialAccount
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 311-316
Processo
e' uma
instancia
de
UsingAnAccount
FinancialAccount
e' um
patient
de
Processo
accountHolder
FinancialAccount
and
Agente Cognitivo
Processo
e' um
agente
de
Agente Cognitivo
consequent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2321-2326
FinancialAccount
e' uma
instancia
de
FinancialAccount
Agente Cognitivo
possui
FinancialAsset
FinancialAccount
e'
igual
a
AccountFn
FinancialAsset
accountHolder
FinancialAccount
and
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 218-226
BankCard
e' uma
instancia
de
CreditCard
Agente Cognitivo
possui
BankCard
FinancialAccount
FinancialAccount
e' uma
instancia
de
CreditCardAccount
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 203-211
BankCard
e' uma
instancia
de
DebitCard
Agente Cognitivo
possui
BankCard
FinancialAccount
FinancialAccount
e' uma
instancia
de
DepositAccount
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 321-327
Processo
e' uma
instancia
de
DrawingACheck
Check
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
checkAccount
Check
and
FinancialAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
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
Processo
Time
FinancialAccount
FinancialAccount
Period
agreementPeriod
FinancialAccount
and
FinancialAccount
Period
Processo
Time
encontra
FinancialAccount
Period
FinancialAccount
e' uma
instancia
de
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
Agente Cognitivo
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