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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransitiveRelation
TransitiveRelation(transitive relation)

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


s__disjoint(s__TransitiveRelation,s__IntransitiveRelation)

Merge.kif 2235-2235 Transitive relation is disjoint from intransitive relation
s__documentation(s__TransitiveRelation,s__ChineseLanguage,'"一个 BinaryRelation ?REL 是传递关系 如果所有的 ?INST1, ?INST2和 ?INST3 是(?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?INST3) 意味着 (?REL ?INST1 ?INST3)。"')

chinese_format.kif 1848-1850
s__documentation(s__TransitiveRelation,s__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 2237-2239
s__subclass(s__TransitiveRelation,s__BinaryRelation)

s__instance(s__BinaryRelation,s__SetOrClass)

s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 2234-2234 Transitive relation is a subclass of binary relation

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


s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__ancestor__m,s__TransitiveRelation)

Merge.kif 15149-15149 ancestor is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__ancestorOrganization__m,s__TransitiveRelation)

Mid-level-ontology.kif 21941-21941 ancestor organization is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__before__m,s__TransitiveRelation)

Merge.kif 7631-7631 before is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__brother__m,s__TransitiveRelation)

Merge.kif 15303-15303 brother is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__conjugate__m,s__TransitiveRelation)

Mid-level-ontology.kif 6181-6181 conjugate is an instance of transitive relation
s__instance(s__covers__m,s__TransitiveRelation)

s__instance(s__TransitiveRelation,s__SetOrClass)

Mid-level-ontology.kif 27925-27925 covers is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__crosses__m,s__TransitiveRelation)

Merge.kif 4016-4016 crosses is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__dependentGeopoliticalArea__m,s__TransitiveRelation)

Government.kif 446-446 dependent geopolitical area is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__developmentalForm__m,s__TransitiveRelation)

Merge.kif 13258-13258 developmental form is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__during__m,s__TransitiveRelation)

Merge.kif 7757-7757 during is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__earlier__m,s__TransitiveRelation)

Merge.kif 7802-7802 earlier is an instance of transitive relation
s__instance(s__finishes__m,s__TransitiveRelation)

s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 7609-7609 finishes is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__flows__m,s__TransitiveRelation)

Geography.kif 5103-5103 flows is an instance of transitive relation
s__instance(s__geographicSubregion__m,s__TransitiveRelation)

s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 12995-12995 geographic subregion is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__geopoliticalSubdivision__m,s__TransitiveRelation)

Merge.kif 13040-13040 geopolitical subdivision is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__greaterThan__m,s__TransitiveRelation)

Merge.kif 1752-1752 greater than is an instance of transitive relation
s__instance(s__interiorPart__m,s__TransitiveRelation)

s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 9076-9076 interior part is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__larger__m,s__TransitiveRelation)

Merge.kif 7316-7316 larger is an instance of transitive relation
s__instance(s__lessThan__m,s__TransitiveRelation)

s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 1740-1740 less than is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__located__m,s__TransitiveRelation)

Merge.kif 3888-3888 located is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__multiplicativeFactor__m,s__TransitiveRelation)

Merge.kif 4652-4652 multiplicative factor is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__precondition__m,s__TransitiveRelation)

Merge.kif 4085-4085 precondition is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__properPart__m,s__TransitiveRelation)

Merge.kif 883-883 proper part is an instance of transitive relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__sister__m,s__TransitiveRelation)

Merge.kif 15312-15312 sister is an instance of transitive relation
s__instance(s__smaller__m,s__TransitiveRelation)

s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 7338-7338 smaller is an instance of transitive relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


s__instance(s__telecomAreaCode__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SymbolicString) &
       s__instance(V__INST2,s__TelecomNumber) &
       s__instance(V__INST3,s__TelecomNumber))
     =>
     (s__telecomAreaCode(V__INST1,V__INST2)
     &
     s__telecomAreaCode(V__INST2,V__INST3))
=>
s__telecomAreaCode(V__INST1,V__INST3)))

s__instance(s__routeInSystem__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Transitway) &
       s__instance(V__INST2,s__Transitway) &
       s__instance(V__INST2,s__TransitSystem) &
       s__instance(V__INST3,s__TransitSystem))
     =>
     (s__routeInSystem(V__INST1,V__INST2)
     &
     s__routeInSystem(V__INST2,V__INST3))
=>
s__routeInSystem(V__INST1,V__INST3)))

s__instance(s__subGraph__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Graph) &
       s__instance(V__INST2,s__Graph) &
       s__instance(V__INST3,s__Graph))
     =>
     (s__subGraph(V__INST1,V__INST2)
     &
     s__subGraph(V__INST2,V__INST3))
=>
s__subGraph(V__INST1,V__INST3)))

s__instance(s__precondition__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__subclass(V__INST1,s__Process) &
       s__subclass(V__INST2,s__Process) &
       s__subclass(V__INST3,s__Process))
     =>
     (s__precondition(V__INST1,V__INST2)
     &
     s__precondition(V__INST2,V__INST3))
=>
s__precondition(V__INST1,V__INST3)))

s__instance(s__abstractPart__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Abstract) &
       s__instance(V__INST2,s__Abstract) &
       s__instance(V__INST3,s__Abstract))
     =>
     (s__abstractPart(V__INST1,V__INST2)
     &
     s__abstractPart(V__INST2,V__INST3))
=>
s__abstractPart(V__INST1,V__INST3)))

s__instance(s__equivalentContentClass__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__subclass(V__INST1,s__ContentBearingPhysical) &
       s__subclass(V__INST2,s__ContentBearingPhysical) &
       s__subclass(V__INST3,s__ContentBearingPhysical))
     =>
     (s__equivalentContentClass(V__INST1,V__INST2)
     &
     s__equivalentContentClass(V__INST2,V__INST3))
=>
s__equivalentContentClass(V__INST1,V__INST3)))

s__instance(s__sister__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Woman) &
       s__instance(V__INST2,s__Woman) &
       s__instance(V__INST3,s__Human))
     =>
     (s__sister(V__INST1,V__INST2)
     &
     s__sister(V__INST2,V__INST3))
=>
s__sister(V__INST1,V__INST3)))

s__instance(s__properPart__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object))
     =>
     (s__properPart(V__INST1,V__INST2)
     &
     s__properPart(V__INST2,V__INST3))
=>
s__properPart(V__INST1,V__INST3)))

s__instance(s__subset__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Set) &
       s__instance(V__INST2,s__Set) &
       s__instance(V__INST3,s__Set))
     =>
     (s__subset(V__INST1,V__INST2)
     &
     s__subset(V__INST2,V__INST3))
=>
s__subset(V__INST1,V__INST3)))

s__instance(s__subrelation__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Relation) &
       s__instance(V__INST2,s__Relation) &
       s__instance(V__INST3,s__Relation))
     =>
     (s__subrelation(V__INST1,V__INST2)
     &
     s__subrelation(V__INST2,V__INST3))
=>
s__subrelation(V__INST1,V__INST3)))

s__instance(s__equivalentContentInstance__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__ContentBearingPhysical) &
       s__instance(V__INST2,s__ContentBearingPhysical) &
       s__instance(V__INST3,s__ContentBearingPhysical))
     =>
     (s__equivalentContentInstance(V__INST1,V__INST2)
     &
     s__equivalentContentInstance(V__INST2,V__INST3))
=>
s__equivalentContentInstance(V__INST1,V__INST3)))

s__instance(s__capitalCity__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__City) &
       s__instance(V__INST2,s__City) &
       s__instance(V__INST3,s__GeopoliticalArea))
     =>
     (s__capitalCity(V__INST1,V__INST2)
     &
     s__capitalCity(V__INST2,V__INST3))
=>
s__capitalCity(V__INST1,V__INST3)))

s__instance(s__properlyFills__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Hole) &
       s__instance(V__INST3,s__Hole))
     =>
     (s__properlyFills(V__INST1,V__INST2)
     &
     s__properlyFills(V__INST2,V__INST3))
=>
s__properlyFills(V__INST1,V__INST3)))

s__instance(s__covers__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object) &
       s__instance(V__INST3,s__Object))
     =>
     (s__covers(V__INST1,V__INST2)
     &
     s__covers(V__INST2,V__INST3))
=>
s__covers(V__INST1,V__INST3)))

s__instance(s__beforeOrEqual__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__TimePoint) &
       s__instance(V__INST2,s__TimePoint) &
       s__instance(V__INST3,s__TimePoint))
     =>
     (s__beforeOrEqual(V__INST1,V__INST2)
     &
     s__beforeOrEqual(V__INST2,V__INST3))
=>
s__beforeOrEqual(V__INST1,V__INST3)))

s__instance(s__coordinates__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Process) &
       s__instance(V__INST2,s__Process) &
       s__instance(V__INST3,s__Process))
     =>
     (s__coordinates(V__INST1,V__INST2)
     &
     s__coordinates(V__INST2,V__INST3))
=>
s__coordinates(V__INST1,V__INST3)))

s__instance(s__surface__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SelfConnectedObject) &
       s__instance(V__INST2,s__SelfConnectedObject) &
       s__instance(V__INST3,s__SelfConnectedObject))
     =>
     (s__surface(V__INST1,V__INST2)
     &
     s__surface(V__INST2,V__INST3))
=>
s__surface(V__INST1,V__INST3)))

s__instance(s__interiorPart__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object))
     =>
     (s__interiorPart(V__INST1,V__INST2)
     &
     s__interiorPart(V__INST2,V__INST3))
=>
s__interiorPart(V__INST1,V__INST3)))

s__instance(s__subPlan__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Plan) &
       s__instance(V__INST2,s__Plan) &
       s__instance(V__INST3,s__Plan))
     =>
     (s__subPlan(V__INST1,V__INST2)
     &
     s__subPlan(V__INST2,V__INST3))
=>
s__subPlan(V__INST1,V__INST3)))

s__instance(s__lessThanOrEqualTo__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Quantity) &
       s__instance(V__INST2,s__Quantity) &
       s__instance(V__INST3,s__Quantity))
     =>
     (s__lessThanOrEqualTo(V__INST1,V__INST2)
     &
     s__lessThanOrEqualTo(V__INST2,V__INST3))
