| 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 16389-16391 | |
| (domain parent 1 Organism) | Merge.kif 16387-16387 | O argumento numero 1 de parent e' uma instancia de Organismo |
| (domain parent 2 Organism) | Merge.kif 16388-16388 | O argumento numero 2 de parent e' uma instancia de Organismo |
| (instance parent AsymmetricRelation) | Merge.kif 16384-16384 | parent e' uma instancia de Relacao Assimetrica |
| (instance parent BinaryPredicate) | Merge.kif 16382-16382 | parent e' uma instancia de Predicado Binario |
| (instance parent IntransitiveRelation) | Merge.kif 16385-16385 | parent e' uma instancia de Relacao Intransitiva |
| (instance parent TotalValuedRelation) | Merge.kif 16386-16386 | parent e' uma instancia de Relacao Total |
| 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 16459-16459 | daughter e' uma sub-relacao de parent |
| (subrelation son parent) | Merge.kif 16470-16470 | son e' uma sub-relacao de parent |
| (termFormat ChineseLanguage parent "亲") | domainEnglishFormat.kif 44430-44430 | |
| (termFormat ChineseLanguage parent "父母") | chinese_format.kif 524-524 | |
| (termFormat ChineseTraditionalLanguage parent "親") | domainEnglishFormat.kif 44429-44429 | |
| (termFormat EnglishLanguage parent "parent") | domainEnglishFormat.kif 44428-44428 | |
| (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 10385-10391 | |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT)) |
Merge.kif 16515-16519 | |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT)) |
Merge.kif 16509-16513 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Man)) (son ?CHILD ?PARENT)) |
Mid-level-ontology.kif 23026-23030 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Woman)) (daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 23032-23036 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?PARENT Man)) (father ?CHILD ?PARENT)) |
Mid-level-ontology.kif 23020-23024 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT))) |
Merge.kif 16408-16416 | |
| (=> (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 16401-16406 | |
| (=> (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 23185-23201 |
|
| (=> (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 16493-16501 | |
| (=> (and (sibling ?ORG1 ?ORG2) (parent ?ORG1 ?PARENT)) (parent ?ORG2 ?PARENT)) |
Merge.kif 16503-16507 | |
| (=> (parent ?CHILD ?PARENT) (ancestor ?CHILD ?PARENT)) |
Merge.kif 16393-16395 | |
| (=> (parent ?CHILD ?PARENT) (before (BeginFn (WhenFn ?PARENT)) (BeginFn (WhenFn ?CHILD)))) |
Merge.kif 16397-16399 | |
| (=> (parent ?CHILD ?PARENT) (older ?PARENT ?CHILD)) |
Mid-level-ontology.kif 413-415 |
| consequent |
|
|
| (<=> (aunt ?A ?H) (exists (?P) (and (sister ?A ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 23045-23050 | aunt Woman and Humano Humano sister Woman and Humano Humano e' um genitor de Humano |
| (<=> (uncle ?U ?H) (exists (?P) (and (brother ?U ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 23136-23141 | uncle Man and Humano Humano brother Man and Humano Humano e' um genitor de Humano |
| (=> (and (instance ?REP Replication) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (parent ?CHILD ?PARENT)) |
Merge.kif 10338-10343 | |
| (=> (and (sibling ?ORG1 ?ORG2) (parent ?ORG1 ?PARENT)) (parent ?ORG2 ?PARENT)) |
Merge.kif 16503-16507 | |
| (=> (equal (ImmediateFamilyFn ?P) ?FAMILY) (forall (?MEMBER) (=> (member ?MEMBER ?FAMILY) (exists (?OTHER) (or (parent ?MEMBER ?OTHER) (parent ?OTHER ?MEMBER)))))) |
Merge.kif 16313-16321 | |
| (=> (equal (ImmediateFamilyFn ?PERSON) ?FAMILY) (exists (?MEMBER) (and (member ?MEMBER ?FAMILY) (or (parent ?MEMBER ?PERSON) (parent ?PERSON ?MEMBER))))) |
Merge.kif 16323-16330 |
|
| (=> (father ?A ?B) (parent ?A ?B)) |
Merge.kif 16444-16446 | |
| (=> (grandfather ?H ?P) (exists (?C) (and (father ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 23082-23087 | |
| (=> (grandmother ?H ?P) (exists (?C) (and (mother ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 23094-23099 | |
| (=> (instance ?ORGANISM Organism) (exists (?PARENT) (parent ?ORGANISM ?PARENT))) |
Merge.kif 16418-16421 | |
| (=> (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 16427-16429 |
|
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