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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mother

 Sigma KEE - mother
mother

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3691-3692
No TPTP formula. May not be expressible in strict first order. Merge.kif 16433-16435
No TPTP formula. May not be expressible in strict first order. Merge.kif 16431-16431 母亲 的 1 数量 是 生物 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16432-16432 母亲 的 2 数量 是 生物 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16425-16425 母亲 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16424-16424 母亲 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16423-16423 母亲 是 单值关系 的 instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 525-525
No TPTP formula. May not be expressible in strict first order. english_format.kif 530-530
No TPTP formula. May not be expressible in strict first order. french_format.kif 310-310
No TPTP formula. May not be expressible in strict first order. relations-it.txt 195-195
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2078-2078
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 262-262
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 316-316
No TPTP formula. May not be expressible in strict first order. relations-de.txt 683-683
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 233-233
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 331-331
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 339-339
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 375-375
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 526-526
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38678-38678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38677-38677
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 376-376

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16427-16429
No TPTP formula. May not be expressible in strict first order. Merge.kif 16436-16438

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23060-23075 人类 另一个 人类 是 cousins 若且唯若 有存在 女人 和 人 这样 那个 人类 的 grandmother 是 那个 女人 和 那个 人类 的 grandfather 是 那个 人 和 那个 另外 人类 的 grandmother 是 那个 女人 和 那个 另外 人类 的 grandfather 是 那个 人 和 不存在 生物 和 另一个 生物 这样 那个 生物 是 那个 人类 的 mother 和 那个 另外 生物 是 那个 人类 father 和 那个 生物 是 那个 另外 人类 的 mother 和 那个 另外 生物 是 那个 另外 人类 father
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23151-23158 人 是 人类 的 stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类 是 那个 人类 的 mother 和 那个 人 是 那个 另外 人类 的 spouse 和 那个 人 不 是 那个 人类 father
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23168-23175 女人 是 人类 的 stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类 是 那个 人类 father 和 那个 女人 是 那个 另外 人类 的 spouse 和 那个 女人 不 是 那个 人类 的 mother
No TPTP formula. May not be expressible in strict first order. Merge.kif 10358-10365
No TPTP formula. May not be expressible in strict first order. Merge.kif 16515-16519
No TPTP formula. May not be expressible in strict first order. Merge.kif 16408-16416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23094-23099
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 774-780
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20163-20170
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 595-600
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 573-578
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 690-696
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 678-684
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 618-624
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 738-744
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 642-648
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 726-732


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