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
issuedBy
Sigma KEE - issuedBy
issuedBy
appearance as argument number 1
(
documentation
issuedBy
EnglishLanguage
"(
issuedBy
?Certificate ?Agent) means that a
Certificate
?Certificate is produced and offered by ?Agent.")
Mid-level-ontology.kif 16498-16499
(
domain
issuedBy
1
Certificate
)
Mid-level-ontology.kif 16496-16496
O argumento numero 1 de
issuedBy
e' uma
instancia
de
Certificado
(
domain
issuedBy
2
CognitiveAgent
)
Mid-level-ontology.kif 16497-16497
O argumento numero 2 de
issuedBy
e' uma
instancia
de
Agente Cognitivo
(
instance
issuedBy
BinaryPredicate
)
Mid-level-ontology.kif 16495-16495
issuedBy
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
issuedBy
"%2 %n 是由 %1 的 issued ")
domainEnglishFormat.kif 1401-1401
(
format
ChineseTraditionalLanguage
issuedBy
"%2 %n 是由 %1 的 issued ")
domainEnglishFormat.kif 1400-1400
(
format
EnglishLanguage
issuedBy
"%2 is %n an issued by of %1")
domainEnglishFormat.kif 1399-1399
(
termFormat
ChineseLanguage
issuedBy
"发行由")
domainEnglishFormat.kif 31201-31201
(
termFormat
ChineseTraditionalLanguage
issuedBy
"發行由")
domainEnglishFormat.kif 31200-31200
(
termFormat
EnglishLanguage
issuedBy
"issued by")
domainEnglishFormat.kif 31199-31199
antecedent
(=>
(
and
(
instance
?Bond
CallableBond
)
(
issuedBy
?Bond ?Agent))
(
capability
Call
agent
?Agent))
FinancialOntology.kif 2477-2481
Certificado
e' uma
instancia
de
CallableBond
issuedBy
Certificado
and
Agente Cognitivo
Agente Cognitivo
e'
capaz
de fazer
Call
no role
agent
(=>
(
and
(
instance
?Card
BankCard
)
(
issuedBy
?Card ?Bank))
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
cardAccount
?Card ?Account)
(
accountAt
?Account ?Bank))))
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
(=>
(
and
(
instance
?Check
PayCheck
)
(
issuedBy
?Check ?Organization)
(
instance
?Give
Giving
)
(
destination
?Give ?Agent))
(
employs
?Agent ?Organization))
FinancialOntology.kif 171-177
Certificado
e' uma
instancia
de
PayCheck
issuedBy
Certificado
and
Agente Cognitivo
Processo
e' uma
instancia
de
Dar
Processo
termina
em
AutonomousAgent
AutonomousAgent
emprega
Agente Cognitivo
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
e' uma
instancia
de
Ticket
AutonomousAgent
possui
Objeto
issuedBy
AutonomousAgent
and
Agente Cognitivo
AmusementGamblingAndRecreationIndustries
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e'
situado
em
Objeto
confersNorm
Agente Cognitivo
,
Entidade
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
Objeto
experimenta
Entidade
eventLocated
Entidade
and
Objeto
and
Permission
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16541-16553
issuedBy
Certificado
and
Agente Cognitivo
Certificado
e' uma
instancia
de
Ticket
AutonomousAgent
possui
Certificado
confersNorm
Agente Cognitivo
,
Entidade
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Agente Cognitivo
AutonomousAgent
experimenta
Entidade
vale
durante
Entidade
and
Permission
(=>
(
issuedBy
?CERT ?AGENT)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
result
?P ?CERT))))
Mid-level-ontology.kif 16501-16507
issuedBy
Certificado
and
Agente Cognitivo
Processo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
Agente Cognitivo
Certificado
e' o
resultado
de
Processo
consequent
(=>
(
instance
?Bond
CorporateBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Corporation
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2380-2385
Certificado
e' uma
instancia
de
CorporateBond
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Empresa
issuedBy
Certificado
and
Agente Cognitivo
(=>
(
instance
?Bond
GovernmentBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2433-2438
Certificado
e' uma
instancia
de
GovernmentBond
Agente Cognitivo
issuedBy
Certificado
and
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Governo
(=>
(
instance
?Bond
MunicipalBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Government
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2367-2372
Certificado
e' uma
instancia
de
MunicipalBond
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Governo
issuedBy
Certificado
and
Agente Cognitivo
(=>
(
instance
?Bond
TreasuryBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2466-2471
Certificado
e' uma
instancia
de
TreasuryBond
Agente Cognitivo
issuedBy
Certificado
and
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Governo
(=>
(
instance
?Card
BankCard
)
(
exists
(?Organization)
(
issuedBy
?Card ?Organization)))
FinancialOntology.kif 183-186
Certificado
e' uma
instancia
de
BankCard
Agente Cognitivo
issuedBy
Certificado
and
Agente Cognitivo
(=>
(
instance
?L
License
)
(
exists
(?ORG)
(
and
(
instance
?ORG
GovernmentOrganization
)
(
issuedBy
?L ?ORG))))
Mid-level-ontology.kif 16529-16534
Certificado
e' uma
instancia
de
License
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
GovernmentOrganization
issuedBy
Certificado
and
Agente Cognitivo
(=>
(
instance
?T
WaterParkTicket
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
WaterThemePark
)
(
issuedBy
?T ?ORG))))
naics.kif 11449-11454
Certificado
e' uma
instancia
de
WaterParkTicket
Agente Cognitivo
WaterThemePark
e' um
atributo
de
Agente Cognitivo
issuedBy
Certificado
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