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 | The number 1 argument of father is an instance of organism |
(domain father 2 Organism) | Merge.kif 16427-16427 | The number 2 argument of father is an instance of organism |
(instance father BinaryPredicate) | Merge.kif 16420-16420 | father is an instance of binary predicate |
(instance father PartialValuedRelation) | Merge.kif 16419-16419 | father is an instance of partial valued relation |
(instance father SingleValuedRelation) | Merge.kif 16418-16418 | 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 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 |