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
The number 1 argument of
issued by
is an
instance
of
certificate
(
domain
issuedBy
2
CognitiveAgent
)
Mid-level-ontology.kif 16498-16498
The number 2 argument of
issued by
is an
instance
of
cognitive agent
(
instance
issuedBy
BinaryPredicate
)
Mid-level-ontology.kif 16496-16496
issued by
is an
instance
of
binary predicate
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
If
a certificate
is an
instance
of
callable bond
and
a cognitive agent
is an
issued
by of
the certificate
,
then
the cognitive agent
is
capable
of doing
call
as a
agent
(=>
(
and
(
instance
?Card
BankCard
)
(
issuedBy
?Card ?Bank))
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
cardAccount
?Card ?Account)
(
accountAt
?Account ?Bank))))
FinancialOntology.kif 188-196
If
a bank card
is an
instance
of
bank card
and
a financial organization
is an
issued
by of
the bank card
,
then there exists
a financial account
such that
the financial account
is an
instance
of
financial account
and
the financial account
is a
card
account of
the bank card
and
the financial account
is
held
by
the financial organization
(=>
(
and
(
instance
?Check
PayCheck
)
(
issuedBy
?Check ?Organization)
(
instance
?Give
Giving
)
(
destination
?Give ?Agent))
(
employs
?Agent ?Organization))
FinancialOntology.kif 171-177
If
a certificate
is an
instance
of
pay check
and
a cognitive agent
is an
issued
by of
the certificate
and
a process
is an
instance
of
giving
and
the process
end
s up at
an agent
,
then
the agent
employ
s
the cognitive agent
(=>
(
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
If
an agent
is an
instance
of
ticket
and
the agent
possess
es
an object
and
a cognitive agent
is an
issued
by of
the agent
and
amusement gambling and recreation industries
is an
attribute
of
the cognitive agent
and
the cognitive agent
is
located
at
another object
,
then
the cognitive agent
confers
norm there exists
an entity
such that
the entity
is an
instance
of
recreation or exercise
and
the object
experience
s
the entity
and
the entity
is
located
at
the other object
for
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
If
a cognitive agent
is an
issued
by of
a certificate
and
the certificate
is an
instance
of
ticket
and
an agent
possess
es
the certificate
,
then
the cognitive agent
confers
norm there exists
an entity
such that there exists
another entity
such that
the other entity
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the other entity
and
the agent
experience
s
the other entity
holds
during
the entity
for
permission
(=>
(
issuedBy
?CERT ?AGENT)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
result
?P ?CERT))))
Mid-level-ontology.kif 16502-16508
If
a cognitive agent
is an
issued
by of
a certificate
,
then there exists
a process
such that
the process
is an
instance
of
intentional process
and
the cognitive agent
is an
agent
of
the process
and
the certificate
is a
result
of
the process
consequent
(=>
(
instance
?Bond
CorporateBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Corporation
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2380-2385
If
a certificate
is an
instance
of
corporate bond
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
instance
of
corporation
and
the cognitive agent
is an
issued
by of
the certificate
(=>
(
instance
?Bond
GovernmentBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2433-2438
If
a certificate
is an
instance
of
government bond
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
issued
by of
the certificate
and
the cognitive agent
is an
instance
of
government
(=>
(
instance
?Bond
MunicipalBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Government
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2367-2372
If
a certificate
is an
instance
of
municipal bond
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
instance
of
government
and
the cognitive agent
is an
issued
by of
the certificate
(=>
(
instance
?Bond
TreasuryBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2466-2471
If
a certificate
is an
instance
of
treasury bond
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
issued
by of
the certificate
and
the cognitive agent
is an
instance
of
government
(=>
(
instance
?Card
BankCard
)
(
exists
(?Organization)
(
issuedBy
?Card ?Organization)))
FinancialOntology.kif 183-186
If
a certificate
is an
instance
of
bank card
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
issued
by of
the certificate
(=>
(
instance
?L
License
)
(
exists
(?ORG)
(
and
(
instance
?ORG
GovernmentOrganization
)
(
issuedBy
?L ?ORG))))
Mid-level-ontology.kif 16530-16535
If
a certificate
is an
instance
of
license
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
instance
of
government organization
and
the cognitive agent
is an
issued
by of
the certificate
(=>
(
instance
?T
WaterParkTicket
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
WaterThemePark
)
(
issuedBy
?T ?ORG))))
naics.kif 11449-11454
If
a certificate
is an
instance
of
water park ticket
,
then there exists
a cognitive agent
such that
water theme park
is an
attribute
of
the cognitive agent
and
the cognitive agent
is an
issued
by of
the certificate
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