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 16438-16440
(domain parent 1 Organism) Merge.kif 16436-16436 Il numero 1 argomenti di parent è un istanza di Organismo
(domain parent 2 Organism) Merge.kif 16437-16437 Il numero 2 argomenti di parent è un istanza di Organismo
(instance parent AsymmetricRelation) Merge.kif 16433-16433 parent è un' istanza di RelazioneAsimmetrica
(instance parent BinaryPredicate) Merge.kif 16431-16431 parent è un' istanza di PredicatoBinario
(instance parent IntransitiveRelation) Merge.kif 16434-16434 parent è un' istanza di RelazioneIntransitiva
(instance parent TotalValuedRelation) Merge.kif 16435-16435 parent è un' istanza di RelazioneAValoreTotale

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 16508-16508 daughter è una sottorelazione di parent
(subrelation son parent) Merge.kif 16519-16519 son è una sottorelazione di parent
(termFormat ChineseLanguage parent "亲") domainEnglishFormat.kif 44432-44432
(termFormat ChineseLanguage parent "父母") chinese_format.kif 524-524
(termFormat ChineseTraditionalLanguage parent "親") domainEnglishFormat.kif 44431-44431
(termFormat EnglishLanguage parent "parent") domainEnglishFormat.kif 44430-44430
(termFormat tg parent "magulang") relations-tg.txt 401-401

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


(=>
    (and
        (instance ?REP AsexualReproduction)
        (result ?REP ?ORGANISM)
        (parent ?ORGANISM ?PARENT1)
        (parent ?ORGANISM ?PARENT2))
    (equal ?PARENT1 ?PARENT2))		 Merge.kif 10399-10405
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))		 Merge.kif 16564-16568
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))		 Merge.kif 16558-16562
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))		 Mid-level-ontology.kif 23079-23083
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))		 Mid-level-ontology.kif 23085-23089
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))		 Mid-level-ontology.kif 23073-23077
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))		 Merge.kif 16457-16465
(=>
    (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 16450-16455
(=>
    (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 23238-23254
(=>
    (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 16542-16550
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16552-16556
(=>
    (parent ?CHILD ?PARENT)
    (ancestor ?CHILD ?PARENT))		 Merge.kif 16442-16444
(=>
    (parent ?CHILD ?PARENT)
    (before
        (BeginFn
            (WhenFn ?PARENT))
        (BeginFn
            (WhenFn ?CHILD))))		 Merge.kif 16446-16448
(=>
    (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 23098-23103 aunt Woman and Umano Umano sister Woman and Umano Umano è un parente di Umano
(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 23189-23194 uncle Man and Umano Umano brother Man and Umano Umano è un parente di Umano
(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))		 Merge.kif 10352-10357
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16552-16556
(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))		 Merge.kif 16362-16370
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))		 Merge.kif 16372-16379
(=>
    (father ?A ?B)
    (parent ?A ?B))		 Merge.kif 16493-16495
(=>
    (grandfather ?H ?P)
    (exists (?C)
        (and
            (father ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 23135-23140
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 23147-23152
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))		 Merge.kif 16467-16470
(=>
    (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 16476-16478


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