Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntisymmetricRelation

Sigma KEE - AntisymmetricRelation
AntisymmetricRelation(antisymmetric relation)

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 2235-2240
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2233-2233 Antisymmetric relation is a subclass of binary relation

appearance as argument number 2
-------------------------


(disjoint SymmetricRelation AntisymmetricRelation) Merge.kif 2208-2208 Symmetric relation is disjoint from antisymmetric relation
(instance keyName AntisymmetricRelation) Media.kif 3246-3246 keyName is an instance of antisymmetric relation
(instance legalGuardian AntisymmetricRelation) Mid-level-ontology.kif 22468-22468 legal guardian is an instance of antisymmetric relation
(instance located AntisymmetricRelation) Merge.kif 3966-3966 located is an instance of antisymmetric relation
(instance stored AntisymmetricRelation) Mid-level-ontology.kif 13540-13540 stored is an instance of antisymmetric relation
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 23406-23406 subString is an instance of antisymmetric relation
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2222-2222 Asymmetric relation is a subclass of antisymmetric relation
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2307-2307 Partial ordering relation is a subclass of antisymmetric relation
(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 2242-2249

consequent
-------------------------


(<=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2227-2231 An entity is an instance of asymmetric relation if and only if the entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation
(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))
Merge.kif 3570-3575


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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