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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImmediateFamilyFn

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 16287-16289
(domain ImmediateFamilyFn 1 Human) Merge.kif 16285-16285
(instance ImmediateFamilyFn TotalValuedRelation) Merge.kif 16284-16284
(instance ImmediateFamilyFn UnaryFunction) Merge.kif 16283-16283
(range ImmediateFamilyFn FamilyGroup) Merge.kif 16286-16286

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

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


(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))
Merge.kif 16291-16299
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))
Merge.kif 16301-16308


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