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 2246-2246
(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 2248-2250
(subclass TransitiveRelation BinaryRelation) Merge.kif 2245-2245

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


(instance ancestor TransitiveRelation) Merge.kif 15724-15724
(instance ancestorOrganization TransitiveRelation) Mid-level-ontology.kif 23552-23552
(instance before TransitiveRelation) Merge.kif 7831-7831
(instance brother TransitiveRelation) Merge.kif 15879-15879
(instance conjugate TransitiveRelation) Mid-level-ontology.kif 6136-6136
(instance connectedBodyPart TransitiveRelation) Mid-level-ontology.kif 11411-11411
(instance covers TransitiveRelation) Mid-level-ontology.kif 29102-29102
(instance crosses TransitiveRelation) Merge.kif 4067-4067
(instance dependentGeopoliticalArea TransitiveRelation) Government.kif 446-446
(instance developmentalForm TransitiveRelation) Merge.kif 13717-13717
(instance during TransitiveRelation) Merge.kif 7993-7993
(instance earlier TransitiveRelation) Merge.kif 8050-8050
(instance finishes TransitiveRelation) Merge.kif 7809-7809
(instance flows TransitiveRelation) Geography.kif 5234-5234
(instance geographicSubregion TransitiveRelation) Merge.kif 13454-13454
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 13499-13499
(instance greaterThan TransitiveRelation) Merge.kif 1762-1762
(instance interiorPart TransitiveRelation) Merge.kif 9332-9332
(instance larger TransitiveRelation) Merge.kif 7514-7514
(instance lessThan TransitiveRelation) Merge.kif 1750-1750
(instance located TransitiveRelation) Merge.kif 3939-3939
(instance multiplicativeFactor TransitiveRelation) Merge.kif 4716-4716
(instance precondition TransitiveRelation) Merge.kif 4146-4146
(instance properPart TransitiveRelation) Merge.kif 884-884
(instance sister TransitiveRelation) Merge.kif 15888-15888

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 2252-2259

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


(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))
Merge.kif 3599-3604
(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))
Merge.kif 3542-3547


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