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
-------------------------


(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 16459-16461
(domain parent 1 Organism) Merge.kif 16457-16457 The number 1 argument of parent is an instance of organism
(domain parent 2 Organism) Merge.kif 16458-16458 The number 2 argument of parent is an instance of organism
(instance parent AsymmetricRelation) Merge.kif 16454-16454 parent is an instance of asymmetric relation
(instance parent BinaryPredicate) Merge.kif 16452-16452 parent is an instance of binary predicate
(instance parent IntransitiveRelation) Merge.kif 16455-16455 parent is an instance of intransitive relation
(instance parent TotalValuedRelation) Merge.kif 16456-16456 parent is an instance of total valued relation

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 16529-16529 daughter is a subrelation of parent
(subrelation son parent) Merge.kif 16540-16540 son is a subrelation of parent
(termFormat ChineseLanguage parent "亲") domainEnglishFormat.kif 44461-44461 son is a subrelation of parent
(termFormat ChineseLanguage parent "父母") chinese_format.kif 524-524 son is a subrelation of parent
(termFormat ChineseTraditionalLanguage parent "親") domainEnglishFormat.kif 44460-44460 son is a subrelation of parent
(termFormat EnglishLanguage parent "parent") domainEnglishFormat.kif 44459-44459 son is a subrelation of parent
(termFormat de parent "elternteil") terms-de.txt 206-206 son is a subrelation of parent
(termFormat tg parent "magulang") relations-tg.txt 401-401 son is a subrelation of parent

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


(=>
    (and
        (instance ?REP AsexualReproduction)
        (result ?REP ?ORGANISM)
        (parent ?ORGANISM ?PARENT1)
        (parent ?ORGANISM ?PARENT2))
    (equal ?PARENT1 ?PARENT2))		 Merge.kif 10424-10430
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))		 Merge.kif 16585-16589
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))		 Merge.kif 16579-16583
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))		 Mid-level-ontology.kif 23970-23974
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))		 Mid-level-ontology.kif 23976-23980
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))		 Mid-level-ontology.kif 23964-23968
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))		 Merge.kif 16478-16486
(=>
    (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 16471-16476
(=>
    (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 24129-24145
(=>
    (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 16563-16571
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16573-16577
(=>
    (parent ?CHILD ?PARENT)
    (ancestor ?CHILD ?PARENT))		 Merge.kif 16463-16465
(=>
    (parent ?CHILD ?PARENT)
    (before
        (BeginFn
            (WhenFn ?PARENT))
        (BeginFn
            (WhenFn ?CHILD))))		 Merge.kif 16467-16469
(=>
    (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 23989-23994 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
(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 24080-24085 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
(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))		 Merge.kif 10377-10382
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16573-16577
(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))		 Merge.kif 16383-16391
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))		 Merge.kif 16393-16400
(=>
    (father ?A ?B)
    (parent ?A ?B))		 Merge.kif 16514-16516
(=>
    (grandfather ?H ?P)
    (exists (?C)
        (and
            (father ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 24026-24031
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 24038-24043
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))		 Merge.kif 16488-16491
(=>
    (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 16497-16499


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