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 的人。") Merge.kif 16451-16453
(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 16448-16450
(domain ImmediateFamilyFn 1 Human) Merge.kif 16446-16446
(instance ImmediateFamilyFn TotalValuedRelation) Merge.kif 16445-16445
(instance ImmediateFamilyFn UnaryFunction) Merge.kif 16444-16444
(range ImmediateFamilyFn FamilyGroup) Merge.kif 16447-16447

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


(format EnglishLanguage ImmediateFamilyFn "the immediate family of %1") domainEnglishFormat.kif 320-320
(termFormat EnglishLanguage ImmediateFamilyFn "immediate family") domainEnglishFormat.kif 5308-5308

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


(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))		 Merge.kif 16455-16463
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))		 Merge.kif 16465-16472


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