Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TransitiveRelation
TransitiveRelation(transitive relation)

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


(subclass TransitiveRelation BinaryRelation) Merge.kif 2443-2443 Transitive relation is a subclass of binary relation
(disjoint TransitiveRelation IntransitiveRelation) Merge.kif 2444-2444 Transitive relation is disjoint from intransitive relation
(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 2446-2448 Transitive relation is disjoint from intransitive relation

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


(instance successorAttributeClosure TransitiveRelation) Merge.kif 719-719 successor attribute closure is an instance of transitive relation
(instance properPart TransitiveRelation) Merge.kif 934-934 proper part is an instance of transitive relation
(instance lessThan TransitiveRelation) Merge.kif 1935-1935 less than is an instance of transitive relation
(instance greaterThan TransitiveRelation) Merge.kif 1947-1947 greater than is an instance of transitive relation
(subclass PartialOrderingRelation TransitiveRelation) Merge.kif 2475-2475 Partial ordering relation is a subclass of transitive relation
(subclass EquivalenceRelation TransitiveRelation) Merge.kif 2502-2502 Equivalence relation is a subclass of transitive relation
(instance located TransitiveRelation) Merge.kif 4177-4177 located is an instance of transitive relation
(instance crosses TransitiveRelation) Merge.kif 4311-4311 crosses is an instance of transitive relation
(instance precondition TransitiveRelation) Merge.kif 4406-4406 precondition is an instance of transitive relation
(instance subProposition TransitiveRelation) Merge.kif 4747-4747 sub proposition is an instance of transitive relation
(instance subPlan TransitiveRelation) Merge.kif 4768-4768 sub plan is an instance of transitive relation
(instance multiplicativeFactor TransitiveRelation) Merge.kif 5007-5007 multiplicative factor is an instance of transitive relation
(instance subGraph TransitiveRelation) Merge.kif 6016-6016 sub graph is an instance of transitive relation
(instance larger TransitiveRelation) Merge.kif 7928-7928 larger is an instance of transitive relation
(instance smaller TransitiveRelation) Merge.kif 7950-7950 smaller is an instance of transitive relation
(instance starts TransitiveRelation) Merge.kif 8208-8208 starts is an instance of transitive relation
(instance finishes TransitiveRelation) Merge.kif 8240-8240 finishes is an instance of transitive relation
(instance before TransitiveRelation) Merge.kif 8300-8300 before is an instance of transitive relation
(instance during TransitiveRelation) Merge.kif 8507-8507 during is an instance of transitive relation
(instance earlier TransitiveRelation) Merge.kif 8570-8570 earlier is an instance of transitive relation
(instance successorClass TransitiveRelation) Merge.kif 9214-9214 successor class is an instance of transitive relation
(instance superficialPart TransitiveRelation) Merge.kif 9877-9877 superficial part is an instance of transitive relation
(instance interiorPart TransitiveRelation) Merge.kif 9921-9921 interior part is an instance of transitive relation
(instance geographicSubregion TransitiveRelation) Merge.kif 14352-14352 geographic subregion is an instance of transitive relation
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 14402-14402 geopolitical subdivision is an instance of transitive relation

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 2450-2457 If X is an instance of transitive relation, then For all Entities Y, Z, and W: if X Y and Z and X Z and W, then X Y and W

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


(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))		 Merge.kif 3759-3764 If X is partial ordering on Y, then X is reflexive on Y, X is an instance of transitive relation, and X is an instance of antisymmetric relation
(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))		 Merge.kif 3819-3824 If X is an equivalence relation on Y, then X is an instance of transitive relation, X is an instance of symmetric relation, and X is reflexive on Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners