Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - parent
parent

appearance as argument number 1
-------------------------


s__instance(s__parent,s__BinaryPredicate)

 Merge.kif 16719-16719 parent is an instance of binary predicate
s__instance(s__parent,s__AsymmetricRelation)

 Merge.kif 16721-16721 parent is an instance of asymmetric relation
s__instance(s__parent,s__IntransitiveRelation)

 Merge.kif 16722-16722 parent is an instance of intransitive relation
s__instance(s__parent,s__TotalValuedRelation)

 Merge.kif 16723-16723 parent is an instance of total valued relation
s__domain(s__parent,n__1,s__Organism)

 Merge.kif 16724-16724 The number 1 argument of parent is an instance of organism
s__domain(s__parent,n__2,s__Organism)

 Merge.kif 16725-16725 The number 2 argument of parent is an instance of organism
s__documentation(s__parent, s__EnglishLanguage, "The general relationship of parenthood_ (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD_") Merge.kif 16726-16728 The number 2 argument of parent is an instance of organism

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


s__subrelation(s__daughter,s__parent)

 Merge.kif 16796-16796 daughter is a subrelation of parent
s__subrelation(s__son,s__parent)

 Merge.kif 16807-16807 son is a subrelation of parent
s__termFormat(s__EnglishLanguage, s__parent, "parent") domainEnglishFormat.kif 44423-44423 son is a subrelation of parent
s__termFormat(s__ChineseTraditionalLanguage, s__parent, "親") domainEnglishFormat.kif 44424-44424 son is a subrelation of parent
s__termFormat(s__ChineseLanguage, s__parent, "亲") domainEnglishFormat.kif 44425-44425 son is a subrelation of parent
s__format(s__EnglishLanguage, s__parent, "%2 is %n a parent of %1") english_format.kif 528-528 son is a subrelation of parent

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


! [V__ORGANISM,V__PARENT1,V__PARENT2,V__REP] :
(((s__instance(V__ORGANISM,s__Organism) &
       s__instance(V__PARENT1,s__Organism) &
       s__instance(V__PARENT2,s__Organism))
     =>
     ((s__instance(V__REP,s__AsexualReproduction) &
         s__result(V__REP,V__ORGANISM)
       &
       s__parent(V__ORGANISM,V__PARENT1)
     &
     s__parent(V__ORGANISM,V__PARENT2))
=>
(V__PARENT1 = V__PARENT2)))
)

 Merge.kif 10610-10616 If X is an instance of asexual reproduction, Y is a result of X, Z is a parent of Y, and W is a parent of Y, then equal Z and W
