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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fathersSistersSon
fathersSistersSon

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


s__documentation(s__fathersSistersSon__m,s__EnglishLanguage,'"In Arabic: Aibon AlEam~ap. Son of fathers sister."')

ArabicCulture.kif 687-688
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__fathersSistersSon__m,s__BinaryPredicate)

ArabicCulture.kif 685-685 fathers sisters son is an instance of binary predicate
s__subrelation(s__fathersSistersSon__m,s__familyRelation__m)

ArabicCulture.kif 686-686 fathers sisters son is a subrelation of family relation

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


s__format(s__ChineseLanguage,s__fathersSistersSon__m,'"%1 是 %2 的fathers sisters son "')

domainEnglishFormat.kif 3427-3427
s__format(s__ChineseTraditionalLanguage,s__fathersSistersSon__m,'"%1 是 %2 的fathers sisters son "')

domainEnglishFormat.kif 3426-3426
s__format(s__EnglishLanguage,s__fathersSistersSon__m,'"%1 is the fathers sisters son of %2"')

domainEnglishFormat.kif 3425-3425
s__termFormat(s__ChineseLanguage,s__fathersSistersSon__m,'"父亲姐妹的儿子"')

domainEnglishFormat.kif 23391-23391
s__termFormat(s__ChineseTraditionalLanguage,s__fathersSistersSon__m,'"父親姐妹的兒子"')

domainEnglishFormat.kif 23390-23390
s__termFormat(s__EnglishLanguage,s__fathersSistersSon__m,'"fathers sisters son"')

domainEnglishFormat.kif 23389-23389

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


( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__fathersSistersSon(V__P,V__H)
         =>
         (( ? [V__F, V__AUN] :
             ((s__instance(V__F,s__Woman) &
                 s__instance(V__AUN,s__Human) &
                 (s__father(V__P,V__F)
                 &
                 s__sister(V__F,V__AUN)
               &
               s__son(V__AUN,V__H)))))))))
)
)

ArabicCulture.kif 689-695


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