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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitiveRelation

Sigma KEE - TransitiveRelation
TransitiveRelation(传递关系)

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


(disjoint TransitiveRelation IntransitiveRelation) Merge.kif 2468-2468 传递关系 和 % 2 是 disjoint
(documentation TransitiveRelation ChineseLanguage "一个 BinaryRelation ?REL 是传递关系 如果所有的 ?INST1, ?INST2和 ?INST3 是(?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?INST3) 意味着 (?REL ?INST1 ?INST3)。") Merge.kif 2472-2474
(documentation TransitiveRelation EnglishLanguage "A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.") Merge.kif 2469-2471
(subclass TransitiveRelation BinaryRelation) Merge.kif 2467-2467 传递关系二元关系subclass

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


(instance ancestor TransitiveRelation) Merge.kif 16569-16569 ancestor传递关系instance
(instance ancestorOrganization TransitiveRelation) Mid-level-ontology.kif 21928-21928 ancestorOrganization传递关系instance
(instance before TransitiveRelation) Merge.kif 8290-8290 之前传递关系instance
(instance brother TransitiveRelation) Merge.kif 16736-16736 brother传递关系instance
(instance conjugate TransitiveRelation) Mid-level-ontology.kif 6181-6181 conjugate传递关系instance
(instance covers TransitiveRelation) Mid-level-ontology.kif 27919-27919 covers传递关系instance
(instance crosses TransitiveRelation) Merge.kif 4335-4335 横过传递关系instance
(instance dependentGeopoliticalArea TransitiveRelation) Government.kif 446-446 dependentGeopoliticalArea传递关系instance
(instance developmentalForm TransitiveRelation) Merge.kif 14352-14352 发育形态传递关系instance
(instance during TransitiveRelation) Merge.kif 8424-8424 在这时间内传递关系instance
(instance earlier TransitiveRelation) Merge.kif 8471-8471 更早传递关系instance
(instance finishes TransitiveRelation) Merge.kif 8266-8266 完成传递关系instance
(instance flows TransitiveRelation) Geography.kif 5089-5089 flows传递关系instance
(instance geographicSubregion TransitiveRelation) Merge.kif 14043-14043 geographicSubregion传递关系instance
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 14093-14093 地缘政治分区传递关系instance
(instance greaterThan TransitiveRelation) Merge.kif 1909-1909 大于传递关系instance
(instance interiorPart TransitiveRelation) Merge.kif 9707-9707 内在部分传递关系instance
(instance larger TransitiveRelation) Merge.kif 7953-7953 更大传递关系instance
(instance lessThan TransitiveRelation) Merge.kif 1896-1896 少于传递关系instance
(instance located TransitiveRelation) Merge.kif 4195-4195 位于传递关系instance
(instance multiplicativeFactor TransitiveRelation) Merge.kif 5048-5048 multiplicativeFactor传递关系instance
(instance precondition TransitiveRelation) Merge.kif 4409-4409 先备条件传递关系instance
(instance properPart TransitiveRelation) Merge.kif 978-978 真正的部分传递关系instance
(instance sister TransitiveRelation) Merge.kif 16747-16747 sister传递关系instance
(instance smaller TransitiveRelation) Merge.kif 7976-7976 更小传递关系instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
        (=>
            (and
                (?REL ?INST1 ?INST2)
                (?REL ?INST2 ?INST3))
            (?REL ?INST1 ?INST3))))
Merge.kif 2476-2483

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


(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))
Merge.kif 3832-3837
(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))
Merge.kif 3768-3773


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