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


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Ra2En3En4Ra5Ra6Ra7RaFn

 Sigma KEE - AntisymmetricRelation
AntisymmetricRelation(antisymmetric relation)

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


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

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


(disjoint SymmetricRelation AntisymmetricRelation) Merge.kif 2371-2371 Symmetric relation is disjoint from antisymmetric relation
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2385-2385 Asymmetric relation is a subclass of antisymmetric relation
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2476-2476 Partial ordering relation is a subclass of antisymmetric relation
(instance located AntisymmetricRelation) Merge.kif 4176-4176 located is an instance of antisymmetric relation
(instance dataStored AntisymmetricRelation) Mid-level-ontology.kif 15952-15952 data stored is an instance of antisymmetric relation
(instance legalGuardian AntisymmetricRelation) Mid-level-ontology.kif 25695-25695 legal guardian is an instance of antisymmetric relation
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 26684-26684 sub string is an instance of antisymmetric relation
(instance tags AntisymmetricRelation) Facebook.kif 554-554 tags is an instance of antisymmetric relation
(instance keyName AntisymmetricRelation) Media.kif 3205-3205 key name is an instance of antisymmetric relation
(termFormat EnglishLanguage AntisymmetricRelation "antisymmetric relation") english_format.kif 1000-1000 key name is an instance of antisymmetric relation

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


(=>
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation))
    (instance ?REL AsymmetricRelation))		 Merge.kif 2396-2400 If X is an instance of antisymmetric relation and X is an instance of irreflexive relation, then X is an instance of asymmetric relation
(=>
    (instance ?REL AntisymmetricRelation)
    (forall (?INST1 ?INST2)
        (=>
            (and
                (?REL ?INST1 ?INST2)
                (?REL ?INST2 ?INST1))
            (equal ?INST1 ?INST2))))		 Merge.kif 2411-2418 If X is an instance of antisymmetric relation, then For all Entities Y and Z: if X Y and Z and X Z and Y, then equal Y and Z

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


(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))		 Merge.kif 2390-2394 If X is an instance of asymmetric relation, then X is an instance of antisymmetric relation and X is an instance of irreflexive relation
(=>
    (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


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