Browsing Interface
Home |  Graph |   ]

KB:  Language: 

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransitiveRelation
TransitiveRelation(transitive relation)transitive_relation, 传递关系

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


(disjoint TransitiveRelation IntransitiveRelation) Merge.kif 2403-2403 Transitive relation is disjoint from intransitive relation
(documentation TransitiveRelation ChineseLanguage "一个 BinaryRelation ?REL 是传递关系 如果所有的 ?INST1, ?INST2和 ?INST3 是(?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?INST3) 意味着 (?REL ?INST1 ?INST3)。") Merge.kif 2407-2409
(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 2404-2406
(subclass TransitiveRelation Abstract) SUMO_Cache.kif 15116-15116 Transitive relation is a subclass of abstract
(subclass TransitiveRelation BinaryRelation) Merge.kif 2402-2402 Transitive relation is a subclass of binary relation
(subclass TransitiveRelation Entity) SUMO_Cache.kif 15113-15113 Transitive relation is a subclass of entity
(subclass TransitiveRelation InheritableRelation) SUMO_Cache.kif 15115-15115 Transitive relation is a subclass of inheritable relation
(subclass TransitiveRelation Relation) SUMO_Cache.kif 15114-15114 Transitive relation is a subclass of relation

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


(instance abstractPart TransitiveRelation) SUMO_Cache.kif 113211-113211 part is an instance of transitive relation
(instance ancestor TransitiveRelation) Merge.kif 14584-14584 ancestor is an instance of transitive relation
(instance ancestorOrganization TransitiveRelation) Mid-level-ontology.kif 20966-20966 ancestor organization is an instance of transitive relation
(instance before TransitiveRelation) Merge.kif 7573-7573 before is an instance of transitive relation
(instance beforeOrEqual TransitiveRelation) SUMO_Cache.kif 175071-175071 before or equal is an instance of transitive relation
(instance brother TransitiveRelation) Merge.kif 14727-14727 brother is an instance of transitive relation
(instance conjugate TransitiveRelation) Mid-level-ontology.kif 5983-5983 conjugate is an instance of transitive relation
(instance cooccur TransitiveRelation) SUMO_Cache.kif 110465-110465 cooccur is an instance of transitive relation
(instance coordinates TransitiveRelation) SUMO_Cache.kif 152903-152903 coordinates is an instance of transitive relation
(instance copy TransitiveRelation) SUMO_Cache.kif 104766-104766 copy is an instance of transitive relation
(instance covers TransitiveRelation) Mid-level-ontology.kif 26932-26932 covers is an instance of transitive relation
(instance crosses TransitiveRelation) Merge.kif 4224-4224 crosses is an instance of transitive relation
(instance dependentGeopoliticalArea TransitiveRelation) Government.kif 446-446 dependent geopolitical area is an instance of transitive relation
(instance developmentalForm TransitiveRelation) Merge.kif 12697-12697 developmental form is an instance of transitive relation
(instance during TransitiveRelation) Merge.kif 7691-7691 during is an instance of transitive relation
(instance earlier TransitiveRelation) Merge.kif 7734-7734 earlier is an instance of transitive relation
(instance equal TransitiveRelation) SUMO_Cache.kif 168095-168095 equal is an instance of transitive relation
(instance equivalentContentClass TransitiveRelation) SUMO_Cache.kif 122649-122649 equivalent content class is an instance of transitive relation
(instance equivalentContentInstance TransitiveRelation) SUMO_Cache.kif 80266-80266 equivalent content instance is an instance of transitive relation
(instance finishes TransitiveRelation) Merge.kif 7552-7552 finishes is an instance of transitive relation
(instance flows TransitiveRelation) Geography.kif 5054-5054 flows is an instance of transitive relation
(instance geographicSubregion TransitiveRelation) Merge.kif 12435-12435 geographic subregion is an instance of transitive relation
(instance geometricPart TransitiveRelation) SUMO_Cache.kif 117485-117485 geometric part is an instance of transitive relation
(instance geopoliticalSubdivision TransitiveRelation) Merge.kif 12480-12480 geopolitical subdivision is an instance of transitive relation
(instance greaterThan TransitiveRelation) Merge.kif 1844-1844 greater than 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 2411-2418

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


(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))
Merge.kif 3758-3763
(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))
Merge.kif 3694-3699


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 2.99b (>= 2014/01/25) is open source software produced by Articulate Software and its partners