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

Formal Language: 



KB Term:  Term intersection
English Word: 

  parent

 Sigma KEE - parent
parent

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


(documentation parent ChineseLanguage "这是父母身份的概括关系。(parent ?CHILD ?PARENT)的意思是 ?PARENT 是 ?CHILD 的亲生父母。") chinese_format.kif 3689-3690
(documentation parent EnglishLanguage "The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.") Merge.kif 16448-16450
(domain parent 1 Organism) Merge.kif 16446-16446 Die Zahl 1 Argument von parent ist ein fall von Organism %n{nicht}
(domain parent 2 Organism) Merge.kif 16447-16447 Die Zahl 2 Argument von parent ist ein fall von Organism %n{nicht}
(instance parent AsymmetricRelation) Merge.kif 16443-16443 parent ist ein fall von AsymmetricRelation %n{nicht}
(instance parent BinaryPredicate) Merge.kif 16441-16441 parent ist ein fall von BinaryPredicate %n{nicht}
(instance parent IntransitiveRelation) Merge.kif 16444-16444 parent ist ein fall von IntransitiveRelation %n{nicht}
(instance parent TotalValuedRelation) Merge.kif 16445-16445 parent ist ein fall von TotalValuedRelation %n{nicht}

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


(format ChineseLanguage parent "%2 %n 是 %1 的 parent") chinese_format.kif 523-523
(format EnglishLanguage parent "%2 is %n a parent of %1") english_format.kif 528-528
(format FrenchLanguage parent "%2 est %n un parent de %1") french_format.kif 309-309
(format ItalianLanguage parent "%2 è %n un parente di %1") relations-it.txt 209-209
(format JapaneseLanguage parent "%2 は %1 の parent では %n") japanese_format.kif 2077-2077
(format PortugueseLanguage parent "%2 e' %n um genitor de %1") portuguese_format.kif 261-261
(format cz parent "%2 %p{je} %n{nen�} a parent of %1") relations-cz.txt 315-315
(format de parent "%2 ist das elterntiel von %1 %n{nicht}") relations-de.txt 680-680
(format hi parent "%2 %1 kaa janaka %n hai") relations-hindi.txt 247-247
(format ro parent "%2 %n{nu} este parent%t{pãrintele} lui %1") relations-ro.kif 330-330
(format sv parent "%2 är %n{inte} en förälder till %1") relations-sv.txt 337-337
(format tg parent "%2 %n ay ang magulang ng %1") relations-tg.txt 400-400
(subrelation daughter parent) Merge.kif 16518-16518 daughter ist eine teilrelation von parent
(subrelation son parent) Merge.kif 16529-16529 son ist eine teilrelation von parent
(termFormat ChineseLanguage parent "亲") domainEnglishFormat.kif 44463-44463 son ist eine teilrelation von parent
(termFormat ChineseLanguage parent "父母") chinese_format.kif 524-524 son ist eine teilrelation von parent
(termFormat ChineseTraditionalLanguage parent "親") domainEnglishFormat.kif 44462-44462 son ist eine teilrelation von parent
(termFormat EnglishLanguage parent "parent") domainEnglishFormat.kif 44461-44461 son ist eine teilrelation von parent
(termFormat tg parent "magulang") relations-tg.txt 401-401 son ist eine teilrelation von parent

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


(=>
    (and
        (instance ?REP AsexualReproduction)
        (result ?REP ?ORGANISM)
        (parent ?ORGANISM ?PARENT1)
        (parent ?ORGANISM ?PARENT2))
    (equal ?PARENT1 ?PARENT2))		 Merge.kif 10413-10419
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))		 Merge.kif 16574-16578
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))		 Merge.kif 16568-16572
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))		 Mid-level-ontology.kif 23342-23346
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))		 Mid-level-ontology.kif 23348-23352
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))		 Mid-level-ontology.kif 23336-23340
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))		 Merge.kif 16467-16475
(=>
    (and
        (parent ?CHILD ?PARENT)
        (or
            (instance ?CHILD HumanChild)
            (instance ?CHILD HumanBaby)))
    (modalAttribute
        (exists (?CARE)
            (and
                (instance ?CARE ChildCareService)
                (desires ?PARENT ?CARE))) Possibility))		 Hotel.kif 1890-1900
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))		 Merge.kif 16460-16465
(=>
    (and
        (parent ?CHILD ?PARENT1)
        (parent ?CHILD ?PARENT2)
        (holdsDuring ?T1
            (and
                (spouse ?PARENT1 ?PARENT2)
                (cohabitant ?PARENT1 ?PARENT2)
                (cohabitant ?CHILD ?PARENT1))))
    (exists (?FAM)
        (and
            (instance ?FAM NuclearFamily)
            (holdsDuring ?T1
                (and
                    (member ?CHILD ?FAM)
                    (member ?PARENT1 ?FAM)
                    (member ?PARENT2 ?FAM))))))		 Mid-level-ontology.kif 23501-23517
(=>
    (and
        (parent ?ORGANISM1 ?PARENT1)
        (parent ?ORGANISM2 ?PARENT1)
        (parent ?ORGANISM1 ?PARENT2)
        (parent ?ORGANISM2 ?PARENT2)
        (not
            (equal ?ORGANISM1 ?ORGANISM2))
        (not
            (equal ?PARENT1 ?PARENT2)))
    (sibling ?ORGANISM1 ?ORGANISM2))		 Merge.kif 16552-16560
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16562-16566
(=>
    (parent ?CHILD ?PARENT)
    (ancestor ?CHILD ?PARENT))		 Merge.kif 16452-16454
(=>
    (parent ?CHILD ?PARENT)
    (before
        (BeginFn
            (WhenFn ?PARENT))
        (BeginFn
            (WhenFn ?CHILD))))		 Merge.kif 16456-16458
(=>
    (parent ?CHILD ?PARENT)
    (older ?PARENT ?CHILD))		 Mid-level-ontology.kif 406-408

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


(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 23361-23366 aunt Woman and Human genau dann wenn es gibt ** Human um sister ** Woman and ** ** Human und ** ** Human ist das elterntiel von ** Human %n{nicht}
(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 23452-23457 uncle Man and Human genau dann wenn es gibt ** Human um brother ** Man and ** ** Human und ** ** Human ist das elterntiel von ** Human %n{nicht}
(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))		 Merge.kif 10366-10371
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16562-16566
(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))		 Merge.kif 16372-16380
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))		 Merge.kif 16382-16389
(=>
    (father ?A ?B)
    (parent ?A ?B))		 Merge.kif 16503-16505
(=>
    (grandfather ?H ?P)
    (exists (?C)
        (and
            (father ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 23398-23403
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 23410-23415
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))		 Merge.kif 16477-16480
(=>
    (instance ?SVC ChildCareService)
    (exists (?CHILD ?SITTER)
        (and
            (or
                (instance ?CHILD HumanChild)
                (instance ?CHILD HumanBaby))
            (serviceProvider ?SVC ?SITTER)
            (patient ?SVC ?CHILD)
            (not
                (parent ?CHILD ?SITTER)))))		 Hotel.kif 1872-1881
(=>
    (mother ?A ?B)
    (parent ?A ?B))		 Merge.kif 16486-16488


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 3.0 is open source software produced by Articulate Software and its partners