parent |
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 | 父母 的 1 数量 是 生物 的 instance |
(domain parent 2 Organism) | Merge.kif 16388-16388 | 父母 的 2 数量 是 生物 的 instance |
(instance parent AsymmetricRelation) | Merge.kif 16384-16384 | 父母 是 非对称关系 的 instance |
(instance parent BinaryPredicate) | Merge.kif 16382-16382 | 父母 是 二元谓语 的 instance |
(instance parent IntransitiveRelation) | Merge.kif 16385-16385 | 父母 是 非传递关系 的 instance |
(instance parent TotalValuedRelation) | Merge.kif 16386-16386 | 父母 是 总值关系 的 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 16459-16459 | 女儿 是 父母 的 subrelation |
(subrelation son parent) | Merge.kif 16470-16470 | 儿子 是 父母 的 subrelation |
(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 若且唯若 有存在 另一个 人类 这样 那个 女人 是 那个 另外 人类 的 sister 和 那个 另外 人类 是 那个 人类 的 parent |
(<=> (uncle ?U ?H) (exists (?P) (and (brother ?U ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 23136-23141 | 人类 的 uncle 是 人 若且唯若 有存在 另一个 人类 这样 那个 人 是 那个 另外 人类 的 brother 和 那个 另外 人类 是 那个 人类 的 parent |
(=> (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 |