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
Die Zahl 1 Argument von
issuedBy
ist ein
fall
von
Certificate
%n{nicht}
(
domain
issuedBy
2
CognitiveAgent
)
Mid-level-ontology.kif 16498-16498
Die Zahl 2 Argument von
issuedBy
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
issuedBy
BinaryPredicate
)
Mid-level-ontology.kif 16496-16496
issuedBy
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
Certificate
ist ein
fall
von
CallableBond
%n{nicht} und
issuedBy
** Certificate
and
CognitiveAgent
,
dann
** CognitiveAgent
ist faehig %n{nicht}, in der Rolle
agent
Call
zu tun
(=>
(
and
(
instance
?Card
BankCard
)
(
issuedBy
?Card ?Bank))
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
cardAccount
?Card ?Account)
(
accountAt
?Account ?Bank))))
FinancialOntology.kif 188-196
Wenn
BankCard
ist ein
fall
von
BankCard
%n{nicht} und
issuedBy
** BankCard
and
FinancialOrganization
,
dann es gibt
FinancialAccount
um
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
cardAccount
** BankCard
and
** FinancialAccount
und
accountAt
** FinancialAccount
and
** FinancialOrganization
(=>
(
and
(
instance
?Check
PayCheck
)
(
issuedBy
?Check ?Organization)
(
instance
?Give
Giving
)
(
destination
?Give ?Agent))
(
employs
?Agent ?Organization))
FinancialOntology.kif 171-177
Wenn
Certificate
ist ein
fall
von
PayCheck
%n{nicht} und
issuedBy
** Certificate
and
CognitiveAgent
und
Process
ist ein
fall
von
Giving
%n{nicht} und
** Process
endet an
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
Ticket
%n{nicht} und
** AutonomousAgent
besitzt
Object
%n{nicht} und
issuedBy
** AutonomousAgent
and
CognitiveAgent
und
AmusementGamblingAndRecreationIndustries
ist ein
attribut
von
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
befindet
sich an %n{nicht},
dann
confersNorm
** CognitiveAgent
, es gibt
entity
um
** entity
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** Object
erfaehrt
** entity
%n{nicht} und
eventLocated
** entity
and
** Object
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
Wenn
issuedBy
Certificate
and
CognitiveAgent
und
** Certificate
ist ein
fall
von
Ticket
%n{nicht} und
AutonomousAgent
besitzt
** Certificate
%n{nicht},
dann
confersNorm
** CognitiveAgent
, es gibt
entity
um es gibt
** entity
um
** ** entity
ist ein
fall
von
Process
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** AutonomousAgent
erfaehrt
** ** entity
%n{nicht} haelt
waehrend
** entity
%n{nicht} and
Permission
(=>
(
issuedBy
?CERT ?AGENT)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
result
?P ?CERT))))
Mid-level-ontology.kif 16502-16508
Wenn
issuedBy
Certificate
and
CognitiveAgent
,
dann es gibt
Process
um
** Process
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Certificate
ist ein
resultat
von
** Process
%n{nicht}
consequent
(=>
(
instance
?Bond
CorporateBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Corporation
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2380-2385
Wenn
Certificate
ist ein
fall
von
CorporateBond
%n{nicht},
dann es gibt
CognitiveAgent
um
** CognitiveAgent
ist ein
fall
von
Corporation
%n{nicht} und
issuedBy
** Certificate
and
** CognitiveAgent
(=>
(
instance
?Bond
GovernmentBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2433-2438
Wenn
Certificate
ist ein
fall
von
GovernmentBond
%n{nicht},
dann es gibt
CognitiveAgent
um
issuedBy
** Certificate
and
** CognitiveAgent
und
** CognitiveAgent
ist ein
fall
von
Government
%n{nicht}
(=>
(
instance
?Bond
MunicipalBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Government
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2367-2372
Wenn
Certificate
ist ein
fall
von
MunicipalBond
%n{nicht},
dann es gibt
CognitiveAgent
um
** CognitiveAgent
ist ein
fall
von
Government
%n{nicht} und
issuedBy
** Certificate
and
** CognitiveAgent
(=>
(
instance
?Bond
TreasuryBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2466-2471
Wenn
Certificate
ist ein
fall
von
TreasuryBond
%n{nicht},
dann es gibt
CognitiveAgent
um
issuedBy
** Certificate
and
** CognitiveAgent
und
** CognitiveAgent
ist ein
fall
von
Government
%n{nicht}
(=>
(
instance
?Card
BankCard
)
(
exists
(?Organization)
(
issuedBy
?Card ?Organization)))
FinancialOntology.kif 183-186
Wenn
Certificate
ist ein
fall
von
BankCard
%n{nicht},
dann es gibt
CognitiveAgent
um
issuedBy
** Certificate
and
** CognitiveAgent
(=>
(
instance
?L
License
)
(
exists
(?ORG)
(
and
(
instance
?ORG
GovernmentOrganization
)
(
issuedBy
?L ?ORG))))
Mid-level-ontology.kif 16530-16535
Wenn
Certificate
ist ein
fall
von
License
%n{nicht},
dann es gibt
CognitiveAgent
um
** CognitiveAgent
ist ein
fall
von
GovernmentOrganization
%n{nicht} und
issuedBy
** Certificate
and
** CognitiveAgent
(=>
(
instance
?T
WaterParkTicket
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
WaterThemePark
)
(
issuedBy
?T ?ORG))))
naics.kif 11449-11454
Wenn
Certificate
ist ein
fall
von
WaterParkTicket
%n{nicht},
dann es gibt
CognitiveAgent
um
WaterThemePark
ist ein
attribut
von
** CognitiveAgent
%n{nicht} und
issuedBy
** Certificate
and
** CognitiveAgent
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