brother |
appearance as argument number 1 |
(documentation brother ChineseLanguage "这是兄弟的概括关系。(brother ?MAN ?PERSON)的意思是 ?MAN 是 ?PERSON 兄弟。") | chinese_format.kif 3701-3702 | |
(documentation brother EnglishLanguage "The general relationship of being a brother. (brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.") | Merge.kif 16505-16506 | |
(domain brother 1 Man) | Merge.kif 16503-16503 | Die Zahl 1 Argument von brother ist ein fall von Man %n{nicht} |
(domain brother 2 Human) | Merge.kif 16504-16504 | Die Zahl 2 Argument von brother ist ein fall von Human %n{nicht} |
(instance brother IrreflexiveRelation) | Merge.kif 16500-16500 | brother ist ein fall von IrreflexiveRelation %n{nicht} |
(instance brother PartialValuedRelation) | Merge.kif 16502-16502 | brother ist ein fall von PartialValuedRelation %n{nicht} |
(instance brother TransitiveRelation) | Merge.kif 16501-16501 | brother ist ein fall von TransitiveRelation %n{nicht} |
(subrelation brother sibling) | Merge.kif 16499-16499 | brother ist eine teilrelation von sibling |
appearance as argument number 2 |
(format ChineseLanguage brother "%1 是 %2 的 brother ") | domainEnglishFormat.kif 2922-2922 | |
(format ChineseTraditionalLanguage brother "%1 是 %2 的 brother ") | domainEnglishFormat.kif 2921-2921 | |
(format EnglishLanguage brother "%1 is the brother of %2") | domainEnglishFormat.kif 2920-2920 | |
(termFormat ChineseLanguage brother "哥哥") | domainEnglishFormat.kif 12125-12125 | |
(termFormat ChineseTraditionalLanguage brother "哥哥") | domainEnglishFormat.kif 12124-12124 | |
(termFormat EnglishLanguage brother "brother") | domainEnglishFormat.kif 12123-12123 |
consequent |
(<=> (uncle ?U ?H) (exists (?P) (and (brother ?U ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 23137-23142 | uncle Man and Human genau dann wenn es gibt ** Human um brother ** Man and ** ** Human und ** ** Human ist das elterntiel von ** Human %n{nicht} |
(=> (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 | |
(=> (maternalUncle ?P ?UNC) (exists (?M) (and (mother ?P ?M) (brother ?UNC ?M)))) |
ArabicCulture.kif 573-578 |
|
(=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 690-696 |
|
(=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 678-684 |
|
(=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 618-624 | |
(=> (paternalUncle ?P ?UNC) (exists (?F) (and (father ?P ?F) (brother ?F ?UNC)))) |
ArabicCulture.kif 562-567 |
|