Knowledge base Browser - TransitiveRelation

appearance as argument number 1

(documentation TransitiveRelation EnglishLanguage "A binary relation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.")	Merge.kif 1888-1890
(subclass TransitiveRelation BinaryRelation)	Merge.kif 1887-1887	Transitive relation is a subclass of binary relation

appearance as argument number 2

(instance ancestor TransitiveRelation)	Merge.kif 13288-13288	ancestor is an instance of transitive relation
(instance ancestorOrganization TransitiveRelation)	Mid-level-ontology.kif 16978-16978	ancestor organization is an instance of transitive relation
(instance before TransitiveRelation)	Merge.kif 6623-6623	before is an instance of transitive relation
(instance brother TransitiveRelation)	Merge.kif 13421-13421	brother is an instance of transitive relation
(instance conjugate TransitiveRelation)	Mid-level-ontology.kif 3897-3897	conjugate is an instance of transitive relation
(instance crosses TransitiveRelation)	Merge.kif 3309-3309	crosses is an instance of transitive relation
(instance dependentGeopoliticalArea TransitiveRelation)	Government.kif 461-461	dependent geopolitical area is an instance of transitive relation
(instance developmentalForm TransitiveRelation)	Merge.kif 11508-11508	developmental form is an instance of transitive relation
(instance during TransitiveRelation)	Merge.kif 6739-6739	during is an instance of transitive relation
(instance earlier TransitiveRelation)	Merge.kif 6781-6781	earlier is an instance of transitive relation
(instance finishes TransitiveRelation)	Merge.kif 6603-6603	finishes is an instance of transitive relation
(instance flows TransitiveRelation)	Geography.kif 4997-4997	flows is an instance of transitive relation
(instance geographicSubregion TransitiveRelation)	Merge.kif 11263-11263	geographic subregion is an instance of transitive relation
(instance geopoliticalSubdivision TransitiveRelation)	Merge.kif 11308-11308	geopolitical subdivision is an instance of transitive relation
(instance greaterThan TransitiveRelation)	Merge.kif 1455-1455	greater than is an instance of transitive relation
(instance interiorPart TransitiveRelation)	Merge.kif 7673-7673	interior part is an instance of transitive relation
(instance larger TransitiveRelation)	Merge.kif 6334-6334	larger is an instance of transitive relation
(instance lessThan TransitiveRelation)	Merge.kif 1445-1445	less than is an instance of transitive relation
(instance located TransitiveRelation)	Merge.kif 3245-3245	located is an instance of transitive relation
(instance meronym TransitiveRelation)	engineering.kif 79-79	meronym is an instance of transitive relation
(instance multiplicativeFactor TransitiveRelation)	Merge.kif 3845-3845	multiplicative factor is an instance of transitive relation
(instance precondition TransitiveRelation)	Merge.kif 3369-3369	precondition is an instance of transitive relation
(instance properPart TransitiveRelation)	Merge.kif 807-807	proper part is an instance of transitive relation
(instance sister TransitiveRelation)	Merge.kif 13429-13429	sister is an instance of transitive relation
(instance smaller TransitiveRelation)	Merge.kif 6353-6353	smaller is an instance of transitive relation

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 1892-1899

An entity is an instance of transitive relation if and only if for all entity a entity and and a entity

if entity entity and entity and entity entity and entity
then entity entity and entity

consequent

(=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS)))	Merge.kif 2938-2943	If a binary predicate is equivalence relation on a set or class then binary predicate is an instance of transitive relation and binary predicate is an instance of symmetric relation and binary predicate is reflexive on set or class
(=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation)))	Merge.kif 2886-2891	If a binary predicate is partial ordering on a set or class then binary predicate is reflexive on set or class and binary predicate is an instance of transitive relation and binary predicate is an instance of antisymmetric relation

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners

KB Term:

English Word: