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 Le nombre 1 argument de sister est une instance de Woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16513-16513 Le nombre 2 argument de sister est une instance de humain
No TPTP formula. May not be expressible in strict first order. Merge.kif 16509-16509 sister est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 16511-16511 sister est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 16510-16510 sister est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order. Merge.kif 16508-16508 sister est une sous-relation de sibling

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 Woman and humain humain sister Woman and humain humain est un parent de humain
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