=>
s__lessThanOrEqualTo(V__INST1,V__INST3)))

s__instance(s__subLanguage__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Language) &
       s__instance(V__INST2,s__Language) &
       s__instance(V__INST3,s__Language))
     =>
     (s__subLanguage(V__INST1,V__INST2)
     &
     s__subLanguage(V__INST2,V__INST3))
=>
s__subLanguage(V__INST1,V__INST3)))

s__instance(s__subField__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__FieldOfStudy) &
       s__instance(V__INST2,s__FieldOfStudy) &
       s__instance(V__INST3,s__FieldOfStudy))
     =>
     (s__subField(V__INST1,V__INST2)
     &
     s__subField(V__INST2,V__INST3))
=>
s__subField(V__INST1,V__INST3)))

s__instance(s__lessThan__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Quantity) &
       s__instance(V__INST2,s__Quantity) &
       s__instance(V__INST3,s__Quantity))
     =>
     (s__lessThan(V__INST1,V__INST2)
     &
     s__lessThan(V__INST2,V__INST3))
=>
s__lessThan(V__INST1,V__INST3)))

s__instance(s__physicalEnd__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object) &
       s__instance(V__INST3,s__Object))
     =>
     (s__physicalEnd(V__INST1,V__INST2)
     &
     s__physicalEnd(V__INST2,V__INST3))
=>
s__physicalEnd(V__INST1,V__INST3)))

s__instance(s__postCountry__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__PostalPlace) &
       s__instance(V__INST2,s__GeopoliticalArea) &
       s__instance(V__INST2,s__PostalPlace) &
       s__instance(V__INST3,s__GeopoliticalArea))
     =>
     (s__postCountry(V__INST1,V__INST2)
     &
     s__postCountry(V__INST2,V__INST3))
=>
s__postCountry(V__INST1,V__INST3)))

s__instance(s__half__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object))
     =>
     (s__half(V__INST1,V__INST2)
     &
     s__half(V__INST2,V__INST3))
=>
s__half(V__INST1,V__INST3)))

s__instance(s__pointOfFigure__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__GeometricPoint) &
       s__instance(V__INST2,s__GeometricPoint) &
       s__instance(V__INST3,s__GeometricFigure))
     =>
     (s__pointOfFigure(V__INST1,V__INST2)
     &
     s__pointOfFigure(V__INST2,V__INST3))
=>
s__pointOfFigure(V__INST1,V__INST3)))

s__instance(s__tributary__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Physical) &
       s__instance(V__INST2,s__Physical))
     =>
     (s__tributary(V__INST1,V__INST2)
     &
     s__tributary(V__INST2,V__INST3))
=>
s__tributary(V__INST1,V__INST3)))

s__instance(s__piece__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Substance) &
       s__instance(V__INST2,s__Substance) &
       s__instance(V__INST3,s__Substance))
     =>
     (s__piece(V__INST1,V__INST2)
     &
     s__piece(V__INST2,V__INST3))
=>
s__piece(V__INST1,V__INST3)))

s__instance(s__conjugate__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__CompoundSubstance) &
       s__instance(V__INST2,s__CompoundSubstance) &
       s__instance(V__INST3,s__CompoundSubstance))
     =>
     (s__conjugate(V__INST1,V__INST2)
     &
     s__conjugate(V__INST2,V__INST3))
=>
s__conjugate(V__INST1,V__INST3)))

s__instance(s__larger__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object) &
       s__instance(V__INST3,s__Object))
     =>
     (s__larger(V__INST1,V__INST2)
     &
     s__larger(V__INST2,V__INST3))
=>
s__larger(V__INST1,V__INST3)))

s__instance(s__smaller__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object) &
       s__instance(V__INST3,s__Object))
     =>
     (s__smaller(V__INST1,V__INST2)
     &
     s__smaller(V__INST2,V__INST3))
=>
s__smaller(V__INST1,V__INST3)))

s__instance(s__multiplicativeFactor__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Integer) &
       s__instance(V__INST2,s__Integer) &
       s__instance(V__INST3,s__Integer))
     =>
     (s__multiplicativeFactor(V__INST1,V__INST2)
     &
     s__multiplicativeFactor(V__INST2,V__INST3))
=>
s__multiplicativeFactor(V__INST1,V__INST3)))

s__instance(s__dependentGeopoliticalArea__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__GeopoliticalArea) &
       s__instance(V__INST2,s__GeopoliticalArea) &
       s__instance(V__INST3,s__GeopoliticalArea))
     =>
     (s__dependentGeopoliticalArea(V__INST1,V__INST2)
     &
     s__dependentGeopoliticalArea(V__INST2,V__INST3))
=>
s__dependentGeopoliticalArea(V__INST1,V__INST3)))

s__instance(s__subCollection__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Collection) &
       s__instance(V__INST2,s__Collection) &
       s__instance(V__INST3,s__Collection))
     =>
     (s__subCollection(V__INST1,V__INST2)
     &
     s__subCollection(V__INST2,V__INST3))
=>
s__subCollection(V__INST1,V__INST3)))

