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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - parent
parent

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


s__documentation(s__parent__m,s__ChineseLanguage,'"这是父母身份的概括关系。(parent ?CHILD ?PARENT)的意思是 ?PARENT 是 ?CHILD 的亲生父母。"')

chinese_format.kif 3689-3690
s__documentation(s__parent__m,s__EnglishLanguage,'"The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD."')

Merge.kif 15693-15695
s__domain(s__parent__m,n__1,s__Organism)

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

Merge.kif 15692-15692 The number 2 argument of parent is an instance of organism
s__instance(s__parent__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 15688-15688 parent is an instance of asymmetric relation
s__instance(s__parent__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 15686-15686 parent is an instance of binary predicate
s__instance(s__parent__m,s__IntransitiveRelation)

s__instance(s__IntransitiveRelation,s__SetOrClass)

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

s__instance(s__parent__m,s__TotalValuedRelation)

Merge.kif 15690-15690 parent is an instance of total valued relation

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


s__format(s__ChineseLanguage,s__parent__m,'"%2 %n 是 %1 的 parent"')

chinese_format.kif 523-523
s__format(s__EnglishLanguage,s__parent__m,'"%2 is %n a parent of %1"')

english_format.kif 531-531
s__subrelation(s__daughter__m,s__parent__m)

Merge.kif 15763-15763 daughter is a subrelation of parent
s__subrelation(s__son__m,s__parent__m)

Merge.kif 15774-15774 son is a subrelation of parent
s__termFormat(s__ChineseLanguage,s__parent__m,'"亲"')

domainEnglishFormat.kif 44407-44407
s__termFormat(s__ChineseLanguage,s__parent__m,'"父母"')

chinese_format.kif 524-524
s__termFormat(s__ChineseTraditionalLanguage,s__parent__m,'"親"')

domainEnglishFormat.kif 44406-44406
s__termFormat(s__EnglishLanguage,s__parent__m,'"parent"')

domainEnglishFormat.kif 44405-44405

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


( ! [V__ORGANISM,V__PARENT2,V__PARENT1,V__REP] :
   (((s__instance(V__ORGANISM,s__Organism) &
         s__instance(V__PARENT2,s__Organism) &
         s__instance(V__PARENT1,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 9964-9970
( ! [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 15819-15823
( ! [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 15813-15817
( ! [V__CHILD,V__PARENT] :
   ((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 22117-22121
( ! [V__CHILD,V__PARENT] :
   ((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 22123-22127
( ! [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 22111-22115
( ! [V__REP,V__CHILD,V__PARENT] :
   (((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 15712-15720
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1865-1875
( ! [V__CLASS,V__CHILD,V__PARENT] :
   (((s__instance(V__CLASS,s__Class) &
         s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       (((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 15705-15710
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22276-22292
( ! [V__PARENT2,V__PARENT1,V__ORGANISM1,V__ORGANISM2] :
   (((s__instance(V__PARENT2,s__Organism) &
         s__instance(V__PARENT1,s__Organism) &
         s__instance(V__ORGANISM1,s__Organism) &
         s__instance(V__ORGANISM2,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 15797-15805
( ! [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 15807-15811
( ! [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 15697-15699
( ! [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 15701-15703

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


( ! [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 22136-22141 A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human
( ! [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 22227-22232 The uncle of a human is a man if and only if there exists another human such that the man is the brother of the other human and the other human is a parent of the human
( ! [V__REP,V__CHILD,V__PARENT] :
   (((s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,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 9917-9922
( ! [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 15807-15811
( ! [V__FAMILY,V__P] :
   (((s__instance(V__FAMILY,s__FamilyGroup) &
         s__instance(V__P,s__Human))
       =>
       (((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 15617-15625
( ! [V__FAMILY,V__PERSON] :
   (((s__instance(V__FAMILY,s__FamilyGroup) &
         s__instance(V__PERSON,s__Human))
       =>
       (((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 15627-15634
( ! [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 15748-15750
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Man) &
         s__instance(V__H,s__Human))
       =>
       ((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 22173-22178
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Woman) &
         s__instance(V__H,s__Human))
       =>
       ((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 22185-22190
( ! [V__ORGANISM] :
   ((s__instance(V__ORGANISM,s__Organism) =>
       (( ? [V__PARENT] :
           ((s__instance(V__PARENT,s__Organism) &
               s__parent(V__ORGANISM,V__PARENT))))))
   )
)

Merge.kif 15722-15725
( ! [V__SVC] :
   ((s__instance(V__SVC,s__ChildCareService) =>
       (( ? [V__CHILD, V__SITTER] :
           ((s__instance(V__SITTER,s__Organism) &
               s__instance(V__SITTER,s__CognitiveAgent) &
               ((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 1847-1856
( ! [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 15731-15733


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