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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntisymmetricRelation
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 2194-2199
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2192-2192 subclass AntisymmetricRelation and BinaryRelation

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


(disjoint SymmetricRelation AntisymmetricRelation) Merge.kif 2167-2167 disjoint SymmetricRelation and AntisymmetricRelation
(instance keyName AntisymmetricRelation) Media.kif 3244-3244 instance keyName and AntisymmetricRelation
(instance legalGuardian AntisymmetricRelation) Mid-level-ontology.kif 21287-21287 instance legalGuardian and AntisymmetricRelation
(instance located AntisymmetricRelation) Merge.kif 3797-3797 instance located and AntisymmetricRelation
(instance stored AntisymmetricRelation) Mid-level-ontology.kif 11970-11970 instance stored and AntisymmetricRelation
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 22135-22135 instance subString and AntisymmetricRelation
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2181-2181 subclass AsymmetricRelation and AntisymmetricRelation
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2266-2266 subclass PartialOrderingRelation and AntisymmetricRelation
(termFormat ChineseLanguage AntisymmetricRelation "反对称关系") chinese_format.kif 897-897 termFormat ChineseLanguage, AntisymmetricRelation and "反对称关系"
(termFormat EnglishLanguage AntisymmetricRelation "antisymmetric relation") english_format.kif 1001-1001 termFormat EnglishLanguage, AntisymmetricRelation and "antisymmetric relation"

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


(=>
    (instance ?REL AntisymmetricRelation)
    (forall (?INST1 ?INST2)
        (=>
            (and
                (?REL ?INST1 ?INST2)
                (?REL ?INST2 ?INST1))
            (equal ?INST1 ?INST2))))
Merge.kif 2201-2208

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


(<=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2186-2190 instance Entity and AsymmetricRelation instance Entity and AntisymmetricRelation instance Entity and IrreflexiveRelation
(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))
Merge.kif 3403-3408


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners