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
BarometricAltimeter
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 16749-16750
(
domain
issuedBy
1
Certificate
)
Mid-level-ontology.kif 16747-16747
发行由
的 1 数量 是
证书
的
instance
(
domain
issuedBy
2
CognitiveAgent
)
Mid-level-ontology.kif 16748-16748
发行由
的 2 数量 是
有认知的主事
的
instance
(
instance
issuedBy
BinaryPredicate
)
Mid-level-ontology.kif 16746-16746
发行由
是
二元谓语
的
instance
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 31230-31230
(
termFormat
ChineseTraditionalLanguage
issuedBy
"發行由")
domainEnglishFormat.kif 31229-31229
(
termFormat
EnglishLanguage
issuedBy
"issued by")
domainEnglishFormat.kif 31228-31228
antecedent
(=>
(
and
(
instance
?Bond
CallableBond
)
(
issuedBy
?Bond ?Agent))
(
capability
Call
agent
?Agent))
FinancialOntology.kif 2477-2481
如果
证书
是
可赎回的债券
的
instance
和
有认知的主事
是由
那个 证书
的
issued
,
然后
那个 有认知的主事
能够担当
主事
的角色做
呼叫
(=>
(
and
(
instance
?Card
BankCard
)
(
issuedBy
?Card ?Bank))
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
cardAccount
?Card ?Account)
(
accountAt
?Account ?Bank))))
FinancialOntology.kif 188-196
如果
银行卡
是
银行卡
的
instance
和
金融机构
是由
那个 银行卡
的
issued
,
然后 有存在
金融账户
这样
那个 金融账户
是
金融账户
的
instance
和
那个 金融账户
是
那个 银行卡
的
card
帐户 和
那个 金融账户
是被
那个 金融机构
held
(=>
(
and
(
instance
?Check
PayCheck
)
(
issuedBy
?Check ?Organization)
(
instance
?Give
Giving
)
(
destination
?Give ?Agent))
(
employs
?Agent ?Organization))
FinancialOntology.kif 171-177
如果
证书
是
支票
的
instance
和
有认知的主事
是由
那个 证书
的
issued
和
过程
是
给予
的
instance
和
那个 过程
在
施事体
结束,
然后
那个 施事体
employs
那个 有认知的主事
(=>
(
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
如果
施事体
是
票
的
instance
和
那个 施事体
possesses
客体
和
有认知的主事
是由
那个 施事体
的
issued
和
娱乐赌博和娱乐业
是
那个 有认知的主事
的
attribute
和
那个 有认知的主事
是
located
在
另一个 客体
,
然后
那个 有认知的主事
confers
规范 有存在
实体
这样
那个 实体
是
娱乐或锻炼
的
instance
和
那个 客体
经历了
那个 实体
和
那个 实体
是
located
在
那个 另外 客体
对于
允许
(=>
(
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 16792-16804
如果
有认知的主事
是由
证书
的
issued
和
那个 证书
是
票
的
instance
和
施事体
possesses
那个 证书
,
然后
那个 有认知的主事
confers
规范 有存在
实体
这样 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 施事体
经历了
那个 另外 实体
在
那个 实体
holdsDuring
对于
允许
(=>
(
issuedBy
?CERT ?AGENT)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
result
?P ?CERT))))
Mid-level-ontology.kif 16752-16758
如果
有认知的主事
是由
证书
的
issued
,
然后 有存在
过程
这样
那个 过程
是
有意图过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 证书
是
那个 过程
的
result
consequent
(=>
(
instance
?Bond
CorporateBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Corporation
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2380-2385
如果
证书
是
公司债券
的
instance
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
是
法人财团
的
instance
和
那个 有认知的主事
是由
那个 证书
的
issued
(=>
(
instance
?Bond
GovernmentBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2433-2438
如果
证书
是
政府债券
的
instance
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
是由
那个 证书
的
issued
和
那个 有认知的主事
是
政府
的
instance
(=>
(
instance
?Bond
MunicipalBond
)
(
exists
(?Agent)
(
and
(
instance
?Agent
Government
)
(
issuedBy
?Bond ?Agent))))
FinancialOntology.kif 2367-2372
如果
证书
是
市政债券
的
instance
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
是
政府
的
instance
和
那个 有认知的主事
是由
那个 证书
的
issued
(=>
(
instance
?Bond
TreasuryBond
)
(
exists
(?Agent)
(
and
(
issuedBy
?Bond ?Agent)
(
instance
?Agent
Government
))))
FinancialOntology.kif 2466-2471
如果
证书
是
国债
的
instance
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
是由
那个 证书
的
issued
和
那个 有认知的主事
是
政府
的
instance
(=>
(
instance
?Card
BankCard
)
(
exists
(?Organization)
(
issuedBy
?Card ?Organization)))
FinancialOntology.kif 183-186
如果
证书
是
银行卡
的
instance
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
是由
那个 证书
的
issued
(=>
(
instance
?L
License
)
(
exists
(?ORG)
(
and
(
instance
?ORG
GovernmentOrganization
)
(
issuedBy
?L ?ORG))))
Mid-level-ontology.kif 16780-16785
如果
证书
是
执照
的
instance
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
是
政府组织
的
instance
和
那个 有认知的主事
是由
那个 证书
的
issued
(=>
(
instance
?T
WaterParkTicket
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
WaterThemePark
)
(
issuedBy
?T ?ORG))))
naics.kif 11449-11454
如果
证书
是
WaterParkTicket
的
instance
,
然后 有存在
有认知的主事
这样
WaterThemePark
是
那个 有认知的主事
的
attribute
和
那个 有认知的主事
是由
那个 证书
的
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