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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mothersBrothersDaughter

 Sigma KEE - mothersBrothersDaughter
mothersBrothersDaughter

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 688-689
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 686-686 mothersBrothersDaughter est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 687-687 mothersBrothersDaughter est une sous-relation de familyRelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3890-3890
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3889-3889
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3888-3888
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38687-38687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38686-38686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38685-38685

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 690-696


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