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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransitiveRelation
TransitiveRelation(传递关系)

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


(disjoint TransitiveRelation IntransitiveRelation) Merge.kif 2280-2280 传递关系 和 % 2 是 disjoint
(documentation TransitiveRelation ChineseLanguage "一个 BinaryRelation ?REL 是传递关系 如果所有的 ?INST1, ?INST2和 ?INST3 是(?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?INST3) 意味着 (?REL ?INST1 ?INST3)。") chinese_format.kif 1848-1850
(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 2282-2284
(subclass TransitiveRelation BinaryRelation) Merge.kif 2279-2279 传递关系二元关系subclass

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


(instance ancestor TransitiveRelation) Merge.kif 16077-16077 祖先传递关系instance
(instance ancestorOrganization TransitiveRelation) Mid-level-ontology.kif 23604-23604 祖先组织传递关系instance
(instance before TransitiveRelation) Merge.kif 8008-8008 之前传递关系instance
(instance brother TransitiveRelation) Merge.kif 16232-16232 哥哥传递关系instance
(instance conjugate TransitiveRelation) Mid-level-ontology.kif 6166-6166 共轭传递关系instance
(instance connectedBodyPart TransitiveRelation) Mid-level-ontology.kif 11441-11441 connectedBodyPart传递关系instance
(instance covers TransitiveRelation) Mid-level-ontology.kif 29154-29154 covers传递关系instance
(instance crosses TransitiveRelation) Merge.kif 4115-4115 横过传递关系instance
(instance dependentGeopoliticalArea TransitiveRelation) Government.kif 457-457 依赖的地缘政治区域传递关系instance
(instance developmentalForm TransitiveRelation) Merge.kif 14059-14059 发育形态传递关系instance
(instance during TransitiveRelation) Merge.kif 8213-8213 在这时间内传递关系instance
(instance earlier TransitiveRelation) Merge.kif 8276-8276 更早传递关系instance
(instance finishes TransitiveRelation) Merge.kif 7976-7976 完成传递关系instance
(instance flows TransitiveRelation) Geography.kif 5323-5323 流动传递关系instance
(instance geographicSubregion TransitiveRelation) Merge.kif 13796-13796 地理分区域传递关系instance
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 13841-13841 地缘政治分区传递关系instance
(instance greaterThan TransitiveRelation) Merge.kif 1790-1790 大于传递关系instance
(instance interiorPart TransitiveRelation) Merge.kif 9602-9602 内在部分传递关系instance
(instance larger TransitiveRelation) Merge.kif 7659-7659 更大传递关系instance
(instance lessThan TransitiveRelation) Merge.kif 1778-1778 少于传递关系instance
(instance located TransitiveRelation) Merge.kif 3987-3987 位于传递关系instance
(instance multiplicativeFactor TransitiveRelation) Merge.kif 4805-4805 乘法因子传递关系instance
(instance precondition TransitiveRelation) Merge.kif 4208-4208 先备条件传递关系instance
(instance properPart TransitiveRelation) Merge.kif 908-908 真正的部分传递关系instance
(instance sister TransitiveRelation) Merge.kif 16241-16241 妹妹传递关系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 2286-2293

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


(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))
Merge.kif 3647-3652
(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))
Merge.kif 3584-3589


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