s__instance(s__ancestorOrganization__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Organization) &
       s__instance(V__INST2,s__Organization) &
       s__instance(V__INST3,s__Organization))
     =>
     (s__ancestorOrganization(V__INST1,V__INST2)
     &
     s__ancestorOrganization(V__INST2,V__INST3))
=>
s__ancestorOrganization(V__INST1,V__INST3)))

s__instance(s__superficialPart__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object) &
       s__instance(V__INST3,s__Object))
     =>
     (s__superficialPart(V__INST1,V__INST2)
     &
     s__superficialPart(V__INST2,V__INST3))
=>
s__superficialPart(V__INST1,V__INST3)))

s__instance(s__initialList__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__List) &
       s__instance(V__INST2,s__List))
     =>
     (s__initialList(V__INST1,V__INST2)
     &
     s__initialList(V__INST2,V__INST3))
=>
s__initialList(V__INST1,V__INST3)))

s__instance(s__pathInSystem__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Transitway) &
       s__instance(V__INST2,s__Transitway) &
       s__instance(V__INST2,s__TransitSystem) &
       s__instance(V__INST3,s__TransitSystem))
     =>
     (s__pathInSystem(V__INST1,V__INST2)
     &
     s__pathInSystem(V__INST2,V__INST3))
=>
s__pathInSystem(V__INST1,V__INST3)))

s__instance(s__geopoliticalSubdivision__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__GeopoliticalArea) &
       s__instance(V__INST2,s__GeopoliticalArea) &
       s__instance(V__INST3,s__GeopoliticalArea))
     =>
     (s__geopoliticalSubdivision(V__INST1,V__INST2)
     &
     s__geopoliticalSubdivision(V__INST2,V__INST3))
=>
s__geopoliticalSubdivision(V__INST1,V__INST3)))

s__instance(s__crosses__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object))
     =>
     (s__crosses(V__INST1,V__INST2)
     &
     s__crosses(V__INST2,V__INST3))
=>
s__crosses(V__INST1,V__INST3)))

s__instance(s__flows__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Physical) &
       s__instance(V__INST2,s__Physical) &
       s__instance(V__INST3,s__Physical))
     =>
     (s__flows(V__INST1,V__INST2)
     &
     s__flows(V__INST2,V__INST3))
=>
s__flows(V__INST1,V__INST3)))

s__instance(s__located__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Physical) &
       s__instance(V__INST2,s__Object) &
       s__instance(V__INST3,s__Object))
     =>
     (s__located(V__INST1,V__INST2)
     &
     s__located(V__INST2,V__INST3))
=>
s__located(V__INST1,V__INST3)))

s__instance(s__geometricPart__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__GeometricFigure) &
       s__instance(V__INST2,s__GeometricFigure) &
       s__instance(V__INST3,s__GeometricFigure))
     =>
     (s__geometricPart(V__INST1,V__INST2)
     &
     s__geometricPart(V__INST2,V__INST3))
=>
s__geometricPart(V__INST1,V__INST3)))

s__instance(s__subclass__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SetOrClass) &
       s__instance(V__INST2,s__SetOrClass) &
       s__instance(V__INST3,s__SetOrClass))
     =>
     (s__subclass(V__INST1,V__INST2)
     &
     s__subclass(V__INST2,V__INST3))
=>
s__subclass(V__INST1,V__INST3)))

s__instance(s__postCity__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__PostalPlace) &
       s__instance(V__INST2,s__City) &
       s__instance(V__INST2,s__PostalPlace) &
       s__instance(V__INST3,s__City))
     =>
     (s__postCity(V__INST1,V__INST2)
     &
     s__postCity(V__INST2,V__INST3))
=>
s__postCity(V__INST1,V__INST3)))

s__instance(s__most__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object))
     =>
     (s__most(V__INST1,V__INST2)
     &
     s__most(V__INST2,V__INST3))
=>
s__most(V__INST1,V__INST3)))

s__instance(s__successorClass__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SetOrClass) &
       s__instance(V__INST2,s__SetOrClass) &
       s__instance(V__INST3,s__SetOrClass))
     =>
     (s__successorClass(V__INST1,V__INST2)
     &
     s__successorClass(V__INST2,V__INST3))
=>
s__successorClass(V__INST1,V__INST3)))

s__instance(s__version__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__subclass(V__INST1,s__Artifact) &
       s__subclass(V__INST2,s__Artifact) &
       s__subclass(V__INST3,s__Artifact))
     =>
     (s__version(V__INST1,V__INST2)
     &
     s__version(V__INST2,V__INST3))
=>
s__version(V__INST1,V__INST3)))

s__instance(s__onboard__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SelfConnectedObject) &
       s__instance(V__INST2,s__Vehicle) &
       s__instance(V__INST2,s__SelfConnectedObject) &
       s__instance(V__INST3,s__Vehicle))
     =>
     (s__onboard(V__INST1,V__INST2)
     &
     s__onboard(V__INST2,V__INST3))
=>
s__onboard(V__INST1,V__INST3)))

s__instance(s__earlier__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__TimeInterval) &
       s__instance(V__INST2,s__TimeInterval) &
       s__instance(V__INST3,s__TimeInterval))
     =>
     (s__earlier(V__INST1,V__INST2)
     &
     s__earlier(V__INST2,V__INST3))
