| 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 2290-2295 | |
| (documentation AntisymmetricRelation JapaneseLanguage "BinaryRelation ?REL は、明確な ?INST1 および ?INST2 の場合は AR であり、(?REL ?INST1 ?INST2) は (?REL ?INST2 ?INST1) を意味 しない。つまり、すべての ?INST1 および ?INST2 に対して (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST1) は、?INST1 と ?INST2 が同一であることを意味する。 注： AntisymmetricRelation が ReflexiveRelation になる可能性がある。") | japanese_format.kif 461-465 | |
| (subclass AntisymmetricRelation BinaryRelation) | Merge.kif 2288-2288 | 反対称関係 は 2項関係 の subclass では |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation)) (instance ?REL AsymmetricRelation)) |
Merge.kif 2282-2286 | |
| (=> (instance ?REL AntisymmetricRelation) (forall (?INST1 ?INST2) (=> (and (?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)) (equal ?INST1 ?INST2)))) |
Merge.kif 2297-2304 |
| consequent |
|
|
| (=> (instance ?REL AsymmetricRelation) (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation))) |
Merge.kif 2276-2280 | |
| (=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation))) |
Merge.kif 3650-3655 |
|
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