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
KappaFn
Sigma KEE - KappaFn
KappaFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2318-2322
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5586-5594
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 991-995
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5582-5582
组成类别函数
的 1 数量 是
符号串
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5583-5583
组成类别函数
的 2 数量 是
公式
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5580-5580
组成类别函数
是
二元函数
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5581-5581
组成类别函数
是
部分值关系
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5584-5584
组成类别函数
的
range
是
类
的实例
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 508-508
No TPTP formula. May not be expressible in strict first order.
english_format.kif 513-513
No TPTP formula. May not be expressible in strict first order.
french_format.kif 297-297
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 157-157
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2074-2074
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 249-249
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 662-662
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 196-196
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 318-318
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 325-325
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 315-315
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 32125-32125
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 509-509
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 32124-32124
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 32123-32123
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1007-1011
实体
是
个人账户
的
instance
和
符号串
所描述的类别
instance
的数量 是
greaterThan
1 若且唯若
那个 实体
是
联名账户
的
instance
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3239-3259
如果
群体
是
群体
的
instance
和
实数
是
货币测量
的
instance
和
整数
是
实数
的
instance
和
那个 实数
equal
那个 群体
的
value
和
那个 整数
equal
符号串
所描述的类别
instance
的数量,
然后
那个 群体
的
average
price
equal
那个 实数
和
那个 整数
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3282-3302
如果
群体
是
群体
的
instance
和
实数
是
货币测量
的
instance
和
整数
是
实数
的
instance
和
那个 实数
equal
那个 群体
的
value
和
那个 整数
equal
符号串
所描述的类别
instance
的数量,
然后
那个 群体
的
average
selling
price
equal
那个 实数
和
那个 整数
consequent
No TPTP formula. May not be expressible in strict first order.
People.kif 357-390
年
是
那个 年
EAR
year
的
instance
和
地缘政治区域
和
那个 年
的
male
出生估计寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
No TPTP formula. May not be expressible in strict first order.
People.kif 82-97
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千的
births
equal
实数
若且唯若
那个 地缘政治区域
的
population
和 1000
equal
另一个 实数
和
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和
那个 另外 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
People.kif 118-133
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千里的
deaths
equal
实数
若且唯若
那个 地缘政治区域
的
population
和 1000
equal
另一个 实数
和
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和
那个 另外 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
People.kif 238-264
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千个生存出生里的
deaths
equal
实数
若且唯若
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和 1000
equal
另一个 实数
和
第三 整数
equal
另一个 符号串
所描述的类别
instance
的数量 和
那个 第三 整数
和
那个 另外 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
People.kif 403-436
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的
female
出生预期寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
No TPTP formula. May not be expressible in strict first order.
People.kif 310-342
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的出生预期
life
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
No TPTP formula. May not be expressible in strict first order.
People.kif 156-187
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千的
migrants
equal
实数
若且唯若 (
那个 整数
和
另一个 整数
)
equal
1 和
实体
是
那个 另外 整数
year
的
instance
和
那个 地缘政治区域
的
population
equal
另一个 实数
在
那个 年
holdsDuring
和
那个 另外 实数
和 1000
equal
第三 实数
和
第三 整数
equal
符号串
所描述的类别
instance
的数量 和
第四 整数
equal
那个 符号串
所描述的类别
instance
的数量 和 (
那个 第三 整数
和
那个 第四 整数
)
equal
第四 实数
和
那个 第四 实数
和
那个 第三 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
People.kif 206-223
地缘政治区域
的
male
对母性比率
equal
实数
若且唯若
整数
equal
符号串
所描述的类别
instance
的数量 和
另一个 整数
equal
另一个 符号串
所描述的类别
instance
的数量 和
那个 整数
和
那个 另外 整数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 182-189
长度测量
是
地理区域
的轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 712-719
长度测量
是
地理区域
的原油管线
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 210-217
长度测量
是
地理区域
的双轨规格
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 126-133
长度测量
是
地理区域
的电场轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 568-575
长度测量
是
地理区域
的高速公路系统
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 154-161
长度测量
是
地理区域
的多轨铁路
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 237-244
长度测量
是
地理区域
的短规格铁路的
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 735-742
长度测量
是
地理区域
的 天然瓦斯管线的
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 542-549
长度测量
是
地理区域
的铺设铁路
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 758-765
长度测量
是
地理区域
的石油产品管线
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 265-272
长度测量
地理区域
的 标准规格管线
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 294-306
长度测量
是
地理区域
的未分类规格轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 601-608
长度测量
是
地理区域
的未铺设高速公路
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1277-1287
地理区域
是 对于
非负整数
在地区 和
机场有着铺设跑道
对应的
Class
的
total
设施类别 若且唯若 有存在
符号串
和
实体
这样
那个 非负整数
是
那个 符号串
所描述的类别 的
cardinality
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1221-1228
地理区域
是 对于
非负整数
在地区
类
的
total
设施类别 若且唯若
那个 非负整数
是
符号串
所描述的类别 的
cardinality
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 484-491
长度测量
是
地理区域
的
total
高速公路系统长度 若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 98-105
长度测量
是
地理区域
的
total
铁路系统长度 若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
People.kif 456-469
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每个女人生的
children
equal
符号串
所描述的类别
instance
的数量
No TPTP formula. May not be expressible in strict first order.
Military.kif 872-881
地缘政治区域
的
available
军事服务男性
equal
符号串
所描述的类别
instance
的数量
No TPTP formula. May not be expressible in strict first order.
Military.kif 895-906
地缘政治区域
的
fit
对于军服务男性
equal
符号串
所描述的类别
instance
的数量
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31734-31739
OrganismPopulationFn
生物
and
地理区域
equal
那个 生物
I 所描述的类别
instance
的数量
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31712-31717
地缘政治区域
的
population
equal
符号串
所描述的类别
instance
的数量
No TPTP formula. May not be expressible in strict first order.
Military.kif 933-946
地缘政治区域
和
年
每年的
reaching
军事男性年龄
equal
符号串
所描述的类别
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