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 2275-2275 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 2277-2279
s__subclass(s__TransitiveRelation,s__BinaryRelation)

s__instance(s__BinaryRelation,s__Class)

s__instance(s__TransitiveRelation,s__Class)

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

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


s__instance(s__TransitiveRelation,s__Class)

s__instance(s__ancestor__m,s__TransitiveRelation)

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

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__before__m,s__TransitiveRelation)

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

s__instance(s__brother__m,s__TransitiveRelation)

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

s__instance(s__conjugate__m,s__TransitiveRelation)

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

s__instance(s__TransitiveRelation,s__Class)

Mid-level-ontology.kif 11175-11175 a %1 is connected to a &%TransitiveRelation$transitive relation"" is an instance of transitive relation
s__instance(s__covers__m,s__TransitiveRelation)

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__developmentalForm__m,s__TransitiveRelation)

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

s__instance(s__during__m,s__TransitiveRelation)

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

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__flows__m,s__TransitiveRelation)

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

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__geopoliticalSubdivision__m,s__TransitiveRelation)

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

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__larger__m,s__TransitiveRelation)

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

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__TransitiveRelation,s__Class)

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

s__instance(s__multiplicativeFactor__m,s__TransitiveRelation)

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

s__instance(s__precondition__m,s__TransitiveRelation)

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

s__instance(s__properPart__m,s__TransitiveRelation)

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

s__instance(s__sister__m,s__TransitiveRelation)

Merge.kif 15836-15836 sister 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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__connectedBodyPart__m,s__TransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__subclass(V__INST1,s__BodyPart) &
             s__subclass(V__INST2,s__BodyPart) &
             s__subclass(V__INST3,s__BodyPart))
           =>
           (((s__connectedBodyPart(V__INST1,V__INST2)
               &
               s__connectedBodyPart(V__INST2,V__INST3))
           =>
           (s__connectedBodyPart(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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__subclass__m,s__TransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Class) &
             s__instance(V__INST2,s__Class) &
             s__instance(V__INST3,s__Class))
           =>
           (((s__subclass(V__INST1,V__INST2)
               &
               s__subclass(V__INST2,V__INST3))
           =>
           (s__subclass(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__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__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__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__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__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__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__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__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__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__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__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)))))))))

(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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__successorClass__m,s__TransitiveRelation) =>
   (( ! [V__INST1, V__INST2, V__INST3] :
       (((s__instance(V__INST1,s__Class) &
             s__instance(V__INST2,s__Class) &
             s__instance(V__INST3,s__Class))
           =>
           (((s__successorClass(V__INST1,V__INST2)
               &
               s__successorClass(V__INST2,V__INST3))
           =>
           (s__successorClass(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__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__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)))))))))

Merge.kif 2281-2288

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


( ! [V__RELATION,V__CLASS] :
   (((s__instance(V__RELATION,s__BinaryRelation) &
         s__instance(V__CLASS,s__Class))
       =>
       ((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 3627-3632
( ! [V__RELATION,V__CLASS] :
   (((s__instance(V__RELATION,s__BinaryRelation) &
         s__instance(V__CLASS,s__Class))
       =>
       ((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 3570-3575


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