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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fathersSistersDaughter

 Sigma KEE - fathersSistersDaughter
fathersSistersDaughter

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 712-713
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 710-710 父亲姐妹的女儿 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 711-711 父亲姐妹的女儿 是 家属关系 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3414-3414
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3413-3413
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3412-3412
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23386-23386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23385-23385
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23384-23384

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 714-720


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