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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Birth

Sigma KEE - Birth
Birth(出生)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2904-2904
No TPTP formula. May not be expressible in strict first order. Merge.kif 10192-10192
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1653-1653
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5883-5883
No TPTP formula. May not be expressible in strict first order. Merge.kif 10190-10190 出生机体过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24008-24008 出生移除subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24043-24043 生物学概念出生 是 内部相关
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1076-1076
No TPTP formula. May not be expressible in strict first order. english_format.kif 1363-1363
No TPTP formula. May not be expressible in strict first order. french_format.kif 754-754
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 286-286
No TPTP formula. May not be expressible in strict first order. terms-it.txt 289-289
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2438-2438
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 706-706
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 291-291
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 325-325
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 775-775
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 290-290

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18203-18209
No TPTP formula. May not be expressible in strict first order. Merge.kif 18181-18187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24019-24028
No TPTP formula. May not be expressible in strict first order. Merge.kif 10197-10204
No TPTP formula. May not be expressible in strict first order. Biography.kif 250-264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24010-24017

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 357-390 那个 年EAR yearinstance 地缘政治区域那个 年male 出生估计寿命 equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 整数 yearinstance 地缘政治区域那个 年 每一千的 births equal 实数 若且唯若 那个 地缘政治区域population 和 1000 equal 另一个 实数另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 整数 yearinstance 地缘政治区域那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 整数 yearinstance 地缘政治区域那个 年female 出生预期寿命 equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 整数 yearinstance 地缘政治区域那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24270-24276
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24256-24262
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7502-7512
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5031-5037
No TPTP formula. May not be expressible in strict first order. Merge.kif 14361-14366
No TPTP formula. May not be expressible in strict first order. Biography.kif 240-248

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 456-469 整数 yearinstance 地缘政治区域那个 年 每个女人生的 children 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