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 15078-15080
(domain parent 1 Organism) Merge.kif 15076-15076 The number 1 argument of parent is an instance of organism
(domain parent 2 Organism) Merge.kif 15077-15077 The number 2 argument of parent is an instance of organism
(instance parent AsymmetricRelation) Merge.kif 15073-15073 parent is an instance of asymmetric relation
(instance parent BinaryPredicate) Merge.kif 15071-15071 parent is an instance of binary predicate
(instance parent IntransitiveRelation) Merge.kif 15074-15074 parent is an instance of intransitive relation
(instance parent TotalValuedRelation) Merge.kif 15075-15075 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 531-531
(subrelation daughter parent) Merge.kif 15146-15146 daughter is a subrelation of parent
(subrelation son parent) Merge.kif 15157-15157 son is a subrelation of parent
(termFormat ChineseLanguage parent "亲") domainEnglishFormat.kif 44347-44347 "亲" is the printable form of parent in ChineseLanguage
(termFormat ChineseLanguage parent "父母") chinese_format.kif 524-524 "父母" is the printable form of parent in ChineseLanguage
(termFormat ChineseTraditionalLanguage parent "親") domainEnglishFormat.kif 44346-44346 "親" is the printable form of parent in ChineseTraditionalLanguage
(termFormat EnglishLanguage parent "parent") domainEnglishFormat.kif 44345-44345 "parent" is the printable form of parent in english language

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


(=>
    (and
        (instance ?REP AsexualReproduction)
        (result ?REP ?ORGANISM)
        (parent ?ORGANISM ?PARENT1)
        (parent ?ORGANISM ?PARENT2))
    (equal ?PARENT1 ?PARENT2))
Merge.kif 9649-9655
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))
Merge.kif 15202-15206
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))
Merge.kif 15196-15200
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))
Mid-level-ontology.kif 20920-20924
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 20927-20931
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))
Mid-level-ontology.kif 20905-20909
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 15097-15105
(=>
    (and
        (parent ?CHILD ?PARENT)
        (or
            (instance ?CHILD HumanChild)
            (instance ?CHILD HumanBaby)))
    (modalAttribute
        (exists (?CARE)
            (and
                (instance ?CARE ChildCareService)
                (desires ?PARENT ?CARE))) Possibility))
Hotel.kif 1838-1848
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))
Merge.kif 15090-15095
(=>
    (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 21087-21103
(=>
    (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 15180-15188
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))
Merge.kif 15190-15194
(=>
    (parent ?CHILD ?PARENT)
    (ancestor ?CHILD ?PARENT))
Merge.kif 15082-15084
(=>
    (parent ?CHILD ?PARENT)
    (before
        (BeginFn
            (WhenFn ?PARENT))
        (BeginFn
            (WhenFn ?CHILD))))
Merge.kif 15086-15088

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


(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))
Mid-level-ontology.kif 20940-20945 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 21034-21039 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 9602-9607
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))
Merge.kif 15190-15194
(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))
Merge.kif 15003-15011
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))
Merge.kif 15013-15020
(=>
    (father ?A ?B)
    (parent ?A ?B))
Merge.kif 15131-15133
(=>
    (grandfather ?H ?P)
    (exists (?C)
        (and
            (father ?C ?P)
            (parent ?H ?C))))
Mid-level-ontology.kif 20978-20983
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))
Mid-level-ontology.kif 20991-20996
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))
Merge.kif 15107-15110
(=>
    (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 1820-1829
(=>
    (mother ?A ?B)
    (parent ?A ?B))
Merge.kif 15115-15117


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners