| 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 16171-16173 | |
| (domain ImmediateFamilyFn 1 Human) | Merge.kif 16169-16169 | The number 1 argument of immediate family is an instance of human |
| (instance ImmediateFamilyFn TotalValuedRelation) | Merge.kif 16168-16168 | Immediate family is an instance of total valued relation |
| (instance ImmediateFamilyFn UnaryFunction) | Merge.kif 16167-16167 | Immediate family is an instance of unary function |
| (range ImmediateFamilyFn FamilyGroup) | Merge.kif 16170-16170 | 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 29352-29352 | |
| (termFormat ChineseTraditionalLanguage ImmediateFamilyFn "直系親屬") | domainEnglishFormat.kif 29351-29351 | |
| (termFormat EnglishLanguage ImmediateFamilyFn "immediate family") | domainEnglishFormat.kif 29350-29350 |
| antecedent |
|
|
| (=> (equal (ImmediateFamilyFn ?P) ?FAMILY) (forall (?MEMBER) (=> (member ?MEMBER ?FAMILY) (exists (?OTHER) (or (parent ?MEMBER ?OTHER) (parent ?OTHER ?MEMBER)))))) |
Merge.kif 16175-16183 |
|
| (=> (equal (ImmediateFamilyFn ?PERSON) ?FAMILY) (exists (?MEMBER) (and (member ?MEMBER ?FAMILY) (or (parent ?MEMBER ?PERSON) (parent ?PERSON ?MEMBER))))) |
Merge.kif 16185-16192 |
|
|
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