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 fathers sisters husband is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 627-627 fathers sisters husband is a subrelation of family relation

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