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

KB Term:  Term intersection
English Word: 

Sigma KEE - parent
parent

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


(instance parent BinaryPredicate) Merge.kif 16719-16719
(instance parent AsymmetricRelation) Merge.kif 16721-16721
(instance parent IntransitiveRelation) Merge.kif 16722-16722
(instance parent TotalValuedRelation) Merge.kif 16723-16723
(domain parent 1 Organism) Merge.kif 16724-16724
(domain parent 2 Organism) Merge.kif 16725-16725
(documentation parent EnglishLanguage "The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.") Merge.kif 16726-16728

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


(subrelation daughter parent) Merge.kif 16796-16796
(subrelation son parent) Merge.kif 16807-16807
(termFormat EnglishLanguage parent "parent") domainEnglishFormat.kif 44423-44423
(termFormat ChineseTraditionalLanguage parent "親") domainEnglishFormat.kif 44424-44424
(termFormat ChineseLanguage parent "亲") domainEnglishFormat.kif 44425-44425
(format EnglishLanguage parent "%2 is %n a parent of %1") english_format.kif 528-528

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


(=>
    (and
        (instance ?REP AsexualReproduction)
        (result ?REP ?ORGANISM)
        (parent ?ORGANISM ?PARENT1)
        (parent ?ORGANISM ?PARENT2))
    (equal ?PARENT1 ?PARENT2))		 Merge.kif 10610-10616
(=>
    (parent ?CHILD ?PARENT)
    (ancestor ?CHILD ?PARENT))		 Merge.kif 16730-16732
(=>
    (parent ?CHILD ?PARENT)
    (before
        (BeginFn
            (WhenFn ?PARENT))
        (BeginFn
            (WhenFn ?CHILD))))		 Merge.kif 16734-16736
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))		 Merge.kif 16738-16743
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))		 Merge.kif 16745-16753
(=>
    (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 16830-16838
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16840-16844
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))		 Merge.kif 16846-16850
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))		 Merge.kif 16852-16856
(=>
    (parent ?CHILD ?PARENT)
    (older ?PARENT ?CHILD))		 Mid-level-ontology.kif 396-398
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))		 Mid-level-ontology.kif 25339-25343
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))		 Mid-level-ontology.kif 25345-25349
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))		 Mid-level-ontology.kif 25351-25355
(=>
    (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 25504-25520
(=>
    (and
        (parent ?CHILD ?PARENT)
        (or
            (instance ?CHILD HumanChild)
            (instance ?CHILD HumanBaby)))
    (modalAttribute
        (exists (?CARE)
            (and
                (instance ?CARE ChildCareService)
                (wants ?PARENT ?CARE))) Possibility))		 Hotel.kif 1907-1918

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


(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))		 Merge.kif 10563-10568
(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))		 Merge.kif 16650-16658
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))		 Merge.kif 16660-16667
(=>
    (instance ?ORGANISM Organism)
    (exists (?PARENT)
        (parent ?ORGANISM ?PARENT)))		 Merge.kif 16755-16758
(=>
    (mother ?A ?B)
    (parent ?A ?B))		 Merge.kif 16764-16766
(=>
    (father ?A ?B)
    (parent ?A ?B))		 Merge.kif 16781-16783
(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16840-16844
(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 25364-25369
(=>
    (grandfather ?H ?P)
    (exists (?C)
        (and
            (father ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 25401-25406
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 25413-25418
(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 25455-25460
(=>
    (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 1889-1898


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners