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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fathersSistersHusband

 Sigma KEE - fathersSistersHusband
fathersSistersHusband

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 628-629
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 626-626 父亲姐妹的丈夫 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 627-627 父亲姐妹的丈夫 是 家属关系 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3418-3418
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3417-3417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3416-3416
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23392-23392
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23391-23391
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23390-23390

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 630-636


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