! [V__CHILD,V__PARENT] :
(((s__instance(V__CHILD,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     (s__parent(V__CHILD,V__PARENT)
     =>
     s__ancestor(V__CHILD,V__PARENT)))
)

 Merge.kif 16730-16732 If X is a parent of Y, then X is the ancestor of Y
! [V__CHILD,V__PARENT] :
(((s__instance(V__CHILD,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     (s__parent(V__CHILD,V__PARENT)
     =>
     s__before(s__BeginFn(s__WhenFn(V__PARENT))
,s__BeginFn(s__WhenFn(V__CHILD)))))
)

 Merge.kif 16734-16736 If X is a parent of Y, then the beginning of the time of existence of X happens before the beginning of the time of existence of Y
! [V__CHILD,V__PARENT,V__CLASS] :
(((s__instance(V__CHILD,s__Organism) &
       s__instance(V__PARENT,s__Organism) &
       s__instance(V__CLASS,s__Class))
     =>
     ((s__parent(V__CHILD,V__PARENT)
       &
       s__subclass(V__CLASS,s__Organism) &
       s__instance(V__PARENT,V__CLASS))
   =>
   s__instance(V__CHILD,V__CLASS)))
)

 Merge.kif 16738-16743 If X is a parent of Y, Z is a subclass of organism, and X is an instance of Z, then Y is an instance of Z
! [V__CHILD,V__PARENT,V__REP] :
(((s__instance(V__CHILD,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     ((s__parent(V__CHILD,V__PARENT)
       &
       s__instance(V__REP,s__SexualReproduction) &
       s__agent(V__REP,V__PARENT)
     &
     s__result(V__REP,V__CHILD))
=>
(s__mother(V__CHILD,V__PARENT)
|
s__father(V__CHILD,V__PARENT))))
)

 Merge.kif 16745-16753 If X is a parent of Y, Z is an instance of sexual reproduction, X is an agent of Z, and Y is a result of Z, then X is a mother of Y or X is a father of Y
! [V__ORGANISM1,V__PARENT1,V__ORGANISM2,V__PARENT2] :
(((s__instance(V__ORGANISM1,s__Organism) &
       s__instance(V__PARENT1,s__Organism) &
       s__instance(V__ORGANISM2,s__Organism) &
       s__instance(V__PARENT2,s__Organism))
     =>
     ((s__parent(V__ORGANISM1,V__PARENT1)
       &
       s__parent(V__ORGANISM2,V__PARENT1)
     &
     s__parent(V__ORGANISM1,V__PARENT2)
   &
   s__parent(V__ORGANISM2,V__PARENT2)
&
~((V__ORGANISM1 = V__ORGANISM2))
&
~((V__PARENT1 = V__PARENT2)))
=>
s__sibling(V__ORGANISM1,V__ORGANISM2)))
)

 Merge.kif 16830-16838 If All of the following hold: (1) X is a parent of Y (2) X is a parent of Z (3) W is a parent of Y (4) W is a parent of Z (5) equal Y and Z (6) equal X and W, then Y is a sibling of Z
! [V__ORG1,V__ORG2,V__PARENT] :
(((s__instance(V__ORG1,s__Organism) &
       s__instance(V__ORG2,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     ((s__sibling(V__ORG1,V__ORG2)
       &
       s__parent(V__ORG1,V__PARENT))
   =>
   s__parent(V__ORG2,V__PARENT)))
)

 Merge.kif 16840-16844 If X is a sibling of Y and Z is a parent of X, then Z is a parent of Y
! [V__CHILD,V__PARENT] :
(((s__instance(V__CHILD,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     ((s__parent(V__CHILD,V__PARENT)
       &
       s__attribute(V__PARENT,s__Male))
     =>
     s__father(V__CHILD,V__PARENT)))
)

 Merge.kif 16846-16850 If X is a parent of Y and male is an attribute of X, then X is a father of Y
! [V__CHILD,V__PARENT] :
(((s__instance(V__CHILD,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     ((s__parent(V__CHILD,V__PARENT)
       &
       s__attribute(V__PARENT,s__Female))
     =>
     s__mother(V__CHILD,V__PARENT)))
)

 Merge.kif 16852-16856 If X is a parent of Y and female is an attribute of X, then X is a mother of Y
! [V__CHILD,V__PARENT] :
(((s__instance(V__CHILD,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     (s__parent(V__CHILD,V__PARENT)
     =>
     s__older(V__PARENT,V__CHILD)))
)

 Mid-level-ontology.kif 396-398 If X is a parent of Y, then Y is an older of X
! [V__CHILD,V__PARENT] :
((s__instance(V__CHILD,s__Organism) =>
     ((s__parent(V__CHILD,V__PARENT)
       &
       s__instance(V__PARENT,s__Man))
     =>
     s__father(V__CHILD,V__PARENT)))
)

 Mid-level-ontology.kif 25339-25343 If X is a parent of Y and X is an instance of man, then X is a father of Y
! [V__PARENT,V__CHILD] :
((s__instance(V__PARENT,s__Organism) =>
     ((s__parent(V__CHILD,V__PARENT)
       &
       s__instance(V__CHILD,s__Man))
     =>
     s__son(V__CHILD,V__PARENT)))
)

 Mid-level-ontology.kif 25345-25349 If X is a parent of Y and Y is an instance of man, then Y is the son of X
! [V__PARENT,V__CHILD] :
((s__instance(V__PARENT,s__Organism) =>
     ((s__parent(V__CHILD,V__PARENT)
       &
       s__instance(V__CHILD,s__Woman))
     =>
     s__daughter(V__CHILD,V__PARENT)))
)

 Mid-level-ontology.kif 25351-25355 If X is a parent of Y and Y is an instance of woman, then Y is the daughter of X
! [V__CHILD : $i,V__PARENT1 : $i,V__PARENT2 : $i,V__T1 : $i] : (((s__parent(V__CHILD, V__PARENT1) & s__parent(V__CHILD, V__PARENT2) & s__holdsDuring(V__T1, (s__spouse(V__PARENT1, V__PARENT2) & s__cohabitant(V__PARENT1, V__PARENT2) & s__cohabitant(V__CHILD, V__PARENT1)))) => ( ? [V__FAM:$i] : ((s__instance(V__FAM, s__NuclearFamily) & s__holdsDuring(V__T1, (s__member(V__CHILD, V__FAM) & s__member(V__PARENT1, V__FAM) & s__member(V__PARENT2, V__FAM)))))))) Mid-level-ontology.kif 25504-25520 If X is a parent of Y, Z is a parent of Y, and X is the spouse of Z, Z is a cohabitant of X, and X is a cohabitant of Y holds during W, then there exists V such that V is an instance of nuclear family, Y is a member of V, X is a member of V, and Z is a member of V holds during W
! [V__CHILD : $i,V__PARENT : $i] : (((s__parent(V__CHILD, V__PARENT) & (s__instance(V__CHILD, s__HumanChild) | s__instance(V__CHILD, s__HumanBaby))) => s__modalAttribute(( ? [V__CARE:$i] : ((s__instance(V__CARE, s__ChildCareService) & s__wants(V__PARENT, V__CARE)))), s__Possibility))) Hotel.kif 1907-1918 If X is a parent of Y and Y is an instance of human child or Y is an instance of human baby, then the statement there exists Z such that Z is an instance of child-care service and X wants Z has the modal force of possibility

consequent
-------------------------


! [V__PARENT,V__CHILD,V__REP] :
(((s__instance(V__PARENT,s__Organism) &
       s__instance(V__CHILD,s__Organism))
     =>
     ((s__instance(V__REP,s__Replication) &
         s__agent(V__REP,V__PARENT)
       &
       s__result(V__REP,V__CHILD))
   =>
   s__parent(V__CHILD,V__PARENT)))
)

 Merge.kif 10563-10568 If X is an instance of replication, Y is an agent of X, and Z is a result of X, then Y is a parent of Z
! [V__P,V__FAMILY] :
(((s__instance(V__P,s__Human) &
       s__instance(V__FAMILY,s__FamilyGroup))
     =>
     ((s__ImmediateFamilyFn(V__P)
       = V__FAMILY)
     =>
     (! [V__MEMBER] :
       ((s__instance(V__MEMBER,s__Organism) =>
           (s__member(V__MEMBER,V__FAMILY)
           =>
           (? [V__OTHER] :
             ((s__instance(V__OTHER,s__Organism) &
                 (s__parent(V__MEMBER,V__OTHER)
                 |
                 s__parent(V__OTHER,V__MEMBER)))))))))))
)

 Merge.kif 16650-16658 If equal the immediate family of X and Y, then For all Organism Z: if Z is a member of Y, then there exists W such that W is a parent of Z or Z is a parent of W
! [V__PERSON,V__FAMILY] :
(((s__instance(V__PERSON,s__Human) &
       s__instance(V__FAMILY,s__FamilyGroup))
     =>
     ((s__ImmediateFamilyFn(V__PERSON)
       = V__FAMILY)
     =>
     (? [V__MEMBER] :
       ((s__instance(V__MEMBER,s__Organism) &
           (s__member(V__MEMBER,V__FAMILY)
           &
           (s__parent(V__MEMBER,V__PERSON)
           |
           s__parent(V__PERSON,V__MEMBER))))))))
)

 Merge.kif 16660-16667 If equal the immediate family of X and Y, then there exists Z such that Z is a member of Y and X is a parent of Z or Z is a parent of X
! [V__ORGANISM] :
((s__instance(V__ORGANISM,s__Organism) =>
     (? [V__PARENT] :
       ((s__instance(V__PARENT,s__Organism) &
           s__parent(V__ORGANISM,V__PARENT)))))
)

 Merge.kif 16755-16758 If X is an instance of organism, then there exists Y such that Y is a parent of X
! [V__A,V__B] :
(((s__instance(V__A,s__Organism) &
       s__instance(V__B,s__Organism))
     =>
     (s__mother(V__A,V__B)
     =>
     s__parent(V__A,V__B)))
)

 Merge.kif 16764-16766 If X is a mother of Y, then X is a parent of Y
! [V__A,V__B] :
(((s__instance(V__A,s__Organism) &
       s__instance(V__B,s__Organism))
     =>
     (s__father(V__A,V__B)
     =>
     s__parent(V__A,V__B)))
)

 Merge.kif 16781-16783 If X is a father of Y, then X is a parent of Y
! [V__ORG1,V__ORG2,V__PARENT] :
(((s__instance(V__ORG1,s__Organism) &
       s__instance(V__ORG2,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     ((s__sibling(V__ORG1,V__ORG2)
       &
       s__parent(V__ORG1,V__PARENT))
   =>
   s__parent(V__ORG2,V__PARENT)))
)

 Merge.kif 16840-16844 If X is a sibling of Y and Z is a parent of X, then Z is a parent of Y
! [V__A,V__H] :
(((s__instance(V__A,s__Woman) &
       s__instance(V__H,s__Human))
     =>
     ((s__aunt(V__A,V__H)
       =>
       (? [V__P] :
         ((s__instance(V__P,s__Human) &
             (s__sister(V__A,V__P)
             &
             s__parent(V__H,V__P))))))
&
((? [V__P] :
     ((s__instance(V__P,s__Human) &
         (s__sister(V__A,V__P)
         &
         s__parent(V__H,V__P)))))
=>
s__aunt(V__A,V__H))))
)

 Mid-level-ontology.kif 25364-25369 X is the aunt of Y if, only if there exists Z such that X is the sister of Z, and Z is a parent of Y
! [V__H,V__P] :
(((s__instance(V__H,s__Human) &
       s__instance(V__P,s__Man))
     =>
     (s__grandfather(V__H,V__P)
     =>
     (? [V__C] :
       ((s__instance(V__C,s__Organism) &
           (s__father(V__C,V__P)
           &
           s__parent(V__H,V__C)))))))
)

 Mid-level-ontology.kif 25401-25406 If the grandfather of X is Y, then there exists Z such that Y is a father of Z and Z is a parent of X
! [V__H,V__P] :
(((s__instance(V__H,s__Human) &
       s__instance(V__P,s__Woman))
     =>
     (s__grandmother(V__H,V__P)
     =>
     (? [V__C] :
       ((s__instance(V__C,s__Organism) &
           (s__mother(V__C,V__P)
           &
           s__parent(V__H,V__C)))))))
)

 Mid-level-ontology.kif 25413-25418 If the grandmother of X is Y, then there exists Z such that Y is a mother of Z and Z is a parent of X
! [V__U,V__H] :
(((s__instance(V__U,s__Man) &
       s__instance(V__H,s__Human))
     =>
     ((s__uncle(V__U,V__H)
       =>
       (? [V__P] :
         ((s__instance(V__P,s__Human) &
             (s__brother(V__U,V__P)
             &
             s__parent(V__H,V__P))))))
&
((? [V__P] :
     ((s__instance(V__P,s__Human) &
         (s__brother(V__U,V__P)
         &
         s__parent(V__H,V__P)))))
=>
s__uncle(V__U,V__H))))
)

 Mid-level-ontology.kif 25455-25460 The uncle of X is Y if, only if there exists Z such that Y is the brother of Z, and Z is a parent of X
! [V__SVC] :
((s__instance(V__SVC,s__ChildCareService) =>
     (? [V__CHILD,V__SITTER] :
       ((s__instance(V__SITTER,s__CognitiveAgent) &
           s__instance(V__SITTER,s__Organism) &
           ((s__instance(V__CHILD,s__HumanChild) |
               s__instance(V__CHILD,s__HumanBaby))
             &
             s__serviceProvider(V__SVC,V__SITTER)
           &
           s__patient(V__SVC,V__CHILD)
         &
         ~(s__parent(V__CHILD,V__SITTER)))))))
)

 Hotel.kif 1889-1898 If X is an instance of child-care service, then there exist Y, Z such that Y is an instance of human child or Y is an instance of human baby, Z provides a service during X, Y is a patient of X, and Z is not a parent of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners