| 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 16493-16495 | |
| (domain parent 1 Organism) | Merge.kif 16491-16491 | |
| (domain parent 2 Organism) | Merge.kif 16492-16492 | |
| (instance parent AsymmetricRelation) | Merge.kif 16488-16488 | |
| (instance parent BinaryPredicate) | Merge.kif 16486-16486 | |
| (instance parent IntransitiveRelation) | Merge.kif 16489-16489 | |
| (instance parent TotalValuedRelation) | Merge.kif 16490-16490 |
| 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 16563-16563 | |
| (subrelation son parent) | Merge.kif 16574-16574 | |
| (termFormat ChineseLanguage parent "亲") | domainEnglishFormat.kif 44461-44461 | |
| (termFormat ChineseLanguage parent "父母") | chinese_format.kif 524-524 | |
| (termFormat ChineseTraditionalLanguage parent "親") | domainEnglishFormat.kif 44460-44460 | |
| (termFormat EnglishLanguage parent "parent") | domainEnglishFormat.kif 44459-44459 | |
| (termFormat de parent "elternteil") | terms-de.txt 206-206 | |
| (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 10458-10464 | |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT)) |
Merge.kif 16619-16623 | |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT)) |
Merge.kif 16613-16617 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Man)) (son ?CHILD ?PARENT)) |
Mid-level-ontology.kif 24676-24680 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Woman)) (daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 24682-24686 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?PARENT Man)) (father ?CHILD ?PARENT)) |
Mid-level-ontology.kif 24670-24674 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT))) |
Merge.kif 16512-16520 | |
| (=> (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 16505-16510 | |
| (=> (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 24835-24851 | |
| (=> (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 16597-16605 | |
| (=> (and (sibling ?ORG1 ?ORG2) (parent ?ORG1 ?PARENT)) (parent ?ORG2 ?PARENT)) |
Merge.kif 16607-16611 | |
| (=> (parent ?CHILD ?PARENT) (ancestor ?CHILD ?PARENT)) |
Merge.kif 16497-16499 | |
| (=> (parent ?CHILD ?PARENT) (before (BeginFn (WhenFn ?PARENT)) (BeginFn (WhenFn ?CHILD)))) |
Merge.kif 16501-16503 | |
| (=> (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 24695-24700 | |
| (<=> (uncle ?U ?H) (exists (?P) (and (brother ?U ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 24786-24791 | |
| (=> (and (instance ?REP Replication) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (parent ?CHILD ?PARENT)) |
Merge.kif 10411-10416 | |
| (=> (and (sibling ?ORG1 ?ORG2) (parent ?ORG1 ?PARENT)) (parent ?ORG2 ?PARENT)) |
Merge.kif 16607-16611 | |
| (=> (equal (ImmediateFamilyFn ?P) ?FAMILY) (forall (?MEMBER) (=> (member ?MEMBER ?FAMILY) (exists (?OTHER) (or (parent ?MEMBER ?OTHER) (parent ?OTHER ?MEMBER)))))) |
Merge.kif 16417-16425 | |
| (=> (equal (ImmediateFamilyFn ?PERSON) ?FAMILY) (exists (?MEMBER) (and (member ?MEMBER ?FAMILY) (or (parent ?MEMBER ?PERSON) (parent ?PERSON ?MEMBER))))) |
Merge.kif 16427-16434 | |
| (=> (father ?A ?B) (parent ?A ?B)) |
Merge.kif 16548-16550 | |
| (=> (grandfather ?H ?P) (exists (?C) (and (father ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 24732-24737 | |
| (=> (grandmother ?H ?P) (exists (?C) (and (mother ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 24744-24749 | |
| (=> (instance ?ORGANISM Organism) (exists (?PARENT) (parent ?ORGANISM ?PARENT))) |
Merge.kif 16522-16525 | |
| (=> (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 16531-16533 |
|
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