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 16005-16007
(domain ImmediateFamilyFn 1 Human) Merge.kif 16003-16003
(instance ImmediateFamilyFn TotalValuedRelation) Merge.kif 16002-16002
(instance ImmediateFamilyFn UnaryFunction) Merge.kif 16001-16001
(range ImmediateFamilyFn FamilyGroup) Merge.kif 16004-16004

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

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


(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))
Merge.kif 16009-16017
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))
Merge.kif 16019-16026


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