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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - stepfather
stepfather

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


s__documentation(s__stepfather__m,s__EnglishLanguage,'"(stepfather ?PERSON ?FATHER) means that ?FATHER is the stepfather of ?PERSON, i.e. ?FATHER is the spouse of the mother of ?PERSON, without also being the father of ?PERSON."')

Mid-level-ontology.kif 21885-21887
s__domain(s__stepfather__m,n__1,s__Human)

Mid-level-ontology.kif 21888-21888 The number 1 argument of stepfather is an instance of human
s__domain(s__stepfather__m,n__2,s__Man)

Mid-level-ontology.kif 21889-21889 The number 2 argument of stepfather is an instance of man
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__stepfather__m,s__BinaryPredicate)

Mid-level-ontology.kif 21891-21891 stepfather is an instance of binary predicate
s__subrelation(s__stepfather__m,s__legalRelation__m)

Mid-level-ontology.kif 21890-21890 stepfather is a subrelation of legal relation

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


s__format(s__ChineseLanguage,s__stepfather__m,'"%2 是 %1 的 stepfather "')

domainEnglishFormat.kif 4651-4651
s__format(s__ChineseTraditionalLanguage,s__stepfather__m,'"%2 是 %1 的 stepfather "')

domainEnglishFormat.kif 4650-4650
s__format(s__EnglishLanguage,s__stepfather__m,'"%2 is the stepfather of %1"')

domainEnglishFormat.kif 4649-4649
s__termFormat(s__ChineseLanguage,s__stepfather__m,'"继父"')

domainEnglishFormat.kif 55281-55281
s__termFormat(s__ChineseTraditionalLanguage,s__stepfather__m,'"繼父"')

domainEnglishFormat.kif 55280-55280
s__termFormat(s__EnglishLanguage,s__stepfather__m,'"stepfather"')

domainEnglishFormat.kif 55279-55279

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


( ! [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


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