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 2189-2190 | |
(subclass ReflexiveRelation BinaryRelation) | Merge.kif 2187-2187 |
appearance as argument number 2 |
![]() |
(instance connected ReflexiveRelation) | Merge.kif 9410-9410 | |
(instance keyName ReflexiveRelation) | Media.kif 3263-3263 | |
(instance overlapsSpatially ReflexiveRelation) | Merge.kif 9485-9485 | |
(instance overlapsTemporally ReflexiveRelation) | Merge.kif 8137-8137 | |
(instance subGraph ReflexiveRelation) | Merge.kif 5802-5802 | |
(instance subString ReflexiveRelation) | Mid-level-ontology.kif 23856-23856 | |
(subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2342-2342 | |
(subclass PartialOrderingRelation ReflexiveRelation) | Merge.kif 2315-2315 | |
(termFormat ChineseLanguage ReflexiveRelation "自反关系") | chinese_format.kif 893-893 | |
(termFormat EnglishLanguage ReflexiveRelation "reflexive relation") | english_format.kif 988-988 |
antecedent |
![]() |
(=> (and (instance ?RELATION ReflexiveRelation) (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (?RELATION ?INST ?INST)))) |
Merge.kif 3546-3554 |
![]() |
![]() |