Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ImmediateFamilyFn |
| appearance as argument number 1 |
|
| (instance ImmediateFamilyFn UnaryFunction) | Merge.kif 16642-16642 | Immediate family is an instance of unary function |
| (instance ImmediateFamilyFn TotalValuedRelation) | Merge.kif 16643-16643 | Immediate family is an instance of total valued relation |
| (domain ImmediateFamilyFn 1 Human) | Merge.kif 16644-16644 | The number 1 argument of immediate family is an instance of human |
| (range ImmediateFamilyFn FamilyGroup) | Merge.kif 16645-16645 | The range of immediate family is an instance of family group |
| (documentation ImmediateFamilyFn EnglishLanguage "(ImmediateFamilyFn ?PERSON) denotes the immediate family of ?PERSON, i.e. the Group consisting of the parents of ?PERSON and anyone of whom ?PERSON is a parent.") | Merge.kif 16646-16648 | The range of immediate family is an instance of family group |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage ImmediateFamilyFn "the immediate family of %1") | domainEnglishFormat.kif 1247-1247 | |
| (format ChineseTraditionalLanguage ImmediateFamilyFn "%1 的 immediate 家庭") | domainEnglishFormat.kif 1248-1248 | |
| (format ChineseLanguage ImmediateFamilyFn "%1 的 immediate 家庭") | domainEnglishFormat.kif 1249-1249 | |
| (termFormat EnglishLanguage ImmediateFamilyFn "immediate family") | domainEnglishFormat.kif 29345-29345 | |
| (termFormat ChineseTraditionalLanguage ImmediateFamilyFn "直系親屬") | domainEnglishFormat.kif 29346-29346 | |
| (termFormat ChineseLanguage ImmediateFamilyFn "直系亲属") | domainEnglishFormat.kif 29347-29347 |
| antecedent |
|
|
| (=> (equal (ImmediateFamilyFn ?P) ?FAMILY) (forall (?MEMBER) (=> (member ?MEMBER ?FAMILY) (exists (?OTHER) (or (parent ?MEMBER ?OTHER) (parent ?OTHER ?MEMBER)))))) |
Merge.kif 16650-16658 | If equal the immediate family of X and Y, then For all Organism Z: if Z is a member of Y, then there exists W such that W is a parent of Z or Z is a parent of W |
| (=> (equal (ImmediateFamilyFn ?PERSON) ?FAMILY) (exists (?MEMBER) (and (member ?MEMBER ?FAMILY) (or (parent ?MEMBER ?PERSON) (parent ?PERSON ?MEMBER))))) |
Merge.kif 16660-16667 | If equal the immediate family of X and Y, then there exists Z such that Z is a member of Y and X is a parent of Z or Z is a parent of X |
|