Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - stepfather
stepfather

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


(documentation stepfather 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 25462-25464
(domain stepfather 1 Human) Mid-level-ontology.kif 25465-25465 The number 1 argument of stepfather is an instance of human
(domain stepfather 2 Man) Mid-level-ontology.kif 25466-25466 The number 2 argument of stepfather is an instance of man
(subrelation stepfather legalRelation) Mid-level-ontology.kif 25467-25467 stepfather is a subrelation of legal relation
(instance stepfather BinaryPredicate) Mid-level-ontology.kif 25468-25468 stepfather is an instance of binary predicate

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


(format EnglishLanguage stepfather "%2 is the stepfather of %1") domainEnglishFormat.kif 4644-4644
(format ChineseTraditionalLanguage stepfather "%2 是 %1 的 stepfather ") domainEnglishFormat.kif 4645-4645
(format ChineseLanguage stepfather "%2 是 %1 的 stepfather ") domainEnglishFormat.kif 4646-4646
(termFormat EnglishLanguage stepfather "stepfather") domainEnglishFormat.kif 55297-55297
(termFormat ChineseTraditionalLanguage stepfather "繼父") domainEnglishFormat.kif 55298-55298
(termFormat ChineseLanguage stepfather "继父") domainEnglishFormat.kif 55299-55299

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


(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))		 Mid-level-ontology.kif 25470-25477 X is the stepfather of Y if, only if there exists Z such that Z is a mother of Y, X is the spouse of Z, and X is not a father of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners