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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - father
father

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


s__documentation(s__father__m,s__ChineseLanguage,'"这是父亲的概括关系。(father ?CHILD ?FATHER)的意思是 ?FATHER 是 ?CHILD 的亲生父亲。"')

chinese_format.kif 3693-3694
s__documentation(s__father__m,s__EnglishLanguage,'"The general relationship of fatherhood. (father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD."')

Merge.kif 15652-15654
s__domain(s__father__m,n__1,s__Organism)

Merge.kif 15650-15650 The number 1 argument of father is an instance of organism
s__domain(s__father__m,n__2,s__Organism)

Merge.kif 15651-15651 The number 2 argument of father is an instance of organism
s__instance(s__father__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 15644-15644 father is an instance of binary predicate
s__instance(s__father__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 15643-15643 father is an instance of partial valued relation
s__instance(s__father__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__SetOrClass)

Merge.kif 15642-15642 father is an instance of single valued relation

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


s__format(s__ChineseLanguage,s__father__m,'"%2 %n 是 %1 father"')

chinese_format.kif 527-527
s__format(s__EnglishLanguage,s__father__m,'"%2 is %n a father of %1"')

english_format.kif 535-535
s__termFormat(s__ChineseLanguage,s__father__m,'"父亲"')

chinese_format.kif 528-528
s__termFormat(s__ChineseTraditionalLanguage,s__father__m,'"父親"')

domainEnglishFormat.kif 23354-23354
s__termFormat(s__EnglishLanguage,s__father__m,'"father"')

domainEnglishFormat.kif 23353-23353

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


( ! [V__A,V__B] :
   (((s__instance(V__A,s__Organism) &
         s__instance(V__B,s__Organism))
       =>
       ((s__father(V__A,V__B)
         =>
         (s__parent(V__A,V__B)))))
)
)

Merge.kif 15646-15648
( ! [V__FATHER,V__CHILD] :
   (((s__instance(V__FATHER,s__Organism) &
         s__instance(V__CHILD,s__Organism))
       =>
       ((s__father(V__CHILD,V__FATHER)
         =>
         (s__attribute(V__FATHER,s__Male)))))
   )
)

Merge.kif 15656-15658

consequent
-------------------------


( ! [V__P1,V__P2] :
   (((s__instance(V__P1,s__Human) &
         s__instance(V__P2,s__Human))
       =>
       (((s__cousin(V__P1,V__P2)
           =>
           (( ? [V__G1, V__G2] :
               ((s__instance(V__G1,s__Woman) &
                   s__instance(V__G2,s__Man) &
                   (s__grandmother(V__P1,V__G1)
                   &
                   s__grandfather(V__P1,V__G2)
                 &
                 s__grandmother(V__P2,V__G1)
               &
               s__grandfather(V__P2,V__G2)))))
     &
     ~(( ? [V__M, V__F] :
         ((s__instance(V__M,s__Organism) &
             s__instance(V__F,s__Organism) &
             (s__mother(V__P1,V__M)
             &
             s__father(V__P1,V__F)
           &
           s__mother(V__P2,V__M)
         &
         s__father(V__P2,V__F))))))))
&
((( ? [V__G1, V__G2] :
((s__instance(V__G1,s__Woman) &
   s__instance(V__G2,s__Man) &
   (s__grandmother(V__P1,V__G1)
   &
   s__grandfather(V__P1,V__G2)
&
s__grandmother(V__P2,V__G1)
&
s__grandfather(V__P2,V__G2)))))
&
~(( ? [V__M, V__F] :
((s__instance(V__M,s__Organism) &
s__instance(V__F,s__Organism) &
(s__mother(V__P1,V__M)
&
s__father(V__P1,V__F)
&
s__mother(V__P2,V__M)
&
s__father(V__P2,V__F)))))))
=>
s__cousin(V__P1,V__P2)))))
)
)

Mid-level-ontology.kif 21802-21817 A human and another human are cousins if and only if there exist a woman and a man such that the grandmother of the human is the woman and the grandfather of the human is the man and the grandmother of the other human is the woman and the grandfather of the other human is the man and there don't exist an organism and another organism such that the organism is a mother of the human and the other organism is a father of the human and the organism is a mother of the other human and the other organism is a father of the other human
( ! [V__P,V__F] :
   (((s__instance(V__P,s__Human) &
         s__instance(V__F,s__Man))
       =>
       (((s__stepfather(V__P,V__F)
           =>
           ( ? [V__M] :
             ((s__instance(V__M,s__Human) &
                 (s__mother(V__P,V__M)
                 &
                 s__spouse(V__F,V__M)
               &
               ~(s__father(V__P,V__F)))))))
   &
   (( ? [V__M] :
       ((s__instance(V__M,s__Human) &
           (s__mother(V__P,V__M)
           &
           s__spouse(V__F,V__M)
         &
         ~(s__father(V__P,V__F))))))
=>
s__stepfather(V__P,V__F)))))
)
)

Mid-level-ontology.kif 21893-21900 A man is the stepfather of a human if and only if there exists another human such that the other human is a mother of the human and the man is the spouse of the other human and the man is not a father of the human
( ! [V__P,V__M] :
   (((s__instance(V__P,s__Human) &
         s__instance(V__M,s__Woman))
       =>
       (((s__stepmother(V__P,V__M)
           =>
           ( ? [V__F] :
             ((s__instance(V__F,s__Human) &
                 (s__father(V__P,V__F)
                 &
                 s__spouse(V__M,V__F)
               &
               ~(s__mother(V__P,V__M)))))))
   &
   (( ? [V__F] :
       ((s__instance(V__F,s__Human) &
           (s__father(V__P,V__F)
           &
           s__spouse(V__M,V__F)
         &
         ~(s__mother(V__P,V__M))))))
=>
s__stepmother(V__P,V__M)))))
)
)

Mid-level-ontology.kif 21910-21917 A woman is the stepfather of a human if and only if there exists another human such that the other human is a father of the human and the woman is the spouse of the other human and the woman is not a mother of the human
( ! [V__ORGANISM,V__REP] :
   ((s__instance(V__ORGANISM,s__Organism) =>
       (((s__instance(V__REP,s__SexualReproduction) &
             s__result(V__REP,V__ORGANISM))
         =>
         (( ? [V__MOTHER, V__FATHER] :
             ((s__instance(V__MOTHER,s__Organism) &
                 s__instance(V__FATHER,s__Organism) &
                 (s__mother(V__ORGANISM,V__MOTHER)
                 &
                 s__father(V__ORGANISM,V__FATHER)))))))))
)
)

Merge.kif 9904-9911
( ! [V__CHILD,V__PARENT] :
   (((s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       (((s__parent(V__CHILD,V__PARENT)
           &
           s__attribute(V__PARENT,s__Male))
         =>
         (s__father(V__CHILD,V__PARENT)))))
)
)

Merge.kif 15711-15715
( ! [V__CHILD,V__PARENT] :
   ((s__instance(V__CHILD,s__Organism) =>
       (((s__parent(V__CHILD,V__PARENT)
           &
           s__instance(V__PARENT,s__Man))
         =>
         (s__father(V__CHILD,V__PARENT)))))
)
)

Mid-level-ontology.kif 21762-21766
( ! [V__REP,V__CHILD,V__PARENT] :
   (((s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       (((s__parent(V__CHILD,V__PARENT)
           &
           s__instance(V__REP,s__SexualReproduction) &
           s__agent(V__REP,V__PARENT)
         &
         s__result(V__REP,V__CHILD))
     =>
     ((s__mother(V__CHILD,V__PARENT)
       |
       s__father(V__CHILD,V__PARENT))))))
)
)

Merge.kif 15610-15618
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__fathersBrothersDaughter(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__daughter(V__UNC,V__H)))))))))
)
)

