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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntisymmetricRelation
AntisymmetricRelation(RelazioneAntisimmetrica)

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 2294-2299
(documentation AntisymmetricRelation JapaneseLanguage "BinaryRelation ?REL は、明確な ?INST1 および ?INST2 の場合は AR であり、(?REL ?INST1 ?INST2) は (?REL ?INST2 ?INST1) を意味 しない。つまり、すべての ?INST1 および ?INST2 に対して (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST1) は、?INST1 と ?INST2 が同一であることを意味する。 注: AntisymmetricRelationReflexiveRelation になる可能性がある。") japanese_format.kif 461-465
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2292-2292 RelazioneAntisimmetrica è una sottoclasse di RelazioneBinaria

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


(disjoint SymmetricRelation AntisymmetricRelation) Merge.kif 2261-2261 RelazioneSimmetrica è disgiunto da RelazioneAntisimmetrica
(instance keyName AntisymmetricRelation) Media.kif 3258-3258 keyName è un' istanza di RelazioneAntisimmetrica
(instance legalGuardian AntisymmetricRelation) Mid-level-ontology.kif 23429-23429 legalGuardian è un' istanza di RelazioneAntisimmetrica
(instance located AntisymmetricRelation) Merge.kif 4071-4071 located è un' istanza di RelazioneAntisimmetrica
(instance stored AntisymmetricRelation) Mid-level-ontology.kif 14375-14375 stored è un' istanza di RelazioneAntisimmetrica
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 24442-24442 subString è un' istanza di RelazioneAntisimmetrica
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2275-2275 RelazioneAsimmetrica è una sottoclasse di RelazioneAntisimmetrica
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2366-2366 RelazioneDiOrdineParziale è una sottoclasse di RelazioneAntisimmetrica
(termFormat ChineseLanguage AntisymmetricRelation "反对称关系") chinese_format.kif 897-897
(termFormat EnglishLanguage AntisymmetricRelation "antisymmetric relation") english_format.kif 996-996
(termFormat FrenchLanguage AntisymmetricRelation "relation antisym�trique") french_format.kif 573-573
(termFormat Hindi AntisymmetricRelation "saamanjasya-virodhi sambandha") terms-hindi.txt 103-103
(termFormat ItalianLanguage AntisymmetricRelation "RelazioneAntisimmetrica") terms-it.txt 106-106
(termFormat JapaneseLanguage AntisymmetricRelation "反対称関係") japanese_format.kif 2258-2258
(termFormat PortugueseLanguage AntisymmetricRelation "Relacao Anti-simetrica") portuguese_format.kif 525-525
(termFormat cz AntisymmetricRelation "antisymmetric relation") terms-cz.txt 140-140
(termFormat ro AntisymmetricRelation "relaþie antisimetricã") relations-ro.kif 594-594
(termFormat tg AntisymmetricRelation "") terms-tg.txt 107-107

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


(=>
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation))
    (instance ?REL AsymmetricRelation))
Merge.kif 2286-2290
(=>
    (instance ?REL AntisymmetricRelation)
    (forall (?INST1 ?INST2)
        (=>
            (and
                (?REL ?INST1 ?INST2)
                (?REL ?INST2 ?INST1))
            (equal ?INST1 ?INST2))))
Merge.kif 2301-2308

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


(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2280-2284
(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))
Merge.kif 3651-3656


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 is open source software produced by Articulate Software and its partners