Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| reflexiveOn |
| appearance as argument number 1 |
|
| (instance reflexiveOn BinaryPredicate) | Merge.kif 3713-3713 | reflexive on is an instance of binary predicate |
| (domain reflexiveOn 1 BinaryRelation) | Merge.kif 3714-3714 | The number 1 argument of reflexive on is an instance of binary relation |
| (domain reflexiveOn 2 Class) | Merge.kif 3715-3715 | The number 2 argument of reflexive on is an instance of class |
| (documentation reflexiveOn EnglishLanguage "A BinaryRelation is reflexive on a Class only if every instance of the Class bears the relation to itself.") | Merge.kif 3717-3719 | The number 2 argument of reflexive on is an instance of class |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage reflexiveOn "reflexive on") | domainEnglishFormat.kif 49131-49131 | |
| (termFormat ChineseTraditionalLanguage reflexiveOn "反思在") | domainEnglishFormat.kif 49132-49132 | |
| (termFormat ChineseLanguage reflexiveOn "反思在") | domainEnglishFormat.kif 49133-49133 | |
| (format EnglishLanguage reflexiveOn "%1 is %n reflexive on %2") | english_format.kif 180-180 |
| antecedent |
|
|
| (=> (and (instance ?RELATION ReflexiveRelation) (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (?RELATION ?INST ?INST)))) |
Merge.kif 3721-3729 | If X is an instance of reflexive relation, X is reflexive on Y, and X is an instance of predicate, then For all Entity Z: if Z is an instance of Y, then X Z and Z |
| consequent |
|
|
| (=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation))) |
Merge.kif 3759-3764 | If X is partial ordering on Y, then X is reflexive on Y, X is an instance of transitive relation, and X is an instance of antisymmetric relation |
| (=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS))) |
Merge.kif 3819-3824 | If X is an equivalence relation on Y, then X is an instance of transitive relation, X is an instance of symmetric relation, and X is reflexive on Y |
|