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

Formal Language: 



KB Term:  Term intersection
English Word: 

  sister

Sigma KEE - sister
sister

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3703-3704
No TPTP formula. May not be expressible in strict first order. Merge.kif 16514-16515
No TPTP formula. May not be expressible in strict first order. Merge.kif 16512-16512 妹妹 的 1 数量 是 女人instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16513-16513 妹妹 的 2 数量 是 人类instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16509-16509 妹妹非自反关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16511-16511 妹妹部分值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16510-16510 妹妹传递关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16508-16508 妹妹兄弟姐妹subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4522-4522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4521-4521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4520-4520
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53246-53246
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53245-53245
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53244-53244

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23046-23051 女人 人类aunt 若且唯若 有存在 另一个 人类 这样 那个 女人那个 另外 人类sister那个 另外 人类那个 人类parent
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 714-720
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 630-636
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 702-708
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 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
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 584-589


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