ArabicCulture.kif 653-659
( ! [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
( ! [V__P,V__W] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__W,s__Man))
       =>
       ((s__fathersBrothersWife(V__P,V__W)
         =>
         (( ? [V__F, V__UNC] :
             ((s__instance(V__F,s__Man) &
                 s__instance(V__UNC,s__Woman) &
                 (s__father(V__P,V__F)
                 &
                 s__brother(V__F,V__UNC)
               &
               s__wife(V__UNC,V__W)))))))))
)
)

ArabicCulture.kif 593-599
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__fathersSistersDaughter(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__daughter(V__AUN,V__H)))))))))
)
)

ArabicCulture.kif 701-707
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Woman))
       =>
       ((s__fathersSistersHusband(V__P,V__H)
         =>
         (( ? [V__F, V__AUN] :
             ((s__instance(V__F,s__Woman) &
                 s__instance(V__AUN,s__Man) &
                 (s__father(V__P,V__F)
                 &
                 s__sister(V__F,V__AUN)
               &
               s__husband(V__AUN,V__H)))))))))
)
)

ArabicCulture.kif 617-623
( ! [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
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Man) &
         s__instance(V__H,s__Human))
       =>
       ((s__grandfather(V__H,V__P)
         =>
         (( ? [V__C] :
             ((s__instance(V__C,s__Organism) &
                 (s__father(V__C,V__P)
                 &
                 s__parent(V__H,V__C)))))))))
)
)

Mid-level-ontology.kif 21824-21829
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 747-753
( ! [V__MULE] :
   ((s__instance(V__MULE,s__Mule) =>
       (( ? [V__DONKEY, V__HORSE] :
           ((s__father(V__MULE,V__DONKEY)
             &
             s__instance(V__DONKEY,s__Donkey) &
             s__mother(V__MULE,V__HORSE)
           &
           s__instance(V__HORSE,s__Horse))))))
)
)

Mid-level-ontology.kif 18803-18810
( ! [V__P,V__AUN] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__AUN,s__Human))
       =>
       ((s__paternalAunt(V__P,V__AUN)
         =>
         (( ? [V__F] :
             ((s__instance(V__F,s__Woman) &
                 (s__father(V__P,V__F)
                 &
                 s__sister(V__F,V__AUN)))))))))
)
)

ArabicCulture.kif 571-576
( ! [V__P,V__UNC] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__UNC,s__Human))
       =>
       ((s__paternalUncle(V__P,V__UNC)
         =>
         (( ? [V__F] :
             ((s__instance(V__F,s__Man) &
                 (s__father(V__P,V__F)
                 &
                 s__brother(V__F,V__UNC)))))))))
)
)

ArabicCulture.kif 549-554


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