| 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 16527-16529 | |
| (domain parent 1 Organism) | Merge.kif 16525-16525 | |
| (domain parent 2 Organism) | Merge.kif 16526-16526 | |
| (instance parent AsymmetricRelation) | Merge.kif 16522-16522 | |
| (instance parent BinaryPredicate) | Merge.kif 16520-16520 | |
| (instance parent IntransitiveRelation) | Merge.kif 16523-16523 | |
| (instance parent TotalValuedRelation) | Merge.kif 16524-16524 |
| 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 16597-16597 | |
| (subrelation son parent) | Merge.kif 16608-16608 | |
| (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 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 10488-10494 | |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT)) |
Merge.kif 16653-16657 | |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT)) |
Merge.kif 16647-16651 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Man)) (son ?CHILD ?PARENT)) |
Mid-level-ontology.kif 24670-24674 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Woman)) (daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 24676-24680 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?PARENT Man)) (father ?CHILD ?PARENT)) |
Mid-level-ontology.kif 24664-24668 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT))) |
Merge.kif 16546-16554 | |
| (=> (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 16539-16544 | |
| (=> (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 24829-24845 | |
| (=> (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 16631-16639 | |
| (=> (and (sibling ?ORG1 ?ORG2) (parent ?ORG1 ?PARENT)) (parent ?ORG2 ?PARENT)) |
Merge.kif 16641-16645 | |
| (=> (parent ?CHILD ?PARENT) (ancestor ?CHILD ?PARENT)) |
Merge.kif 16531-16533 | |
| (=> (parent ?CHILD ?PARENT) (before (BeginFn (WhenFn ?PARENT)) (BeginFn (WhenFn ?CHILD)))) |
Merge.kif 16535-16537 | |
| (=> (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 24689-24694 | |
| (<=> (uncle ?U ?H) (exists (?P) (and (brother ?U ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 24780-24785 | |
| (=> (and (instance ?REP Replication) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (parent ?CHILD ?PARENT)) |
Merge.kif 10441-10446 | |
| (=> (and (sibling ?ORG1 ?ORG2) (parent ?ORG1 ?PARENT)) (parent ?ORG2 ?PARENT)) |
Merge.kif 16641-16645 | |
| (=> (equal (ImmediateFamilyFn ?P) ?FAMILY) (forall (?MEMBER) (=> (member ?MEMBER ?FAMILY) (exists (?OTHER) (or (parent ?MEMBER ?OTHER) (parent ?OTHER ?MEMBER)))))) |
Merge.kif 16451-16459 | |
| (=> (equal (ImmediateFamilyFn ?PERSON) ?FAMILY) (exists (?MEMBER) (and (member ?MEMBER ?FAMILY) (or (parent ?MEMBER ?PERSON) (parent ?PERSON ?MEMBER))))) |
Merge.kif 16461-16468 | |
| (=> (father ?A ?B) (parent ?A ?B)) |
Merge.kif 16582-16584 | |
| (=> (grandfather ?H ?P) (exists (?C) (and (father ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 24726-24731 | |
| (=> (grandmother ?H ?P) (exists (?C) (and (mother ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 24738-24743 | |
| (=> (instance ?ORGANISM Organism) (exists (?PARENT) (parent ?ORGANISM ?PARENT))) |
Merge.kif 16556-16559 | |
| (=> (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 16565-16567 |
|
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