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 16542-16544
(domain parent 1 Organism) Merge.kif 16540-16540 The number 1 argument of parent is an instance of organism
(domain parent 2 Organism) Merge.kif 16541-16541 The number 2 argument of parent is an instance of organism
(instance parent AsymmetricRelation) Merge.kif 16537-16537 parent is an instance of asymmetric relation
(instance parent BinaryPredicate) Merge.kif 16535-16535 parent is an instance of binary predicate
(instance parent IntransitiveRelation) Merge.kif 16538-16538 parent is an instance of intransitive relation
(instance parent TotalValuedRelation) Merge.kif 16539-16539 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 16612-16612 daughter is a subrelation of parent
(subrelation son parent) Merge.kif 16623-16623 son is a subrelation of parent
(termFormat ChineseLanguage parent "亲") domainEnglishFormat.kif 44432-44432 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 44431-44431 son is a subrelation of parent
(termFormat EnglishLanguage parent "parent") domainEnglishFormat.kif 44430-44430 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 10503-10509
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))
Merge.kif 16668-16672
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))
Merge.kif 16662-16666
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))
Mid-level-ontology.kif 24668-24672
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 24674-24678
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))
Mid-level-ontology.kif 24662-24666
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 16561-16569
(=>
    (and
        (parent ?CHILD ?PARENT)
        (or
            (instance ?CHILD HumanChild)
            (instance ?CHILD HumanBaby)))
    (modalAttribute
        (exists (?CARE)
            (and
                (instance ?CARE ChildCareService)
                (desires ?PARENT ?CARE))) Possibility))
Hotel.kif 1901-1911
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))
Merge.kif 16554-16559
(=>
    (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 24827-24843
(=>
    (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 16646-16654
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))
Merge.kif 16656-16660
(=>
    (parent ?CHILD ?PARENT)
    (ancestor ?CHILD ?PARENT))
Merge.kif 16546-16548
(=>
    (parent ?CHILD ?PARENT)
    (before
        (BeginFn
            (WhenFn ?PARENT))
        (BeginFn
            (WhenFn ?CHILD))))
Merge.kif 16550-16552
(=>
    (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 24687-24692 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 24778-24783 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 10456-10461
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))
Merge.kif 16656-16660
(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))
Merge.kif 16466-16474
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))
Merge.kif 16476-16483
(=>
    (father ?A ?B)
    (parent ?A ?B))
Merge.kif 16597-16599
(=>
    (grandfather ?H ?P)
    (exists (?C)
        (and
            (father ?C ?P)
            (parent ?H ?C))))
Mid-level-ontology.kif 24724-24729
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))
Mid-level-ontology.kif 24736-24741
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))
Merge.kif 16571-16574
(=>
    (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 1883-1892
(=>
    (mother ?A ?B)
    (parent ?A ?B))
Merge.kif 16580-16582


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