AntisymmetricRelation |
appearance as argument number 1 |
![]() |
(documentation AntisymmetricRelation ChineseLanguage "一个 BinaryRelation ?REL 是 AntisymmetricRelation 如果不同的 ?INST1 和 ?INST2 是(?REL ?INST1 ?INST2) 不意味着 (?REL ?INST2 ?INST1)。也就是说当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2)和 (?REL ?INST2 ?INST1) 意味着 ?INST1 和 ?INST2 是相同的。注:一个AntisymmetricRelation 有可能 是一个 ReflexiveRelation。") | chinese_format.kif 1841-1845 | |
(documentation AntisymmetricRelation EnglishLanguage "BinaryRelation ?REL is an AntisymmetricRelation if for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1). In other words, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical. Note that it is possible for an AntisymmetricRelation to be a ReflexiveRelation.") | Merge.kif 2200-2205 | |
(subclass AntisymmetricRelation BinaryRelation) | Merge.kif 2198-2198 |
appearance as argument number 2 |
![]() |
(disjoint SymmetricRelation AntisymmetricRelation) | Merge.kif 2173-2173 | |
(instance keyName AntisymmetricRelation) | Media.kif 3246-3246 | |
(instance legalGuardian AntisymmetricRelation) | Mid-level-ontology.kif 21330-21330 | |
(instance located AntisymmetricRelation) | Merge.kif 3929-3929 | |
(instance stored AntisymmetricRelation) | Mid-level-ontology.kif 11998-11998 | |
(instance subString AntisymmetricRelation) | Mid-level-ontology.kif 22178-22178 | |
(subclass AsymmetricRelation AntisymmetricRelation) | Merge.kif 2187-2187 | |
(subclass PartialOrderingRelation AntisymmetricRelation) | Merge.kif 2272-2272 | |
(termFormat ChineseLanguage AntisymmetricRelation "反对称关系") | chinese_format.kif 897-897 | |
(termFormat EnglishLanguage AntisymmetricRelation "antisymmetric relation") | english_format.kif 1001-1001 |
antecedent |
![]() |
(=> (instance ?REL AntisymmetricRelation) (forall (?INST1 ?INST2) (=> (and (?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)) (equal ?INST1 ?INST2)))) |
Merge.kif 2207-2214 |
consequent |
![]() |
(<=> (instance ?REL AsymmetricRelation) (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation))) |
Merge.kif 2192-2196 | |
(=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation))) |
Merge.kif 3535-3540 |
![]() |
![]() |