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 15137-15139 | |
(domain father 1 Organism) | Merge.kif 15135-15135 | The number 1 argument of father is an instance of organism |
(domain father 2 Organism) | Merge.kif 15136-15136 | The number 2 argument of father is an instance of organism |
(instance father PartialValuedRelation) | Merge.kif 15129-15129 | father is an instance of partial valued relation |
(instance father SingleValuedRelation) | Merge.kif 15128-15128 | father is an instance of single valued relation |
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 535-535 | |
(termFormat ChineseLanguage father "父亲") | chinese_format.kif 528-528 | "父亲" is the printable form of father in ChineseLanguage |
(termFormat ChineseTraditionalLanguage father "父親") | domainEnglishFormat.kif 23292-23292 | "父親" is the printable form of father in ChineseTraditionalLanguage |
(termFormat EnglishLanguage father "father") | domainEnglishFormat.kif 23291-23291 | "father" is the printable form of father in english language |
antecedent |
![]() |
(=> (father ?A ?B) (parent ?A ?B)) |
Merge.kif 15131-15133 |
|
(=> (father ?CHILD ?FATHER) (attribute ?FATHER Male)) |
Merge.kif 15141-15143 |
|
consequent |
![]() |
![]() |
![]() |