|
|
   ReflexiveRelation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ReflexiveRelation ChineseLanguage "Relation ?REL 属于自反关系当且仅当所有 ?INST 都是(?REL ?INST ?INST)。") | chinese_format.kif 1833-1834 | |
| (documentation ReflexiveRelation EnglishLanguage "Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.") | Merge.kif 2241-2242 | |
| (documentation ReflexiveRelation JapaneseLanguage "Relation ?REL は、すべての ?INST に対し (?REL ?INST ?INST) の場合のみ再帰的である。") | japanese_format.kif 453-454 | |
| (subclass ReflexiveRelation BinaryRelation) | Merge.kif 2239-2239 | 自反关系 是 二元关系 的 subclass |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?RELATION ReflexiveRelation) (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (?RELATION ?INST ?INST)))) |
Merge.kif 3611-3619 |
|
|
|