Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AntisymmetricRelation
AntisymmetricRelation

appearance as argument number 1
-------------------------


(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2402-2402
(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 2404-2409

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


(disjoint SymmetricRelation AntisymmetricRelation) Merge.kif 2371-2371
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2385-2385
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2476-2476
(instance located AntisymmetricRelation) Merge.kif 4176-4176
(instance dataStored AntisymmetricRelation) Mid-level-ontology.kif 15952-15952
(instance legalGuardian AntisymmetricRelation) Mid-level-ontology.kif 25695-25695
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 26684-26684
(instance tags AntisymmetricRelation) Facebook.kif 554-554
(instance keyName AntisymmetricRelation) Media.kif 3205-3205
(termFormat EnglishLanguage AntisymmetricRelation "antisymmetric relation") english_format.kif 1000-1000

antecedent
-------------------------


(=>
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation))
    (instance ?REL AsymmetricRelation))		 Merge.kif 2396-2400
(=>
    (instance ?REL AntisymmetricRelation)
    (forall (?INST1 ?INST2)
        (=>
            (and
                (?REL ?INST1 ?INST2)
                (?REL ?INST2 ?INST1))
            (equal ?INST1 ?INST2))))		 Merge.kif 2411-2418

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


(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))		 Merge.kif 2390-2394
(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))		 Merge.kif 3759-3764


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners