| appearance as argument number 1 |
|
| (documentation brother ChineseLanguage "这是兄弟的概括关系。(brother ?MAN ?PERSON)的意思是 ?MAN 是 ?PERSON 兄弟。") | Merge.kif 16742-16743 | |
| (documentation brother EnglishLanguage "The general relationship of being a brother. (brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.") | Merge.kif 16740-16741 | |
| (domain brother 1 Man) | Merge.kif 16738-16738 | The number 1 argument of brother is an instance of man |
| (domain brother 2 Human) | Merge.kif 16739-16739 | The number 2 argument of brother is an instance of human |
| (instance brother IrreflexiveRelation) | Merge.kif 16735-16735 | brother is an instance of irreflexive relation |
| (instance brother PartialValuedRelation) | Merge.kif 16737-16737 | brother is an instance of partial valued relation |
| (instance brother TransitiveRelation) | Merge.kif 16736-16736 | brother is an instance of transitive relation |
| (subrelation brother sibling) | Merge.kif 16734-16734 | brother is a subrelation of sibling |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage brother "%1 is the brother of %2") | domainEnglishFormat.kif 739-739 | |
| (termFormat EnglishLanguage brother "brother") | domainEnglishFormat.kif 2445-2445 | "brother" is the printable form of brother in english language |
| consequent |
|
|
| (<=> (uncle ?U ?H) (exists (?P) (and (brother ?U ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 21033-21038 | The uncle of a human is a man if and only if there exists another human such that the man is the brother of the other human and the other human is a parent of the human |
| (=> (fathersBrothersDaughter ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 651-657 |
|
| (=> (fathersBrothersSon ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 639-645 |
|
| (=> (fathersBrothersWife ?P ?W) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 591-597 |
|
| (=> (maternalUncle ?P ?UNC) (exists (?M) (and (mother ?P ?M) (brother ?UNC ?M)))) |
ArabicCulture.kif 558-563 | |
| (=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 675-681 |
|
| (=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 663-669 |
|
| (=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 603-609 |
|
| (=> (paternalUncle ?P ?UNC) (exists (?F) (and (father ?P ?F) (brother ?F ?UNC)))) |
ArabicCulture.kif 547-552 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners