father |
appearance as argument number 1 |
(documentation father ChineseLanguage "这是父亲的概括关系。(father ?CHILD ?FATHER)的意思是 ?FATHER 是 ?CHILD 的亲生父亲。") | chinese_format.kif 3693-3694 | |
(documentation father EnglishLanguage "The general relationship of fatherhood. (father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD.") | Merge.kif 16428-16430 | |
(domain father 1 Organism) | Merge.kif 16426-16426 | 域 父親, 1 and Organism |
(domain father 2 Organism) | Merge.kif 16427-16427 | 域 父親, 2 and Organism |
(instance father BinaryPredicate) | Merge.kif 16420-16420 | 例 父親 and BinaryPredicate |
(instance father PartialValuedRelation) | Merge.kif 16419-16419 | 例 父親 and PartialValuedRelation |
(instance father SingleValuedRelation) | Merge.kif 16418-16418 | 例 父親 and SingleValuedRelation |
appearance as argument number 2 |
(format ChineseLanguage father "%2 %n 是 %1 father") | chinese_format.kif 527-527 | |
(format EnglishLanguage father "%2 is %n a father of %1") | english_format.kif 532-532 | |
(format FrenchLanguage father "%2 est %n le p�re de %1") | french_format.kif 311-311 | |
(format ItalianLanguage father "%2 è %n un padre di %1") | relations-it.txt 109-109 | |
(format JapaneseLanguage father "%2 は %1 の father では %n") | japanese_format.kif 2079-2079 | |
(format PortugueseLanguage father "%2 e' %n o pai de %1") | portuguese_format.kif 263-263 | |
(format cz father "%2 %p{je} %n{nen�} a father of %1") | relations-cz.txt 317-317 | |
(format de father "%2 ist der vater von %1 %n{nicht}") | relations-de.txt 686-686 | |
(format hi father "%2 %1 kaa janaka %n hai") | relations-hindi.txt 149-149 | |
(format ro father "%2 %n{nu} este father%t{tatãl} lui %1") | relations-ro.kif 332-332 | |
(format sv father "%2 är %n{inte} en pappa till %1") | relations-sv.txt 341-341 | |
(format tg father "%2 %n ay ang ama sa %1") | relations-tg.txt 228-228 | |
(termFormat ChineseLanguage father "父亲") | chinese_format.kif 528-528 | |
(termFormat ChineseTraditionalLanguage father "父親") | domainEnglishFormat.kif 23361-23361 | |
(termFormat EnglishLanguage father "father") | domainEnglishFormat.kif 23360-23360 | |
(termFormat tg father "ama") | relations-tg.txt 229-229 |
antecedent |
(=> (father ?A ?B) (parent ?A ?B)) |
Merge.kif 16422-16424 | |
(=> (father ?CHILD ?FATHER) (attribute ?FATHER Male)) |
Merge.kif 16432-16434 |
consequent |
(<=> (cousin ?P1 ?P2) (and (exists (?G1 ?G2) (and (grandmother ?P1 ?G1) (grandfather ?P1 ?G2) (grandmother ?P2 ?G1) (grandfather ?P2 ?G2))) (not (exists (?M ?F) (and (mother ?P1 ?M) (father ?P1 ?F) (mother ?P2 ?M) (father ?P2 ?F)))))) |
Mid-level-ontology.kif 23061-23076 | Human Human 是 cousins 女人 人 Human 的 grandmother 是 女人 Human 的 grandfather 是 人 Human 的 grandmother 是 女人 Human 的 grandfather 是 人 Organism Organism 母親 Human and Organism 父親 Human and Organism 母親 Human and Organism 父親 Human and Organism |
(<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 23152-23159 | 人 是 Human 的 stepfather Human 母親 Human and Human 人 是 Human 的 spouse 父親 Human and 人 |
(<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 23169-23176 | 女人 是 Human 的 stepfather Human 父親 Human and Human 女人 是 Human 的 spouse 母親 Human and 女人 |
(=> (and (instance ?REP SexualReproduction) (result ?REP ?ORGANISM)) (exists (?MOTHER ?FATHER) (and (mother ?ORGANISM ?MOTHER) (father ?ORGANISM ?FATHER)))) |
Merge.kif 10336-10343 | |
(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT)) |
Merge.kif 16487-16491 | |
(=> (and (parent ?CHILD ?PARENT) (instance ?PARENT Man)) (father ?CHILD ?PARENT)) |
Mid-level-ontology.kif 23021-23025 | |
(=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT))) |
Merge.kif 16386-16394 | |
(=> (fathersBrothersDaughter ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 666-672 | |
(=> (fathersBrothersSon ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 654-660 | |
(=> (fathersBrothersWife ?P ?W) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 606-612 | |
(=> (fathersSistersDaughter ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (daughter ?AUN ?H)))) |
ArabicCulture.kif 714-720 | |
(=> (fathersSistersHusband ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (husband ?AUN ?H)))) |
ArabicCulture.kif 630-636 | |
(=> (fathersSistersSon ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 702-708 | |
(=> (grandfather ?H ?P) (exists (?C) (and (father ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 23083-23088 | |
(=> (holdsDuring ?T (attribute ?P BereavedFather)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (father ?P ?C)) (holdsDuring ?T (attribute ?C Dead))))) |
ArabicCulture.kif 760-766 |
|
(=> (instance ?MULE Mule) (exists (?DONKEY ?HORSE) (and (father ?MULE ?DONKEY) (instance ?DONKEY Donkey) (mother ?MULE ?HORSE) (instance ?HORSE Horse)))) |
Mid-level-ontology.kif 20164-20171 | |
(=> (paternalAunt ?P ?AUN) (exists (?F) (and (father ?P ?F) (sister ?F ?AUN)))) |
ArabicCulture.kif 584-589 | |
(=> (paternalUncle ?P ?UNC) (exists (?F) (and (father ?P ?F) (brother ?F ?UNC)))) |
ArabicCulture.kif 562-567 |