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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 16137-16139
(domain ImmediateFamilyFn 1 Human) Merge.kif 16135-16135 domain ImmediateFamilyFn, 1 and Human
(instance ImmediateFamilyFn TotalValuedRelation) Merge.kif 16134-16134 instance ImmediateFamilyFn and TotalValuedRelation
(instance ImmediateFamilyFn UnaryFunction) Merge.kif 16133-16133 instance ImmediateFamilyFn and UnaryFunction
(range ImmediateFamilyFn FamilyGroup) Merge.kif 16136-16136 range ImmediateFamilyFn and FamilyGroup

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 29329-29329
(termFormat ChineseTraditionalLanguage ImmediateFamilyFn "直系親屬") domainEnglishFormat.kif 29328-29328
(termFormat EnglishLanguage ImmediateFamilyFn "immediate family") domainEnglishFormat.kif 29327-29327


        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))
Merge.kif 16141-16149
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
            (member ?MEMBER ?FAMILY)
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))
Merge.kif 16151-16158

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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