=>
s__earlier(V__INST1,V__INST3)))

s__instance(s__ancestor__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Organism) &
       s__instance(V__INST2,s__Organism) &
       s__instance(V__INST3,s__Organism))
     =>
     (s__ancestor(V__INST1,V__INST2)
     &
     s__ancestor(V__INST2,V__INST3))
=>
s__ancestor(V__INST1,V__INST3)))

s__instance(s__cooccur__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Physical) &
       s__instance(V__INST2,s__Physical) &
       s__instance(V__INST3,s__Physical))
     =>
     (s__cooccur(V__INST1,V__INST2)
     &
     s__cooccur(V__INST2,V__INST3))
=>
s__cooccur(V__INST1,V__INST3)))

s__instance(s__side__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SelfConnectedObject) &
       s__instance(V__INST2,s__SelfConnectedObject) &
       s__instance(V__INST3,s__SelfConnectedObject))
     =>
     (s__side(V__INST1,V__INST2)
     &
     s__side(V__INST2,V__INST3))
=>
s__side(V__INST1,V__INST3)))

s__instance(s__engineeringSubcomponent__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__EngineeringComponent) &
       s__instance(V__INST2,s__EngineeringComponent) &
       s__instance(V__INST3,s__EngineeringComponent))
     =>
     (s__engineeringSubcomponent(V__INST1,V__INST2)
     &
     s__engineeringSubcomponent(V__INST2,V__INST3))
=>
s__engineeringSubcomponent(V__INST1,V__INST3)))

s__instance(s__starts__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__TimeInterval) &
       s__instance(V__INST2,s__TimeInterval) &
       s__instance(V__INST3,s__TimeInterval))
     =>
     (s__starts(V__INST1,V__INST2)
     &
     s__starts(V__INST2,V__INST3))
=>
s__starts(V__INST1,V__INST3)))

s__instance(s__partiallyFills__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Hole) &
       s__instance(V__INST3,s__Hole))
     =>
     (s__partiallyFills(V__INST1,V__INST2)
     &
     s__partiallyFills(V__INST2,V__INST3))
=>
s__partiallyFills(V__INST1,V__INST3)))

s__instance(s__headquartersOfOrganization__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Organization) &
       s__instance(V__INST2,s__Organization) &
       s__instance(V__INST2,s__GeopoliticalArea) &
       s__instance(V__INST3,s__GeopoliticalArea))
     =>
     (s__headquartersOfOrganization(V__INST1,V__INST2)
     &
     s__headquartersOfOrganization(V__INST2,V__INST3))
=>
s__headquartersOfOrganization(V__INST1,V__INST3)))

s__instance(s__postPostcodeArea__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__PostalPlace) &
       s__instance(V__INST2,s__PostcodeArea) &
       s__instance(V__INST2,s__PostalPlace) &
       s__instance(V__INST3,s__PostcodeArea))
     =>
     (s__postPostcodeArea(V__INST1,V__INST2)
     &
     s__postPostcodeArea(V__INST2,V__INST3))
=>
s__postPostcodeArea(V__INST1,V__INST3)))

s__instance(s__geneticSubstrateOfVirus__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Virus) &
       s__instance(V__INST2,s__Virus) &
       s__instance(V__INST2,s__Molecule) &
       s__instance(V__INST3,s__Molecule))
     =>
     (s__geneticSubstrateOfVirus(V__INST1,V__INST2)
     &
     s__geneticSubstrateOfVirus(V__INST2,V__INST3))
=>
s__geneticSubstrateOfVirus(V__INST1,V__INST3)))

s__instance(s__chamberOfLegislature__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Organization) &
       s__instance(V__INST2,s__Organization) &
       s__instance(V__INST3,s__Organization))
     =>
     (s__chamberOfLegislature(V__INST1,V__INST2)
     &
     s__chamberOfLegislature(V__INST2,V__INST3))
=>
s__chamberOfLegislature(V__INST1,V__INST3)))

s__instance(s__finishes__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__TimeInterval) &
       s__instance(V__INST2,s__TimeInterval) &
       s__instance(V__INST3,s__TimeInterval))
     =>
     (s__finishes(V__INST1,V__INST2)
     &
     s__finishes(V__INST2,V__INST3))
=>
s__finishes(V__INST1,V__INST3)))

s__instance(s__subList__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__List) &
       s__instance(V__INST2,s__List) &
       s__instance(V__INST3,s__List))
     =>
     (s__subList(V__INST1,V__INST2)
     &
     s__subList(V__INST2,V__INST3))
=>
s__subList(V__INST1,V__INST3)))

s__instance(s__temporalPart__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__TimePosition) &
       s__instance(V__INST2,s__TimePosition) &
       s__instance(V__INST3,s__TimePosition))
     =>
     (s__temporalPart(V__INST1,V__INST2)
     &
     s__temporalPart(V__INST2,V__INST3))
=>
s__temporalPart(V__INST1,V__INST3)))

s__instance(s__before__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__TimePoint) &
       s__instance(V__INST2,s__TimePoint) &
       s__instance(V__INST3,s__TimePoint))
     =>
     (s__before(V__INST1,V__INST2)
     &
     s__before(V__INST2,V__INST3))
