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
域
發行由
, 1 and
Certificate
(
domain
issuedBy
2
CognitiveAgent
)
Mid-level-ontology.kif 16498-16498
域
發行由
, 2 and
CognitiveAgent
(
instance
issuedBy
BinaryPredicate
)
Mid-level-ontology.kif 16496-16496
例
發行由
and
BinaryPredicate
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
例
Certificate
and
可贖回的債券
CognitiveAgent
是由
Certificate
的
issued
能力
呼叫
,
agent
and
CognitiveAgent
(=>
(
and
(
instance
?Card
BankCard
)
(
issuedBy
?Card ?Bank))
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
cardAccount
?Card ?Account)
(
accountAt
?Account ?Bank))))
FinancialOntology.kif 188-196
例
銀行卡
and
銀行卡
金融機構
是由
銀行卡
的
issued
金融賬戶
例
金融賬戶
and
金融賬戶
金融賬戶
是
銀行卡
的
card
帳戶
金融賬戶
是被
金融機構
held
(=>
(
and
(
instance
?Check
PayCheck
)
(
issuedBy
?Check ?Organization)
(
instance
?Give
Giving
)
(
destination
?Give ?Agent))
(
employs
?Agent ?Organization))
FinancialOntology.kif 171-177
例
Certificate
and
支票
CognitiveAgent
是由
Certificate
的
issued
例
Process
and
Giving
目的地
Process
and
AutonomousAgent
採用
AutonomousAgent
and
CognitiveAgent
(=>
(
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
and
票
擁有
AutonomousAgent
and
Object
CognitiveAgent
是由
AutonomousAgent
的
issued
attribute
CognitiveAgent
and
娛樂賭博和娛樂業
位於
CognitiveAgent
and
Object
CognitiveAgent
confers
規範
entity
例
entity
and
RecreationOrExercise
體驗者
entity
and
Object
entity
是
located
在
Object
對於
允許
(=>
(
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
CognitiveAgent
是由
Certificate
的
issued
例
Certificate
and
票
擁有
AutonomousAgent
and
Certificate
CognitiveAgent
confers
規範
entity
持有期間
entity
and
entity
例
entity
and
Process
agent
entity
and
CognitiveAgent
體驗者
entity
and
AutonomousAgent
對於
允許
(=>
(
issuedBy
?CERT ?AGENT)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
result
?P ?CERT))))
Mid-level-ontology.kif 16502-16508
CognitiveAgent
是由
Certificate
的
issued
Process
例
Process
and
IntentionalProcess
agent
Process
and
CognitiveAgent
結果
Process
and
Certificate
consequent
(=>
(
instance
?Bond
CorporateBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Corporation
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2380-2385
例
Certificate
and
公司債券
CognitiveAgent
例
CognitiveAgent
and
Corporation
CognitiveAgent
是由
Certificate
的
issued
(=>
(
instance
?Bond
GovernmentBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2433-2438
例
Certificate
and
政府債券
CognitiveAgent
CognitiveAgent
是由
Certificate
的
issued
例
CognitiveAgent
and
Government
(=>
(
instance
?Bond
MunicipalBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Government
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2367-2372
例
Certificate
and
市政債券
CognitiveAgent
例
CognitiveAgent
and
Government
CognitiveAgent
是由
Certificate
的
issued
(=>
(
instance
?Bond
TreasuryBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2466-2471
例
Certificate
and
國債
CognitiveAgent
CognitiveAgent
是由
Certificate
的
issued
例
CognitiveAgent
and
Government
(=>
(
instance
?Card
BankCard
)
(
exists
(?Organization)
(
issuedBy
?Card ?Organization)))
FinancialOntology.kif 183-186
例
Certificate
and
銀行卡
CognitiveAgent
CognitiveAgent
是由
Certificate
的
issued
(=>
(
instance
?L
License
)
(
exists
(?ORG)
(
and
(
instance
?ORG
GovernmentOrganization
)
(
issuedBy
?L ?ORG))))
Mid-level-ontology.kif 16530-16535
例
Certificate
and
執照
CognitiveAgent
例
CognitiveAgent
and
政府組織
CognitiveAgent
是由
Certificate
的
issued
(=>
(
instance
?T
WaterParkTicket
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
WaterThemePark
)
(
issuedBy
?T ?ORG))))
naics.kif 11449-11454
例
Certificate
and
WaterParkTicket
CognitiveAgent
attribute
CognitiveAgent
and
WaterThemePark
CognitiveAgent
是由
Certificate
的
issued
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