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 16499-16500
(
domain
issuedBy
1
Certificate
)
Mid-level-ontology.kif 16497-16497
Il numero 1 argomenti di
issuedBy
è un
istanza
di
Certificato
(
domain
issuedBy
2
CognitiveAgent
)
Mid-level-ontology.kif 16498-16498
Il numero 2 argomenti di
issuedBy
è un
istanza
di
AgenteCognitivo
(
instance
issuedBy
BinaryPredicate
)
Mid-level-ontology.kif 16496-16496
issuedBy
è un'
istanza
di
PredicatoBinario
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
Certificato
è un'
istanza
di
CallableBond
issuedBy
Certificato
and
AgenteCognitivo
AgenteCognitivo
è
capace
di fare
Call
nel ruolo
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
è un'
istanza
di
BankCard
issuedBy
BankCard
and
FinancialOrganization
FinancialAccount
FinancialAccount
è un'
istanza
di
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
Certificato
è un'
istanza
di
PayCheck
issuedBy
Certificato
and
AgenteCognitivo
Processo
è un'
istanza
di
Dare
Processo
fine
s in
AutonomousAgent
AutonomousAgent
impiega
s
AgenteCognitivo
(=>
(
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
è un'
istanza
di
Ticket
AutonomousAgent
possiede
es
Oggetto
issuedBy
AutonomousAgent
and
AgenteCognitivo
attribute
AgenteCognitivo
and
AmusementGamblingAndRecreationIndustries
AgenteCognitivo
è
localizzato
in
Oggetto
confersNorm
AgenteCognitivo
,
Entit�
Entit�
è un'
istanza
di
PassatempoOEsercizio
Oggetto
esperisce
s
Entit�
eventLocated
Entit�
and
Oggetto
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 16542-16554
issuedBy
Certificato
and
AgenteCognitivo
Certificato
è un'
istanza
di
Ticket
AutonomousAgent
possiede
es
Certificato
confersNorm
AgenteCognitivo
,
Entit�
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è un
agente
di
AgenteCognitivo
AutonomousAgent
esperisce
s
Entit�
vales
durante
Entit�
and
Permission
(=>
(
issuedBy
?CERT ?AGENT)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
result
?P ?CERT))))
Mid-level-ontology.kif 16502-16508
issuedBy
Certificato
and
AgenteCognitivo
Processo
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AgenteCognitivo
Certificato
è un
risultato
di
Processo
consequent
(=>
(
instance
?Bond
CorporateBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Corporation
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2380-2385
Certificato
è un'
istanza
di
CorporateBond
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
Corporazione
issuedBy
Certificato
and
AgenteCognitivo
(=>
(
instance
?Bond
GovernmentBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2433-2438
Certificato
è un'
istanza
di
GovernmentBond
AgenteCognitivo
issuedBy
Certificato
and
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
Governo
(=>
(
instance
?Bond
MunicipalBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Government
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2367-2372
Certificato
è un'
istanza
di
MunicipalBond
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
Governo
issuedBy
Certificato
and
AgenteCognitivo
(=>
(
instance
?Bond
TreasuryBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2466-2471
Certificato
è un'
istanza
di
TreasuryBond
AgenteCognitivo
issuedBy
Certificato
and
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
Governo
(=>
(
instance
?Card
BankCard
)
(
exists
(?Organization)
(
issuedBy
?Card ?Organization)))
FinancialOntology.kif 183-186
Certificato
è un'
istanza
di
BankCard
AgenteCognitivo
issuedBy
Certificato
and
AgenteCognitivo
(=>
(
instance
?L
License
)
(
exists
(?ORG)
(
and
(
instance
?ORG
GovernmentOrganization
)
(
issuedBy
?L ?ORG))))
Mid-level-ontology.kif 16530-16535
Certificato
è un'
istanza
di
License
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
GovernmentOrganization
issuedBy
Certificato
and
AgenteCognitivo
(=>
(
instance
?T
WaterParkTicket
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
WaterThemePark
)
(
issuedBy
?T ?ORG))))
naics.kif 11449-11454
Certificato
è un'
istanza
di
WaterParkTicket
AgenteCognitivo
attribute
AgenteCognitivo
and
WaterThemePark
issuedBy
Certificato
and
AgenteCognitivo
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