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
FederalParliamentaryDemocracy
Sigma KEE - CardinalityFn
CardinalityFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2309-2309
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5511-5513
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 980-981
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5508-5508
势函数
的 1 数量 是 结合
集或类
和
群体
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5507-5507
势函数
是
一元函数
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5509-5509
势函数
的
range
是
整数
的实例
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 506-506
No TPTP formula. May not be expressible in strict first order.
english_format.kif 511-511
No TPTP formula. May not be expressible in strict first order.
french_format.kif 296-296
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 41-41
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2073-2073
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 248-248
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 75-75
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 659-659
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 83-83
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 317-317
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 324-324
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 98-98
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 507-507
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13212-13212
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13211-13211
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13210-13210
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 99-99
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.
Mid-level-ontology.kif 8045-8052
如果
地缘政治区域
是
地缘政治区域
的
instance
和
整数
equal
那个 地缘政治区域
的
citizenry
instance
的数量 和
另一个 整数
equal
那个 地缘政治区域
的
resident
instance
的数量,
然后
那个 另外 整数
是
greaterThanOrEqualTo
那个 整数
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
那个 实数
和
那个 整数
No TPTP formula. May not be expressible in strict first order.
Government.kif 446-450
如果
集或类
是
集或类
的
instance
和
那个 集或类
instance
的数量
equal
非负整数
,
然后
那个 非负整数
是
那个 集或类
的
cardinality
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.
VirusProteinAndCellPart.kif 829-836
如果
chromosomeSetCount
MonoploidChromosomeSet
,
群体
and
整数
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
那个 整数
equal
那个 整数
所描述的类别
instance
的数量
No TPTP formula. May not be expressible in strict first order.
Media.kif 2137-2150
如果 那只能是
整数
values
对于
关系
的参数
正整数
和
那个 关系
是
谓语
的
instance
,
然后 有存在
类
,
实体
, and 和 @ARGS 这样
那个 类
是
集或类
的
instance
和
如果
那个 关系
@ARGS 和
那个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 实体
是
那个 类
的
instance
和
那个 类
instance
的数量
equal
那个 整数
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 812-817
如果
地缘政治区域
是
美国城市
的
instance
和
那个 地缘政治区域
是
加州
的
part
和
那个 地缘政治区域
不
equal
洛杉矶加利福尼亚州
,
然后
洛杉矶加利福尼亚州
的
resident
instance
的数量 是
greaterThan
那个 地缘政治区域
的
resident
instance
的数量
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 59-65
如果
地缘政治区域
是
城市
的
instance
和
那个 地缘政治区域
是
法国
的
part
,
然后
那个 地缘政治区域
的
resident
instance
的数量 是
lessThanOrEqualTo
巴黎
的
resident
instance
的数量
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2887-2903
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
金融交易
的
instance
,
然后 有存在
符号串
和
实体
这样
那个 符号串
所描述的类别
instance
的数量
equal
在
那个 群体
裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2845-2870
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
WebListing
的
instance
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
所描述的类别
instance
的数量 和
那个 群体
instance
的数量
equal
在
那个 群体
的
bids
數字
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2922-2940
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
WebListing
的
instance
,
然后 有存在
符号串
,
实体
,, ,
另一个 实体
, and 和
那个 符号串
这样
那个 符号串
所描述的类别
instance
的数量
equal
在
那个 群体
的
bids
數字
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12136-12142
如果
过程
是
数
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 有认知的主事
knows
那个 实体
instance
的数量
equal
那个 另外 实体
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3095-3114
如果
试验
是
试验
的
instance
和
时距
是
时距
的
instance
,
然后
符号串
所描述的类别
instance
的数量 和
另一个 符号串
所描述的类别
instance
的数量
equal
purchases
per
user
在
那个 试验
期间
那个 时距
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3056-3073
如果
试验
是
试验
的
instance
和
实体
是
时距
的
instance
,
然后
符号串
所描述的类别
instance
的数量 和
另一个 符号串
所描述的类别
instance
的数量
equal
purchases
per
user
在
那个 试验
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9463-9467
如果
时距
是
月
的
instance
和
那个 时距
的
duration
是
整数
一天长度
,
然后 分拆
那个 时距
为 的
日
instance
的数量
equal
那个 整数
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3721-3739
如果
SearchResultsPage
是
SearchResultsPage
的
instance
和
串列
是
SRPResults
的
instance
和
那个 串列
是
那个 SearchResultsPage
的
component
,
然后
符号串
所描述的类别
instance
的数量 和
那个 串列
的长度
equal
qualifying
clicks
在
那个 SearchResultsPage
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 897-901
如果
地缘政治区域
是
美国国家
的
instance
和
那个 地缘政治区域
不
equal
加州
,
然后
加州
的
resident
instance
的数量 是
greaterThan
那个 地缘政治区域
的
resident
instance
的数量
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3333-3356
如果
群体
是
群体
的
instance
和
躯体性物体
是
HypertextLink
的
instance
和 对所有
物理
那个 物理
是
另一个 群体
的
member
和
那个 物理
是
AccessingWebPage
的
instance
和
那个 另外 群体
是
那个 躯体性物体
的
component
,
然后 有存在
第三 群体
这样
那个 第三 群体
是
群体
的
instance
和 对所有
过程
如果
那个 过程
是
RequestingHyperlink
的
instance
和
那个 躯体性物体
是
那个 过程
的
patient
,
然后
那个 过程
是
那个 第三 群体
的
member
和 点击通过
那个 躯体性物体
的
rate
在
那个 群体
equal
那个 第三 群体
instance
的数量 和
那个 群体
instance
的数量
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3668-3704
如果
群体
是
群体
的
instance
和
另一个 群体
是
群体
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
AccessingWebPage
的
instance
和 对所有
过程
,
施事体
,, ,
另一个 过程
,, ,
那个 过程
, and 和
客体
如果
那个 施事体
是
人类
的
instance
和
那个 过程
是
购买
的
instance
和
那个 另外 过程
是
AccessingWebPage
的
instance
和
那个 客体
是
WebPage
的
instance
和
那个 另外 过程
是
那个 群体
的
member
和
那个 另外 过程
在
那个 客体
结束 和
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
在
那个 另外 过程
出现 的
time
时段内发生 和
那个 客体
是导致
那个 过程
的
instrument
,
然后
那个 过程
是
那个 另外 群体
的
member
,
然后 有存在
时距
,
实体
_IN_INTERVAL, and 和
另一个 实体
_IN_INTERVAL 这样
purchases
花在
那个 群体
期间
那个 时距
equal
那个 实体
_IN_INTERVAL 所描述的类别
instance
的数量 和
那个 另外 实体
_IN_INTERVAL 所描述的类别
instance
的数量
No TPTP formula. May not be expressible in strict first order.
Media.kif 2210-2223
如果 那里能有最多 %3
values
对于 1% 的 参数 2% 和
关系
是
谓语
的
instance
,
然后 有存在
类
,
实体
, and 和 @ARGS 这样
那个 类
是
集或类
的
instance
和
如果
那个 关系
@ARGS 和
那个 实体
equal
(@ARGS) 的第
正整数
几个元素,
然后
那个 实体
是
那个 类
的
instance
和
那个 类
instance
的数量 是
lessThanOrEqualTo
整数
No TPTP formula. May not be expressible in strict first order.
Media.kif 2174-2187
如果 那里至少有
整数
values
对于
关系
的参数
正整数
和
那个 关系
是
谓语
的
instance
,
然后 有存在
类
,
实体
, and 和 @ARGS 这样
那个 类
是
集或类
的
instance
和
如果
那个 关系
@ARGS 和
那个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 实体
是
那个 类
的
instance
和
那个 类
instance
的数量 是
greaterThanOrEqualTo
那个 整数
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.
Merge.kif 14182-14182
大陆
instance
的数量
equal
7
No TPTP formula. May not be expressible in strict first order.
Media.kif 2003-2003
NativityMagi
instance
的数量
equal
3
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
的数量
No TPTP formula. May not be expressible in strict first order.
Media.kif 1965-1965
TwelveApostles
instance
的数量 是
greaterThanOrEqualTo
11
No TPTP formula. May not be expressible in strict first order.
Media.kif 1966-1966
TwelveApostles
instance
的数量 是
lessThanOrEqualTo
12
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