| 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 16576-16577 | |
| (domain brother 1 Man) | Merge.kif 16574-16574 | 哥哥 的 1 数量 是 人 的 instance |
| (domain brother 2 Human) | Merge.kif 16575-16575 | 哥哥 的 2 数量 是 人类 的 instance |
| (instance brother IrreflexiveRelation) | Merge.kif 16571-16571 | 哥哥 是 非自反关系 的 instance |
| (instance brother PartialValuedRelation) | Merge.kif 16573-16573 | 哥哥 是 部分值关系 的 instance |
| (instance brother TransitiveRelation) | Merge.kif 16572-16572 | 哥哥 是 传递关系 的 instance |
| (subrelation brother sibling) | Merge.kif 16570-16570 | 哥哥 是 兄弟姐妹 的 subrelation |
| 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 23189-23194 | 人类 的 uncle 是 人 若且唯若 有存在 另一个 人类 这样 那个 人 是 那个 另外 人类 的 brother 和 那个 另外 人类 是 那个 人类 的 parent |
| (=> (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners