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。") Merge.kif 2428-2432
(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 2422-2427
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2421-2421 subclass 反対称関係 and 2項関係

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


(disjoint SymmetricRelation AntisymmetricRelation) Merge.kif 2394-2394 disjoint 対称関係 and 反対称関係
(instance keyName AntisymmetricRelation) Media.kif 3212-3212 instance keyName and 反対称関係
(instance legalGuardian AntisymmetricRelation) Mid-level-ontology.kif 21286-21286 instance legalGuardian and 反対称関係
(instance located AntisymmetricRelation) Merge.kif 4194-4194 instance located and 反対称関係
(instance stored AntisymmetricRelation) Mid-level-ontology.kif 11965-11965 instance stored and 反対称関係
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 22134-22134 instance subString and 反対称関係
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2409-2409 subclass 非対称関係 and 反対称関係
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2504-2504 subclass 半順序関係 and 反対称関係
(termFormat ChineseLanguage AntisymmetricRelation "反对称关系") chinese_format.kif 897-897 termFormat ChineseLanguage, 反対称関係 and "反对称关系"
(termFormat EnglishLanguage AntisymmetricRelation "antisymmetric relation") english_format.kif 752-752 termFormat EnglishLanguage, 反対称関係 and "antisymmetric relation"
(termFormat JapaneseLanguage AntisymmetricRelation "反対称関係") english_format.kif 753-753 termFormat JapaneseLanguage, 反対称関係 and "反対称関係"

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


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

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


(<=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2415-2419 instance エンティティー and 非対称関係 instance エンティティー and 反対称関係 instance エンティティー and 非反射関係
(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))
Merge.kif 3768-3773


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