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
insured
Sigma KEE - insured
insured
appearance as argument number 1
(
documentation
insured
EnglishLanguage
"(insured ?Contract ?Org) means that ?Contract is insured by the ?Organization.")
Mid-level-ontology.kif 7138-7139
(
domain
insured
1
Proposition
)
Mid-level-ontology.kif 7136-7136
投保
的 1 数量 是
命题
的
instance
(
domain
insured
2
Organization
)
Mid-level-ontology.kif 7137-7137
投保
的 2 数量 是
机构
的
instance
(
instance
insured
AsymmetricRelation
)
Mid-level-ontology.kif 7135-7135
投保
是
非对称关系
的
instance
(
instance
insured
BinaryPredicate
)
Mid-level-ontology.kif 7134-7134
投保
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
insured
"%2 %n 是 %1 的投保")
domainEnglishFormat.kif 1353-1353
(
format
ChineseTraditionalLanguage
insured
"%2 %n 是 %1 的投保")
domainEnglishFormat.kif 1352-1352
(
format
EnglishLanguage
insured
"%2 is %n an
insured
of %1")
domainEnglishFormat.kif 1351-1351
(
termFormat
ChineseLanguage
insured
"投保")
domainEnglishFormat.kif 30343-30343
(
termFormat
ChineseTraditionalLanguage
insured
"投保")
domainEnglishFormat.kif 30342-30342
(
termFormat
EnglishLanguage
insured
"insured")
domainEnglishFormat.kif 30341-30341
antecedent
(=>
(
insured
?PROP ?ORG)
(
property
?PROP
Contract
))
Mid-level-ontology.kif 7141-7143
如果
机构
是
命题
的投保,
然后
那个 命题
有
合同
的
attribute
consequent
(=>
(
instance
?I
InsuranceCompany
)
(
exists
(?C)
(
insured
?C ?I)))
Mid-level-ontology.kif 7149-7152
如果
机构
是
保险公司
的
instance
,
然后 有存在
命题
这样
那个 机构
是
那个 命题
的投保
(=>
(
instance
?Loan
FHALoan
)
(
insured
?Loan
FederalHousingAdministration
))
FinancialOntology.kif 1539-1541
如果
命题
是
FHA贷款
的
instance
,
然后
联邦住房管理局
是
那个 命题
的投保
(=>
(
instance
?Mortgage
ConventionalMortgage
)
(
not
(
exists
(?Government)
(
and
(
instance
?Government
Government
)
(
insured
?Mortgage ?Government)))))
FinancialOntology.kif 1556-1561
如果
命题
是
传统抵押贷款
的
instance
,
然后 不存在
机构
这样
那个 机构
是
政府
的
instance
和
那个 机构
是
那个 命题
的投保
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