| 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 | parent の数値 1 引数は 物 の instance では |
| (domain parent 2 Organism) | Merge.kif 16541-16541 | parent の数値 2 引数は 物 の instance では |
| (instance parent AsymmetricRelation) | Merge.kif 16537-16537 | parent は 非対称関係 の instance では |
| (instance parent BinaryPredicate) | Merge.kif 16535-16535 | parent は 2進述語 の instance では |
| (instance parent IntransitiveRelation) | Merge.kif 16538-16538 | parent は 非推移関係 の instance では |
| (instance parent TotalValuedRelation) | Merge.kif 16539-16539 | parent は 合計値関係 の instance では |
| 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 は parent の subrelation では |
| (subrelation son parent) | Merge.kif 16623-16623 | son は parent の subrelation では |
| (termFormat ChineseLanguage parent "亲") | domainEnglishFormat.kif 44432-44432 | son は parent の subrelation では |
| (termFormat ChineseLanguage parent "父母") | chinese_format.kif 524-524 | son は parent の subrelation では |
| (termFormat ChineseTraditionalLanguage parent "親") | domainEnglishFormat.kif 44431-44431 | son は parent の subrelation では |
| (termFormat EnglishLanguage parent "parent") | domainEnglishFormat.kif 44430-44430 | son は parent の subrelation では |
| (termFormat de parent "elternteil") | terms-de.txt 206-206 | son は parent の subrelation では |
| (termFormat tg parent "magulang") | relations-tg.txt 401-401 | son は parent の subrelation では |
| 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 | aunt Woman and 人［人間］ 人［人間］ sister Woman and 人［人間］ 人［人間］ は 人［人間］ の parent では |
| (<=> (uncle ?U ?H) (exists (?P) (and (brother ?U ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 24778-24783 | uncle Man and 人［人間］ 人［人間］ brother Man and 人［人間］ 人［人間］ は 人［人間］ の parent では |
| (=> (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