Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WhereFn

 Sigma KEE - WhereFn
WhereFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2131-2132
No TPTP formula. May not be expressible in strict first order. Merge.kif 4227-4229
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 786-787
No TPTP formula. May not be expressible in strict first order. Merge.kif 4222-4222 表示位置的函数 的 1 数量 是 物理 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4223-4223 表示位置的函数 的 2 数量 是 时点 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4219-4219 表示位置的函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4220-4220 表示位置的函数 是 空间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4221-4221 表示位置的函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4224-4224 表示位置的函数 的 range 是 地区 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 4225-4225 表示位置的函数 和 何时函数 是 内部相关

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order. english_format.kif 278-278
No TPTP formula. May not be expressible in strict first order. french_format.kif 155-155
No TPTP formula. May not be expressible in strict first order. relations-it.txt 315-315
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1983-1983
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 107-107
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 162-162
No TPTP formula. May not be expressible in strict first order. relations-de.txt 353-353
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 58-58
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 174-174
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 161-161
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 507-507
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62991-62991
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 274-274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62990-62990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62989-62989
No TPTP formula. May not be expressible in strict first order. terms-de.txt 113-113

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1753-1773
No TPTP formula. May not be expressible in strict first order. Merge.kif 4231-4235

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 和 那个 实数 是 那个 串列 的 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 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2516-2530
No TPTP formula. May not be expressible in strict first order. Merge.kif 9601-9607
No TPTP formula. May not be expressible in strict first order. Merge.kif 4237-4241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12397-12406
No TPTP formula. May not be expressible in strict first order. Merge.kif 7988-7996


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