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 15117-15119
(domain ImmediateFamilyFn 1 Human) Merge.kif 15115-15115 The number 1 argument of immediate family is an instance of human
(instance ImmediateFamilyFn TotalValuedRelation) Merge.kif 15114-15114 Immediate family is an instance of total valued relation
(instance ImmediateFamilyFn UnaryFunction) Merge.kif 15113-15113 Immediate family is an instance of unary function
(range ImmediateFamilyFn FamilyGroup) Merge.kif 15116-15116 The range of immediate family is an instance of family group

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

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


(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))
Merge.kif 15121-15129
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))
Merge.kif 15131-15138


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