Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| brother |
| appearance as argument number 1 |
|
| (subrelation brother sibling) | Merge.kif 16858-16858 | brother is a subrelation of sibling |
| (instance brother IrreflexiveRelation) | Merge.kif 16859-16859 | brother is an instance of irreflexive relation |
| (instance brother TransitiveRelation) | Merge.kif 16860-16860 | brother is an instance of transitive relation |
| (instance brother PartialValuedRelation) | Merge.kif 16861-16861 | brother is an instance of partial valued relation |
| (domain brother 1 Man) | Merge.kif 16862-16862 | The number 1 argument of brother is an instance of man |
| (domain brother 2 Human) | Merge.kif 16863-16863 | The number 2 argument of brother is an instance of human |
| (documentation brother EnglishLanguage "The general relationship of being a brother. (brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.") | Merge.kif 16864-16865 | The number 2 argument of brother is an instance of human |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (uncle ?U ?H) (exists (?P) (and (brother ?U ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 25455-25460 | The uncle of X is Y if, only if there exists Z such that Y is the brother of Z, and Z is a parent of X |
| (=> (paternalUncle ?P ?UNC) (exists (?F) (and (father ?P ?F) (brother ?F ?UNC)))) |
ArabicCulture.kif 563-568 | If the paternal uncle of X is Y, then there exists Z such that Z is a father of X and Z is the brother of Y |
| (=> (maternalUncle ?P ?UNC) (exists (?M) (and (mother ?P ?M) (brother ?UNC ?M)))) |
ArabicCulture.kif 576-581 | If the maternal uncle of X is Y, then there exists Z such that Z is a mother of X and Y is the brother of Z |
| (=> (fathersBrothersWife ?P ?W) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 615-621 | If X is the father's brother's wife of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the wife of Y |
| (=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 629-635 | If the mother's brother's wife of X is Y, then there exist Z, W such that Z is a mother of X, Z is the brother of W, and W is the wife of Y |
| (=> (fathersBrothersSon ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 671-677 | If X is the father's brother's son of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the son of Y |
| (=> (fathersBrothersDaughter ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 685-691 | If X is the father's brother's daughter of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the daughter of Y |
| (=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 699-705 | If the mother's brother's son of X is Y, then there exist Z, W such that Z is a mother of X, Z is the brother of W, and W is the son of Y |
| (=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 713-719 | If the mother's brother's daughter of X is Y, then there exist Z, W such that Z is a mother of X, Z is the brother of W, and W is the daughter of Y |
|