| appearance as argument number 1 |
|
| (documentation ImmediateFamilyFn ChineseLanguage "(ImmediateFamilyFn ?PERSON) 表示 ?PERSON 的直属家人，即是这个 Group 包括这个 ?PERSON 的 parent 和任何把这个 ?PERSON 当 parent 的人。") | chinese_format.kif 3677-3679 | |
| (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 16383-16385 | |
| (domain ImmediateFamilyFn 1 Human) | Merge.kif 16381-16381 | The number 1 argument of immediate family is an instance of human |
| (instance ImmediateFamilyFn TotalValuedRelation) | Merge.kif 16380-16380 | Immediate family is an instance of total valued relation |
| (instance ImmediateFamilyFn UnaryFunction) | Merge.kif 16379-16379 | Immediate family is an instance of unary function |
| (range ImmediateFamilyFn FamilyGroup) | Merge.kif 16382-16382 | The range of immediate family is an instance of family group |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage ImmediateFamilyFn "%1 的 immediate 家庭") | domainEnglishFormat.kif 1249-1249 | |
| (format ChineseTraditionalLanguage ImmediateFamilyFn "%1 的 immediate 家庭") | domainEnglishFormat.kif 1248-1248 | |
| (format EnglishLanguage ImmediateFamilyFn "the immediate family of %1") | domainEnglishFormat.kif 1247-1247 | |
| (termFormat ChineseLanguage ImmediateFamilyFn "直系亲属") | domainEnglishFormat.kif 29371-29371 | |
| (termFormat ChineseTraditionalLanguage ImmediateFamilyFn "直系親屬") | domainEnglishFormat.kif 29370-29370 | |
| (termFormat EnglishLanguage ImmediateFamilyFn "immediate family") | domainEnglishFormat.kif 29369-29369 |
| antecedent |
|
|
| (=> (equal (ImmediateFamilyFn ?P) ?FAMILY) (forall (?MEMBER) (=> (member ?MEMBER ?FAMILY) (exists (?OTHER) (or (parent ?MEMBER ?OTHER) (parent ?OTHER ?MEMBER)))))) |
Merge.kif 16387-16395 |
|
| (=> (equal (ImmediateFamilyFn ?PERSON) ?FAMILY) (exists (?MEMBER) (and (member ?MEMBER ?FAMILY) (or (parent ?MEMBER ?PERSON) (parent ?PERSON ?MEMBER))))) |
Merge.kif 16397-16404 |
|
|
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