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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fathersBrothersSon
fathersBrothersSon

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


s__documentation(s__fathersBrothersSon__m,s__EnglishLanguage,'"In Arabic: Aibon AlEam~. Son of fathers brother."')

ArabicCulture.kif 639-640
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__fathersBrothersSon__m,s__BinaryPredicate)

ArabicCulture.kif 637-637 fathers brothers son is an instance of binary predicate
s__subrelation(s__fathersBrothersSon__m,s__familyRelation__m)

ArabicCulture.kif 638-638 fathers brothers son is a subrelation of family relation

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


s__format(s__ChineseLanguage,s__fathersBrothersSon__m,'"%1 是 %2 的 fathers brothers son "')

domainEnglishFormat.kif 3411-3411
s__format(s__ChineseTraditionalLanguage,s__fathersBrothersSon__m,'"%1 是 %2 的 fathers brothers son "')

domainEnglishFormat.kif 3410-3410
s__format(s__EnglishLanguage,s__fathersBrothersSon__m,'"%1 is the fathers brothers son of %2"')

domainEnglishFormat.kif 3409-3409
s__termFormat(s__ChineseLanguage,s__fathersBrothersSon__m,'"父亲兄弟的儿子"')

domainEnglishFormat.kif 23367-23367
s__termFormat(s__ChineseTraditionalLanguage,s__fathersBrothersSon__m,'"父親兄弟的兒子"')

domainEnglishFormat.kif 23366-23366
s__termFormat(s__EnglishLanguage,s__fathersBrothersSon__m,'"fathers brothers son"')

domainEnglishFormat.kif 23365-23365

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


( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__fathersBrothersSon(V__P,V__H)
         =>
         (( ? [V__F, V__UNC] :
             ((s__instance(V__F,s__Man) &
                 s__instance(V__UNC,s__Human) &
                 (s__father(V__P,V__F)
                 &
                 s__brother(V__F,V__UNC)
               &
               s__son(V__UNC,V__H)))))))))
)
)

ArabicCulture.kif 641-647


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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