=>
s__before(V__INST1,V__INST3)))

s__instance(s__subString__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SymbolicString) &
       s__instance(V__INST2,s__SymbolicString) &
       s__instance(V__INST3,s__SymbolicString))
     =>
     (s__subString(V__INST1,V__INST2)
     &
     s__subString(V__INST2,V__INST3))
=>
s__subString(V__INST1,V__INST3)))

s__instance(s__developmentalForm__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__OrganicObject) &
       s__instance(V__INST2,s__OrganicObject) &
       s__instance(V__INST2,s__DevelopmentalAttribute) &
       s__instance(V__INST3,s__DevelopmentalAttribute))
     =>
     (s__developmentalForm(V__INST1,V__INST2)
     &
     s__developmentalForm(V__INST2,V__INST3))
=>
s__developmentalForm(V__INST1,V__INST3)))

s__instance(s__postDistrict__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__PostalPlace) &
       s__instance(V__INST2,s__StateOrProvince) &
       s__instance(V__INST2,s__PostalPlace) &
       s__instance(V__INST3,s__StateOrProvince))
     =>
     (s__postDistrict(V__INST1,V__INST2)
     &
     s__postDistrict(V__INST2,V__INST3))
=>
s__postDistrict(V__INST1,V__INST3)))

s__instance(s__top__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SelfConnectedObject) &
       s__instance(V__INST2,s__SelfConnectedObject) &
       s__instance(V__INST3,s__SelfConnectedObject))
     =>
     (s__top(V__INST1,V__INST2)
     &
     s__top(V__INST2,V__INST3))
=>
s__top(V__INST1,V__INST3)))

s__instance(s__brother__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Man) &
       s__instance(V__INST2,s__Man) &
       s__instance(V__INST3,s__Human))
     =>
     (s__brother(V__INST1,V__INST2)
     &
     s__brother(V__INST2,V__INST3))
=>
s__brother(V__INST1,V__INST3)))

s__instance(s__telecomCoreNumber__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SymbolicString) &
       s__instance(V__INST2,s__TelecomNumber) &
       s__instance(V__INST3,s__TelecomNumber))
     =>
     (s__telecomCoreNumber(V__INST1,V__INST2)
     &
     s__telecomCoreNumber(V__INST2,V__INST3))
=>
s__telecomCoreNumber(V__INST1,V__INST3)))

s__instance(s__streamOutfall__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__WaterArea) &
       s__instance(V__INST2,s__River) &
       s__instance(V__INST3,s__River))
     =>
     (s__streamOutfall(V__INST1,V__INST2)
     &
     s__streamOutfall(V__INST2,V__INST3))
=>
s__streamOutfall(V__INST1,V__INST3)))

s__instance(s__copy__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object) &
       s__instance(V__INST3,s__Object))
     =>
     (s__copy(V__INST1,V__INST2)
     &
     s__copy(V__INST2,V__INST3))
=>
s__copy(V__INST1,V__INST3)))

s__instance(s__quarter__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object))
     =>
     (s__quarter(V__INST1,V__INST2)
     &
     s__quarter(V__INST2,V__INST3))
=>
s__quarter(V__INST1,V__INST3)))

s__instance(s__successorAttributeClosure__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Attribute) &
       s__instance(V__INST2,s__Attribute) &
       s__instance(V__INST3,s__Attribute))
     =>
     (s__successorAttributeClosure(V__INST1,V__INST2)
     &
     s__successorAttributeClosure(V__INST2,V__INST3))
=>
s__successorAttributeClosure(V__INST1,V__INST3)))

s__instance(s__geographicSubregion__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__GeographicArea) &
       s__instance(V__INST2,s__GeographicArea) &
       s__instance(V__INST3,s__GeographicArea))
     =>
     (s__geographicSubregion(V__INST1,V__INST2)
     &
     s__geographicSubregion(V__INST2,V__INST3))
=>
s__geographicSubregion(V__INST1,V__INST3)))

s__instance(s__inString__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Character) &
       s__instance(V__INST2,s__Character) &
       s__instance(V__INST3,s__SymbolicString))
     =>
     (s__inString(V__INST1,V__INST2)
     &
     s__inString(V__INST2,V__INST3))
=>
s__inString(V__INST1,V__INST3)))

s__instance(s__identicalListItems__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__List) &
       s__instance(V__INST2,s__List) &
       s__instance(V__INST3,s__List))
     =>
     (s__identicalListItems(V__INST1,V__INST2)
     &
     s__identicalListItems(V__INST2,V__INST3))
=>
s__identicalListItems(V__INST1,V__INST3)))

s__instance(s__sideOfFigure__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__OneDimensionalFigure) &
       s__instance(V__INST2,s__OneDimensionalFigure) &
       s__instance(V__INST3,s__GeometricFigure))
     =>
     (s__sideOfFigure(V__INST1,V__INST2)
     &
     s__sideOfFigure(V__INST2,V__INST3))
=>
s__sideOfFigure(V__INST1,V__INST3)))

s__instance(s__bottom__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SelfConnectedObject) &
       s__instance(V__INST2,s__SelfConnectedObject) &
       s__instance(V__INST3,s__SelfConnectedObject))
     =>
     (s__bottom(V__INST1,V__INST2)
     &
     s__bottom(V__INST2,V__INST3))
=>
s__bottom(V__INST1,V__INST3)))

s__instance(s__subProcess__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Process) &
       s__instance(V__INST2,s__Process) &
       s__instance(V__INST3,s__Process))
     =>
     (s__subProcess(V__INST1,V__INST2)
     &
     s__subProcess(V__INST2,V__INST3))
=>
s__subProcess(V__INST1,V__INST3)))

s__instance(s__greaterThan__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Quantity) &
       s__instance(V__INST2,s__Quantity) &
       s__instance(V__INST3,s__Quantity))
     =>
     (s__greaterThan(V__INST1,V__INST2)
     &
     s__greaterThan(V__INST2,V__INST3))
=>
s__greaterThan(V__INST1,V__INST3)))

s__instance(s__part__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object) &
       s__instance(V__INST3,s__Object))
     =>
     (s__part(V__INST1,V__INST2)
     &
     s__part(V__INST2,V__INST3))
=>
s__part(V__INST1,V__INST3)))

s__instance(s__keyName__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SymbolicString) &
       s__instance(V__INST2,s__SymbolicString) &
       s__instance(V__INST3,s__SymbolicString))
     =>
     (s__keyName(V__INST1,V__INST2)
     &
     s__keyName(V__INST2,V__INST3))
=>
s__keyName(V__INST1,V__INST3)))

s__instance(s__subProposition__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Proposition) &
       s__instance(V__INST2,s__Proposition) &
       s__instance(V__INST3,s__Proposition))
     =>
     (s__subProposition(V__INST1,V__INST2)
     &
     s__subProposition(V__INST2,V__INST3))
=>
s__subProposition(V__INST1,V__INST3)))

s__instance(s__subsumesContentClass__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__subclass(V__INST1,s__ContentBearingPhysical) &
       s__subclass(V__INST2,s__ContentBearingPhysical) &
       s__subclass(V__INST3,s__ContentBearingPhysical))
     =>
     (s__subsumesContentClass(V__INST1,V__INST2)
     &
     s__subsumesContentClass(V__INST2,V__INST3))
=>
s__subsumesContentClass(V__INST1,V__INST3)))

s__instance(s__telecomCode2__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SymbolicString) &
       s__instance(V__INST2,s__TelecomNumber) &
       s__instance(V__INST3,s__TelecomNumber))
     =>
     (s__telecomCode2(V__INST1,V__INST2)
     &
     s__telecomCode2(V__INST2,V__INST3))
=>
s__telecomCode2(V__INST1,V__INST3)))

s__instance(s__subOrganization__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Organization) &
       s__instance(V__INST2,s__Organization) &
       s__instance(V__INST3,s__Organization))
     =>
     (s__subOrganization(V__INST1,V__INST2)
     &
     s__subOrganization(V__INST2,V__INST3))
=>
s__subOrganization(V__INST1,V__INST3)))

s__instance(s__powerComponent__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__CorpuscularObject) &
       s__subclass(V__INST2,s__Artifact) &
       s__instance(V__INST2,s__CorpuscularObject) &
       s__subclass(V__INST3,s__Artifact))
     =>
     (s__powerComponent(V__INST1,V__INST2)
     &
     s__powerComponent(V__INST2,V__INST3))
=>
s__powerComponent(V__INST1,V__INST3)))

s__instance(s__primaryGeopoliticalSubdivision__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__GeopoliticalArea) &
       s__instance(V__INST2,s__GeopoliticalArea) &
       s__instance(V__INST3,s__GeopoliticalArea))
     =>
     (s__primaryGeopoliticalSubdivision(V__INST1,V__INST2)
     &
     s__primaryGeopoliticalSubdivision(V__INST2,V__INST3))
=>
s__primaryGeopoliticalSubdivision(V__INST1,V__INST3)))

s__instance(s__administrativeCenter__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__GeopoliticalArea) &
       s__instance(V__INST2,s__GeopoliticalArea) &
       s__instance(V__INST3,s__GeopoliticalArea))
     =>
     (s__administrativeCenter(V__INST1,V__INST2)
     &
     s__administrativeCenter(V__INST2,V__INST3))
=>
s__administrativeCenter(V__INST1,V__INST3)))

s__instance(s__angleOfFigure__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__TwoDimensionalAngle) &
       s__instance(V__INST2,s__TwoDimensionalAngle) &
       s__instance(V__INST3,s__GeometricFigure))
     =>
     (s__angleOfFigure(V__INST1,V__INST2)
     &
     s__angleOfFigure(V__INST2,V__INST3))
=>
s__angleOfFigure(V__INST1,V__INST3)))

s__instance(s__exactlyLocated__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Physical) &
       s__instance(V__INST2,s__Physical))
     =>
     (s__exactlyLocated(V__INST1,V__INST2)
     &
     s__exactlyLocated(V__INST2,V__INST3))
=>
s__exactlyLocated(V__INST1,V__INST3)))

s__instance(s__fills__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Hole) &
       s__instance(V__INST3,s__Hole))
     =>
     (s__fills(V__INST1,V__INST2)
     &
     s__fills(V__INST2,V__INST3))
=>
s__fills(V__INST1,V__INST3)))

s__instance(s__subsumesContentInstance__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__ContentBearingPhysical) &
       s__instance(V__INST2,s__ContentBearingPhysical) &
       s__instance(V__INST3,s__ContentBearingPhysical))
     =>
     (s__subsumesContentInstance(V__INST1,V__INST2)
     &
     s__subsumesContentInstance(V__INST2,V__INST3))
=>
s__subsumesContentInstance(V__INST1,V__INST3)))

s__instance(s__greaterThanOrEqualTo__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Quantity) &
       s__instance(V__INST2,s__Quantity) &
       s__instance(V__INST3,s__Quantity))
     =>
     (s__greaterThanOrEqualTo(V__INST1,V__INST2)
     &
     s__greaterThanOrEqualTo(V__INST2,V__INST3))
=>
s__greaterThanOrEqualTo(V__INST1,V__INST3)))

s__instance(s__component__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__CorpuscularObject) &
       s__instance(V__INST2,s__CorpuscularObject) &
       s__instance(V__INST3,s__CorpuscularObject))
     =>
     (s__component(V__INST1,V__INST2)
     &
     s__component(V__INST2,V__INST3))
=>
s__component(V__INST1,V__INST3)))

s__instance(s__subAttribute__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Attribute) &
       s__instance(V__INST2,s__Attribute) &
       s__instance(V__INST3,s__Attribute))
     =>
     (s__subAttribute(V__INST1,V__INST2)
     &
     s__subAttribute(V__INST2,V__INST3))
=>
s__subAttribute(V__INST1,V__INST3)))

s__instance(s__relatedInternalConcept__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__relatedInternalConcept(V__INST1,V__INST2)
     &
     s__relatedInternalConcept(V__INST2,V__INST3))
=>
s__relatedInternalConcept(V__INST1,V__INST3)))

s__instance(s__postNeighborhood__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__PostalPlace) &
       s__instance(V__INST2,s__PostalPlace) &
       s__instance(V__INST2,s__Neighborhood) &
       s__instance(V__INST3,s__Neighborhood))
     =>
     (s__postNeighborhood(V__INST1,V__INST2)
     &
     s__postNeighborhood(V__INST2,V__INST3))
=>
s__postNeighborhood(V__INST1,V__INST3)))

s__instance(s__telecomCountryCode__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__SymbolicString) &
       s__instance(V__INST2,s__TelecomNumber) &
       s__instance(V__INST3,s__TelecomNumber))
     =>
     (s__telecomCountryCode(V__INST1,V__INST2)
     &
     s__telecomCountryCode(V__INST2,V__INST3))
=>
s__telecomCountryCode(V__INST1,V__INST3)))

s__instance(s__stored__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__ContentBearingObject) &
       s__instance(V__INST2,s__DataStorageDevice) &
       s__instance(V__INST2,s__ContentBearingObject) &
       s__instance(V__INST3,s__DataStorageDevice))
     =>
     (s__stored(V__INST1,V__INST2)
     &
     s__stored(V__INST2,V__INST3))
=>
s__stored(V__INST1,V__INST3)))

s__instance(s__third__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object))
     =>
     (s__third(V__INST1,V__INST2)
     &
     s__third(V__INST2,V__INST3))
=>
s__third(V__INST1,V__INST3)))

s__instance(s__during__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__TimeInterval) &
       s__instance(V__INST2,s__TimeInterval) &
       s__instance(V__INST3,s__TimeInterval))
     =>
     (s__during(V__INST1,V__INST2)
     &
     s__during(V__INST2,V__INST3))
=>
s__during(V__INST1,V__INST3)))

s__instance(s__completelyFills__m,s__TransitiveRelation) =>
( ! [V__INST1, V__INST2, V__INST3] :
   ((s__instance(V__INST1,s__Object) &
       s__instance(V__INST2,s__Object))
     =>
     (s__completelyFills(V__INST1,V__INST2)
     &
     s__completelyFills(V__INST2,V__INST3))
=>
s__completelyFills(V__INST1,V__INST3)))

Merge.kif 2241-2248

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


( ! [V__RELATION,V__CLASS] :
   ((s__instance(V__RELATION,s__BinaryRelation) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     s__equivalenceRelationOn(V__RELATION,V__CLASS)
   =>
   (s__instance(V__RELATION,s__TransitiveRelation) &
     s__instance(V__RELATION,s__SymmetricRelation) &
     s__reflexiveOn(V__RELATION,V__CLASS))
)
)

Merge.kif 3550-3555
( ! [V__RELATION,V__CLASS] :
   ((s__instance(V__RELATION,s__BinaryRelation) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     s__partialOrderingOn(V__RELATION,V__CLASS)
   =>
   (s__reflexiveOn(V__RELATION,V__CLASS)
   &
   s__instance(V__RELATION,s__TransitiveRelation) &
   s__instance(V__RELATION,s__AntisymmetricRelation))
)
)

Merge.kif 3493-3498


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.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners