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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImmediateFamilyFn
ImmediateFamilyFn

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


(documentation ImmediateFamilyFn ChineseLanguage "(ImmediateFamilyFn ?PERSON) 表示 ?PERSON 的直属家人,即是这个 Group 包括这个 ?PERSON 的 parent 和任何把这个 ?PERSON 当 parent 的人。") chinese_format.kif 3677-3679
(documentation ImmediateFamilyFn EnglishLanguage "(ImmediateFamilyFn ?PERSON) denotes the immediate family of ?PERSON, i.e. the Group consisting of the parents of ?PERSON and anyone of whom ?PERSON is a parent.") Merge.kif 14999-15001
(domain ImmediateFamilyFn 1 Human) Merge.kif 14997-14997
(instance ImmediateFamilyFn TotalValuedRelation) Merge.kif 14996-14996
(instance ImmediateFamilyFn UnaryFunction) Merge.kif 14995-14995
(range ImmediateFamilyFn FamilyGroup) Merge.kif 14998-14998

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


(format ChineseLanguage ImmediateFamilyFn "%1 的 immediate 家庭") domainEnglishFormat.kif 1249-1249
(format ChineseTraditionalLanguage ImmediateFamilyFn "%1 的 immediate 家庭") domainEnglishFormat.kif 1248-1248
(format EnglishLanguage ImmediateFamilyFn "the immediate family of %1") domainEnglishFormat.kif 1247-1247
(termFormat ChineseLanguage ImmediateFamilyFn "直系亲属") domainEnglishFormat.kif 29251-29251
(termFormat ChineseTraditionalLanguage ImmediateFamilyFn "直系親屬") domainEnglishFormat.kif 29250-29250
(termFormat EnglishLanguage ImmediateFamilyFn "immediate family") domainEnglishFormat.kif 29249-29249

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


(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))
Merge.kif 15003-15011
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))
Merge.kif 15013-15020


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners