(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 |
|
