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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - disjointRelation
disjointRelation

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


s__documentation(s__disjointRelation__m,s__ChineseLanguage,'"这个术语把两种 Relation 连接。 (disjointRelation ?REL1 ?REL2) 的意思是指这两种关系没有共同的元组。"')

chinese_format.kif 1502-1503
s__documentation(s__disjointRelation__m,s__EnglishLanguage,'"This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common."')

Merge.kif 414-416
s__domain(s__disjointRelation__m,n__1,s__Relation)

Merge.kif 411-411 The number 1 argument of disjoint relation is an instance of relation
s__domain(s__disjointRelation__m,n__2,s__Relation)

Merge.kif 412-412 The number 2 argument of disjoint relation is an instance of relation
s__instance(s__disjointRelation__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 408-408 disjoint relation is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__disjointRelation__m,s__IrreflexiveRelation)

Merge.kif 409-409 disjoint relation is an instance of irreflexive relation
s__instance(s__PartialValuedRelation,s__SetOrClass)

s__instance(s__disjointRelation__m,s__PartialValuedRelation)

Merge.kif 410-410 disjoint relation is an instance of partial valued relation
s__relatedInternalConcept(s__disjointRelation__m,s__disjoint__m)

Merge.kif 413-413 disjoint relation is internally related to disjoint

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


s__format(s__ChineseLanguage,s__disjointRelation__m,'"%1 和 %2 %n 是 disjoint 关系"')

chinese_format.kif 289-289
s__format(s__EnglishLanguage,s__disjointRelation__m,'"%1 and %2 are %n disjoint"')

english_format.kif 297-297
s__termFormat(s__ChineseLanguage,s__disjointRelation__m,'"不相交关系"')

chinese_format.kif 290-290
s__termFormat(s__ChineseLanguage,s__disjointRelation__m,'"不相交的关系"')

domainEnglishFormat.kif 19851-19851
s__termFormat(s__ChineseTraditionalLanguage,s__disjointRelation__m,'"不相交的關係"')

domainEnglishFormat.kif 19850-19850
s__termFormat(s__EnglishLanguage,s__disjointRelation__m,'"disjoint relation"')

domainEnglishFormat.kif 19849-19849

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


( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerPassword) &
         s__instance(V__ROW2,s__UserAccount))
       =>
       ((s__password(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__attribute(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CorpuscularObject) &
         s__subclass(V__ROW2,s__Artifact) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__powerComponent(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__accountInformation(V__ROW1,V__ROW2)
         =>
         (s__containsInformation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__conforms(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__UserName))
       =>
       ((s__userName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Motion) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__path(V__ROW1,V__ROW2)
         =>
         (s__eventPartlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__referenceTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__Neighborhood))
       =>
       ((s__postNeighborhood(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__AchievingControl) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__controlled(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__PlacingUnderArrest) =>
       ((s__arrestingOfficer(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__width(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__cohabitant(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__paternalUncle(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__TemporaryResidence))
       =>
       ((s__stays(V__ROW1,V__ROW2)
         =>
         (s__inhabits(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCountryCode(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__experiencer(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__geographicSubregion(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__UserAccount))
       =>
       ((s__accountUsed(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersSon(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__fills(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Computer) &
         s__instance(V__ROW2,s__ComputerStatus))
       =>
       ((s__hostStatus(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterArea) &
         s__instance(V__ROW2,s__River))
       =>
       ((s__streamOutfall(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__maternalAunt(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__marketValueAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Set) &
         s__instance(V__ROW1,s__Class) &
         s__instance(V__ROW2,s__Set) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__subset(V__ROW1,V__ROW2)
         =>
         (s__subclass(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transfer) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__objectTransferred(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__localShortName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__daughter(V__ROW1,V__ROW2)
         =>
         (s__parent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__EducationalOrganization))
       =>
       ((s__student(V__ROW1,V__ROW2)
         =>
         (s__member(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterArea) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__waterDepth(V__ROW1,V__ROW2)
         =>
         (s__length(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__TaskRelationAttribute))
       =>
       ((s__taskRelation(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__nameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__humanName(V__ROW1,V__ROW2)
         =>
         (s__agentName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transitway) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__ROW2,s__TransitSystem))
       =>
       ((s__pathInSystem(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__OrganicObject) &
         s__instance(V__ROW2,s__DevelopmentalAttribute))
       =>
       ((s__developmentalForm(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__Computer))
       =>
       ((s__computerRunning(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__third(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__properlyFills(V__ROW1,V__ROW2)
         =>
         (s__partiallyFills(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__defendant(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__SymbolicString) &
         s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__nameBeforeKeyName(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__precedesInString(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputationalSystem) &
         s__subclass(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__TimeDuration))
       =>
       ((s__sendRate(V__ROW1,V__ROW2)
         =>
         (s__frequency(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__UserAccount))
       =>
       ((s__hasAccount(V__ROW1,V__ROW2)
         =>
         (s__possesses(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Computer) &
         s__instance(V__ROW2,s__ComputerStatus))
       =>
       ((s__hostStatus(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__maternalUncle(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__interiorPart(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__subclass(V__ROW2,s__ContentBearingObject) &
         s__subclass(V__ROW2,s__MusicalComposition))
       =>
       ((s__composer(V__ROW1,V__ROW2)
         =>
         (s__authors(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__brother(V__ROW1,V__ROW2)
         =>
         (s__sibling(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TimeInterval) &
         s__instance(V__ROW2,s__TimeInterval))
       =>
       ((s__finishes(V__ROW1,V__ROW2)
         =>
         (s__temporalPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reagent(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__accountHolder(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ServiceProcess) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__serviceProvider(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__brother(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Recording) &
         s__instance(V__ROW2,s__Album))
       =>
       ((s__albumTrack(V__ROW1,V__ROW2)
         =>
         (s__inList(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__organizationName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomAreaCode(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Computer))
       =>
       ((s__hardwareType(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialTransaction) &
         s__instance(V__ROW2,s__WebSite))
       =>
       ((s__eCommerceSite(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__marginBalanceAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reagent(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingPhysical) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__containsInformation(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__organizationName(V__ROW1,V__ROW2)
         =>
         (s__agentName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__DeviceStateAttribute))
       =>
       ((s__deviceState(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__exactlyLocated(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__groupingTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__physicalEnd(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__geopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__geographicSubregion(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__chamberOfLegislature(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__LegalAction) =>
       ((s__defenseLawyer(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PlacingUnderArrest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__arrested(V__ROW1,V__ROW2)
         =>
         (s__controlled(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agreement) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__optionHolder(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Abstract) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__abstractCounterpart(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersDaughter(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transportation) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__transported(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TimeInterval) &
         s__instance(V__ROW2,s__TimeInterval))
       =>
       ((s__starts(V__ROW1,V__ROW2)
         =>
         (s__temporalPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__organizationName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerFile) &
         s__instance(V__ROW2,s__ComputerProgram))
       =>
       ((s__programCopy(V__ROW1,V__ROW2)
         =>
         (s__containsInformation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Motion) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__moves(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__EconomicAttribute))
       =>
       ((s__economyType(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__accountPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__NounPhrase) &
         s__instance(V__ROW2,s__Sentence))
       =>
       ((s__sententialSubject(V__ROW1,V__ROW2)
         =>
         (s__grammaticalRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transportation) &
         s__instance(V__ROW2,s__TransportationDevice))
       =>
       ((s__conveyance(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__Computer))
       =>
       ((s__computerRunning(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__manner(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__guest(V__ROW1,V__ROW2)
         =>
         (s__customer(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TimePoint) &
         s__instance(V__ROW2,s__TimePoint))
       =>
       ((s__before(V__ROW1,V__ROW2)
         =>
         (s__beforeOrEqual(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerFile) &
         s__instance(V__ROW2,s__ComputerProgram))
       =>
       ((s__programCopy(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__financialAsset(V__ROW1,V__ROW2)
         =>
         (s__possesses(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__UserAccount))
       =>
       ((s__accountUsed(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Substance) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__piece(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Contest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__contestParticipant(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__LegalAction) =>
       ((s__witness(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__translatedTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__realization(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__birthday(V__ROW1,V__ROW2)
         =>
         (s__anniversary(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__conforms(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__HotelFunctionRoom) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__paidFunctionRoomAmenity(V__ROW1,V__ROW2)
         =>
         (s__functionRoomAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__TimePoint) &
         s__instance(V__ROW1,s__TimePoint) &
         s__instance(V__ROW2,s__TimePoint))
       =>
       ((s__temporallyBetween(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__temporallyBetweenOrEqual(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__eventLocated(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__TimingRequirementAttribute))
       =>
       ((s__complexity(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__fills(V__ROW1,V__ROW2)
         =>
         (s__completelyFills(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersDaughter(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__TelecomNumber) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__accountPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__containsInformation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__partiallyFills(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__fills(V__ROW1,V__ROW2)
         =>
         (s__properlyFills(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ViralCellInvasion) &
         s__instance(V__ROW2,s__Virus))
       =>
       ((s__invadingVirus(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeographicArea) &
         s__instance(V__ROW2,s__GeographicArea))
       =>
       ((s__geographicSubregion(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__availableCash(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__HotelReservation) &
         s__instance(V__ROW2,s__Integer))
       =>
       ((s__numberSeniorOccupant(V__ROW1,V__ROW2)
         =>
         (s__numberOccupant(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__acronym(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__cousin(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__List) &
         s__instance(V__ROW2,s__List))
       =>
       ((s__initialList(V__ROW1,V__ROW2)
         =>
         (s__subList(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterVehicle) &
         s__instance(V__ROW2,s__MassMeasure))
       =>
       ((s__vesselDeadWeightTonnage(V__ROW1,V__ROW2)
         =>
         (s__vesselDisplacement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__desires(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW2,s__Set) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__element(V__ROW1,V__ROW2)
         =>
         (s__instance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__productBrand(V__ROW1,V__ROW2)
     =>
     (s__represents(V__ROW1,V__ROW2)))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__FormOfGovernment))
       =>
       ((s__governmentType(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterVehicle) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__vesselDisplacement(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__coworker(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChangeOfControl) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__losesControl(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TelecomNumber) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__personalPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__telephoneNumber(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Collection) &
         s__instance(V__ROW2,s__Collection))
       =>
       ((s__subCollection(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerInputDevice))
       =>
       ((s__standardInputDevice(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerComponent) &
         s__instance(V__ROW2,s__ConstantQuantity))
       =>
       ((s__load(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__destination(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__displayTitle(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__result(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__NounPhrase) &
         s__instance(V__ROW2,s__Sentence))
       =>
       ((s__sententialObject(V__ROW1,V__ROW2)
         =>
         (s__grammaticalRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Bond) &
         s__instance(V__ROW2,s__FinancialRating))
       =>
       ((s__bondRating(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__SelfConnectedObject))
       =>
       ((s__bottom(V__ROW1,V__ROW2)
         =>
         (s__superficialPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__objectAttached(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__friend(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__coworker(V__ROW1,V__ROW2)
         =>
         (s__mutualAcquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__overlapsSpatially(V__ROW1,V__ROW2)
         =>
         (s__connected(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Shipping) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__cargo(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Motion) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__path(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__length(V__ROW1,V__ROW2)
         =>
         (s__linearExtent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__sortingTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__buyingPowerAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersWife(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__accountPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__agentName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__sibling(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__LegalAction) =>
       ((s__witness(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__availableCash(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__conventionalLongName(V__ROW1,V__ROW2)
         =>
         (s__fullName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__alternativeTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__targetInAttack(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__subclass(V__ROW2,s__Holiday))
       =>
       ((s__nationalCelebration(V__ROW1,V__ROW2)
         =>
         (s__nationalHoliday(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__workAddress(V__ROW1,V__ROW2)
         =>
         (s__postContactSite(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__EngineeringComponent) &
         s__instance(V__ROW2,s__EngineeringComponent))
       =>
       ((s__engineeringSubcomponent(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__mutualAcquaintance(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardOutputDevice(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Agent) &
         s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__askPrice(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__price(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__DesignPatternAttribute))
       =>
       ((s__designPattern(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__synonymousExternalConcept(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__relatedExternalConcept(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PlacingUnderArrest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__arrestingOfficer(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FieldOfStudy) &
         s__instance(V__ROW2,s__FieldOfStudy))
       =>
       ((s__subField(V__ROW1,V__ROW2)
         =>
         (s__subProposition(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__objectAttached(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Plan) &
         s__instance(V__ROW2,s__Plan))
       =>
       ((s__subPlan(V__ROW1,V__ROW2)
         =>
         (s__subProposition(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__givenName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Molecule) &
         s__instance(V__ROW2,s__MoleculeStructuralAttribute))
       =>
       ((s__hasMolecularStructuralAttribute(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__acronym(V__ROW1,V__ROW2)
         =>
         (s__conventionalShortName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Loan) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__borrower(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__son(V__ROW1,V__ROW2)
         =>
         (s__parent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__represents(V__ROW1,V__ROW2)
     =>
     (s__refers(V__ROW1,V__ROW2)))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersHusband(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__StateOrProvince))
       =>
       ((s__postDistrict(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transportation) &
         s__instance(V__ROW2,s__TransportationDevice))
       =>
       ((s__conveyance(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__localShortName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__LegalAction) =>
       ((s__defenseLawyer(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__DigitalData))
       =>
       ((s__filename(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ServiceProcess) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__serviceProvider(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__MassMeasure))
       =>
       ((s__weight(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterVehicle) &
         s__instance(V__ROW2,s__MassMeasure))
       =>
       ((s__vesselDeadWeightTonnage(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__Vehicle))
       =>
       ((s__onboard(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__OrganizationalProcess) &
         s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__afterTaxIncome(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__incomeEarned(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__AcidityMeasure))
       =>
       ((s__phMeasure(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW2,s__Class) =>
       ((s__immediateInstance(V__ROW1,V__ROW2)
         =>
         (s__instance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ServiceProcess) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__serviceRecipient(V__ROW1,V__ROW2)
         =>
         (s__experiencer(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__DigitalData))
       =>
       ((s__filename(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__fears(V__ROW1,V__ROW2)
         =>
         (s__expects(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__referenceTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__familyName(V__ROW1,V__ROW2)
         =>
         (s__humanName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__ColorAttribute))
       =>
       ((s__color(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Formula) &
         s__instance(V__ROW2,s__NormativeAttribute))
       =>
       ((s__modalAttribute(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__musicGenre(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersHusband(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__alias(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__OrganicObject) &
         s__subclass(V__ROW2,s__Animal))
       =>
       ((s__meatOfAnimal(V__ROW1,V__ROW2)
         =>
         (s__productOfAnimal(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__administrativeCenter(V__ROW1,V__ROW2)
         =>
         (s__geographicSubregion(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TelecomNumber) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__mobilePhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__telephoneNumber(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__originalTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersDaughter(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__realization(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeographicArea) &
         s__instance(V__ROW2,s__GeographicArea))
       =>
       ((s__geographicSubregion(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ViralCellInvasion) &
         s__instance(V__ROW2,s__Virus))
       =>
       ((s__invadingVirus(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Shipping) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__cargo(V__ROW1,V__ROW2)
         =>
         (s__transported(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Molecule) &
         s__instance(V__ROW2,s__MoleculeStructuralAttribute))
       =>
       ((s__hasMolecularStructuralAttribute(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__deceptiveIdentifier(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__UnitOfCurrency))
       =>
       ((s__currencyCode(V__ROW1,V__ROW2)
         =>
         (s__conventionalShortName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersSon(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__givenName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__aunt(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__subsumingExternalConcept(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__relatedExternalConcept(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transportation) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__transported(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProgram) &
         s__subclass(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__TimeDuration))
       =>
       ((s__softwareHeartBeatRate(V__ROW1,V__ROW2)
         =>
         (s__frequency(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__abbreviation(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__chamberOfLegislature(V__ROW1,V__ROW2)
         =>
         (s__subCollection(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__ComputerProgram) &
         s__subclass(V__ROW2,s__Computer))
       =>
       ((s__deviceOS(V__ROW1,V__ROW2)
         =>
         (s__canRunOn(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__CognitiveAgent) =>
       ((s__lacks(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__paidPropertyAmenity(V__ROW1,V__ROW2)
         =>
         (s__propertyAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterArea) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__waterDepth(V__ROW1,V__ROW2)
         =>
         (s__linearExtent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardOutputDevice(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerInputDevice))
       =>
       ((s__standardInputDevice(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Collection) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__fleetGrossRegisteredTonnage(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__fills(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__origin(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__alternativeTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__MimeEncodingScheme))
       =>
       ((s__mimeType(V__ROW1,V__ROW2)
         =>
         (s__coding(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__CriminalAction) =>
       ((s__perpetrator(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardOutputDevice(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__subclass(V__ROW2,s__MusicalComposition))
       =>
       ((s__composer(V__ROW1,V__ROW2)
         =>
         (s__creator(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__administrativeCenter(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__brother(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__subOrganization(V__ROW1,V__ROW2)
         =>
         (s__subCollection(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__dependentGeopoliticalArea(V__ROW1,V__ROW2)
         =>
         (s__claimedTerritory(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeographicArea) &
         s__instance(V__ROW2,s__GeographicArea))
       =>
       ((s__geographicSubregion(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__alias(V__ROW1,V__ROW2)
         =>
         (s__deceptiveIdentifier(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__PostcodeArea))
       =>
       ((s__postPostcodeArea(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__nephew(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Experimenting) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__experimentalControl(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__postCountry(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersSon(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__localLongName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullNameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__DigitalData))
       =>
       ((s__dataProcessed(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__properPart(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__partiallyFills(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__TemperatureMeasure))
       =>
       ((s__airTemperature(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCode2(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingPhysical) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__containsInformation(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__spouse(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__plaintiff(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__AbstractionLevelAttribute))
       =>
       ((s__abstractionLevel(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__OneDimensionalFigure) &
         s__instance(V__ROW2,s__GeometricFigure))
       =>
       ((s__sideOfFigure(V__ROW1,V__ROW2)
         =>
         (s__geometricPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Transfer) =>
       ((s__passenger(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__TimeInterval) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Interest))
       =>
       ((s__compoundInterest(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__interestEarned(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__headquartersOfOrganization(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersSon(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__subclass(V__ROW2,s__ContentBearingPhysical))
       =>
       ((s__titles(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transfer) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__objectTransferred(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__agent(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__completelyFills(V__ROW1,V__ROW2)
         =>
         (s__partiallyFills(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__UnitOfCurrency))
       =>
       ((s__currencyCode(V__ROW1,V__ROW2)
         =>
         (s__abbreviation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__SelfConnectedObject))
       =>
       ((s__top(V__ROW1,V__ROW2)
         =>
         (s__superficialPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProgram) &
         s__instance(V__ROW2,s__ComputerProtocol))
       =>
       ((s__implementsProtocol(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__nephew(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__penetrates(V__ROW1,V__ROW2)
         =>
         (s__traverses(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__OrganicObject) &
         s__instance(V__ROW2,s__DevelopmentalAttribute))
       =>
       ((s__developmentalForm(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TelecomNumber) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__homePhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__telephoneNumber(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__GroupOfPeople))
       =>
       ((s__groupMember(V__ROW1,V__ROW2)
         =>
         (s__member(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__paternalUncle(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Confining) &
         s__instance(V__ROW2,s__Animal))
       =>
       ((s__detainee(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__SelfConnectedObject))
       =>
       ((s__surface(V__ROW1,V__ROW2)
         =>
         (s__superficialPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__AreaOfConcern))
       =>
       ((s__organizationalObjective(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__headquartersOfOrganization(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__DigitalData))
       =>
       ((s__dataProcessed(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__administrativeCenter(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__FormOfGovernment))
       =>
       ((s__governmentType(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__City))
       =>
       ((s__postCity(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChargingAFee) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__amountCharged(V__ROW1,V__ROW2)
         =>
         (s__transactionAmount(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__AchievingControl) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__gainsControl(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reactant(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__musicGenre(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__considers(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__formerName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Translocation) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__changesLocation(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__subclass(V__ROW2,s__ContentBearingPhysical))
       =>
       ((s__titles(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardErrorDevice(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__aunt(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__EngineeringComponent) &
         s__instance(V__ROW2,s__EngineeringComponent))
       =>
       ((s__engineeringSubcomponent(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__sister(V__ROW1,V__ROW2)
         =>
         (s__sibling(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__Substance) &
         s__subclass(V__ROW2,s__PreparedFood) &
         s__instance(V__ROW2,s__CorpuscularObject))
       =>
       ((s__ingredient(V__ROW1,V__ROW2)
         =>
         (s__material(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__translatedTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__acronym(V__ROW1,V__ROW2)
         =>
         (s__abbreviation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__EngineeringComponent) &
         s__instance(V__ROW1,s__EngineeringConnection) &
         s__instance(V__ROW2,s__EngineeringComponent))
       =>
       ((s__connectsEngineeringComponents(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__connects(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__AreaOfConcern))
       =>
       ((s__organizationalObjective(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__geopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__objectDetached(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__date(V__ROW1,V__ROW2)
         =>
         (s__time(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__displayTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Game) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__plays(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__resource(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__Vehicle))
       =>
       ((s__onboard(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__domesticPartner(V__ROW1,V__ROW2)
         =>
         (s__mutualAcquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeometricPoint) &
         s__instance(V__ROW2,s__GeometricFigure))
       =>
       ((s__pointOfFigure(V__ROW1,V__ROW2)
         =>
         (s__geometricPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__cohabitant(V__ROW1,V__ROW2)
         =>
         (s__mutualAcquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__FinancialCompany) &
         s__instance(V__ROW2,s__Agreement))
       =>
       ((s__financialAccount(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardErrorDevice(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__PostcodeArea))
       =>
       ((s__postPostcodeArea(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__StateOrProvince))
       =>
       ((s__postDistrict(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__StrictnessAttribute))
       =>
       ((s__strictness(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCoreNumber(V__ROW1,V__ROW2)
         =>
         (s__subString(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__targetInAttack(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__administrativeCenter(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__niece(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__conventionalShortName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__maternalUncle(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__FinancialOrganization))
       =>
       ((s__accountAt(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__exactlyLocated(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ProcessStatus))
       =>
       ((s__status(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__misspelledTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__LengthMeasure) &
         s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__depth(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__distance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Contest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__contestParticipant(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__maternalAunt(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputationalSystem) &
         s__subclass(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__TimeDuration))
       =>
       ((s__collectRate(V__ROW1,V__ROW2)
         =>
         (s__frequency(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__AchievingControl) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__gainsControl(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__properlyFills(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullNameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__fullName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__linearExtent(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__acronym(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__keyName(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Sentence) &
         s__instance(V__ROW2,s__TruthValue))
       =>
       ((s__truth(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__flows(V__ROW1,V__ROW2)
         =>
         (s__connected(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reagent(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__TimeInterval) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__standardRetailHours(V__ROW1,V__ROW2)
         =>
         (s__businessHours(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__fills(V__ROW1,V__ROW2)
         =>
         (s__partiallyFills(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__geopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__geopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersSon(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersHusband(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transfer) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__passenger(V__ROW1,V__ROW2)
         =>
         (s__objectTransferred(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reactant(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Demonstrating) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__attends(V__ROW1,V__ROW2)
         =>
         (s__experiencer(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__UnitOfAtmosphericPressure))
       =>
       ((s__barometricPressure(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__TimePoint) &
         s__subclass(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__GeographicArea))
       =>
       ((s__releaseForSale(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__releaseForConsumption(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__givenName(V__ROW1,V__ROW2)
         =>
         (s__agentName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__completelyFills(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW1,s__LyricalContent) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__lyricist(V__ROW1,V__ROW2)
         =>
         (s__creator(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__sibling(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__crosses(V__ROW1,V__ROW2)
         =>
         (s__traverses(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PermanentResidence) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__homeAddress(V__ROW1,V__ROW2)
         =>
         (s__postContactSite(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__quarter(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__HotelReservation) &
         s__instance(V__ROW2,s__Integer))
       =>
       ((s__numberAdultOccupant(V__ROW1,V__ROW2)
         =>
         (s__numberOccupant(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__sortingTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__marginBalanceAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__buyingPowerAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__plaintiff(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersSon(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__geopoliticalSubdivision(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Text) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__registeredItem(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Translocation) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__changesLocation(V__ROW1,V__ROW2)
         =>
         (s__moves(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__subString(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__most(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__Neighborhood))
       =>
       ((s__postNeighborhood(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomAreaCode(V__ROW1,V__ROW2)
         =>
         (s__subString(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__HotelFunctionRoom) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__freeFunctionRoomAmenity(V__ROW1,V__ROW2)
         =>
         (s__functionRoomAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__instrument(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCountryCode(V__ROW1,V__ROW2)
         =>
         (s__subString(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__humanName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersDaughter(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__BankCard))
       =>
       ((s__cardCode(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transportation) &
         s__instance(V__ROW2,s__TransportationDevice))
       =>
       ((s__conveyance(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__shortBalanceAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__needs(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__Process) &
         s__instance(V__ROW1,s__UserRequest) &
         s__instance(V__ROW2,s__TimeDuration))
       =>
       ((s__requestRate(V__ROW1,V__ROW2)
         =>
         (s__frequency(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialTransaction) &
         s__instance(V__ROW2,s__WebSite))
       =>
       ((s__eCommerceSite(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__uniqueIdentifier(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__defendant(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Stock) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__finalPrice(V__ROW1,V__ROW2)
         =>
         (s__monetaryValue(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__Group))
       =>
       ((s__associateInOrganization(V__ROW1,V__ROW2)
         =>
         (s__member(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Device) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__effectiveRange(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersDaughter(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__keyName(V__ROW1,V__ROW2)
         =>
         (s__subString(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__paternalAunt(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__nameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerResource))
       =>
       ((s__resourceUsed(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__eventPartlyLocated(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Agent) &
         s__instance(V__ROW1,s__Election) &
         s__instance(V__ROW2,s__SocialRole))
       =>
       ((s__electionWinner(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__candidateForPosition(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TelecomNumber) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__workPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__telephoneNumber(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__sister(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__geopoliticalSubdivision(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Position) &
         s__instance(V__ROW4,s__Agent) &
         s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__chiefOfDiplomaticMission(V__ROW1,V__ROW2,V__ROW3,V__ROW4)
         =>
         (s__diplomaticRepresentativeInRole(V__ROW1,V__ROW2,V__ROW3,V__ROW4)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__niece(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__subclass(V__ROW2,s__Product))
       =>
       ((s__productModel(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__familyRelation(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__HotelUnit) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__paidRoomAmenity(V__ROW1,V__ROW2)
         =>
         (s__roomAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__Object) &
         s__subclass(V__ROW2,s__Object))
       =>
       ((s__partTypes(V__ROW1,V__ROW2)
         =>
         (s__typicalPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__half(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__TimeInterval) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Interest))
       =>
       ((s__simpleInterest(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__interestEarned(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersWife(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__instrument(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Demonstrating) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__attends(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersDaughter(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__subclass(V__ROW2,s__IntentionalProcess))
       =>
       ((s__enjoys(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PoliticalParty) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__politicalPartyOfCountry(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardErrorDevice(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__eventLocated(V__ROW1,V__ROW2)
         =>
         (s__eventPartlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Loan) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__lender(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__spouse(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__AchievingControl) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__controlled(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__HotelReservation) &
         s__instance(V__ROW2,s__Integer))
       =>
       ((s__numberChildOccupant(V__ROW1,V__ROW2)
         =>
         (s__numberOccupant(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Collateral) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__appraisedValue(V__ROW1,V__ROW2)
         =>
         (s__monetaryValue(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CorpuscularObject) &
         s__subclass(V__ROW2,s__Artifact) &
         s__instance(V__ROW2,s__CorpuscularObject))
       =>
       ((s__powerComponent(V__ROW1,V__ROW2)
         =>
         (s__component(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__LegalAction) =>
       ((s__prosecutor(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__lacks(V__ROW1,V__ROW2)
         =>
         (s__needs(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__humanName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialTransaction) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__ROW2,s__WebSite))
       =>
       ((s__eCommerceSite(V__ROW1,V__ROW2)
         =>
         (s__broker(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__record(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__BankCard))
       =>
       ((s__pin(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__believes(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__disapproves(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__RadiationMeasure))
       =>
       ((s__absorbedDose(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__familyName(V__ROW1,V__ROW2)
         =>
         (s__agentName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__familyName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__localLongName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PoliticalParty) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__politicalPartyOfCountry(V__ROW1,V__ROW2)
         =>
         (s__agentOperatesInArea(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__approves(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__DeviceStateAttribute))
       =>
       ((s__deviceState(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__shortBalanceAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__UnitOfCurrency))
       =>
       ((s__currencyCode(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__evidence(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__SymbolicString) &
         s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__stringConcatenation(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__precedesInString(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__record(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Woman))
       =>
       ((s__stepmother(V__ROW1,V__ROW2)
         =>
         (s__legalRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__subsumedExternalConcept(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__relatedExternalConcept(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__givenName(V__ROW1,V__ROW2)
         =>
         (s__humanName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__FinancialRating))
       =>
       ((s__creditRanking(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Experimenting) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__experimentalControl(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__Computer))
       =>
       ((s__computerRunning(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Abstract) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__abstractCounterpart(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersWife(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__length(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__subclass(V__ROW2,s__Product))
       =>
       ((s__productModel(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__City))
       =>
       ((s__postCity(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__PositionalAttribute))
       =>
       ((s__direction(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullNameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__nameIndexOrder(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__alias(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Telephone))
       =>
       ((s__phoneNumber(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__uncle(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GUIElement) &
         s__instance(V__ROW2,s__GUElementState))
       =>
       ((s__hasGUEState(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Man))
       =>
       ((s__grandfather(V__ROW1,V__ROW2)
         =>
         (s__grandparent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__cousin(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__result(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CriminalAction) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__perpetrator(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__names(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCoreNumber(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RadiatingSound) &
         s__instance(V__ROW2,s__ConstantQuantity))
       =>
       ((s__loudness(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__patient(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__SelfConnectedObject))
       =>
       ((s__side(V__ROW1,V__ROW2)
         =>
         (s__superficialPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__EngineeringComponent) &
         s__instance(V__ROW2,s__EngineeringComponent))
       =>
       ((s__connectedEngineeringComponents(V__ROW1,V__ROW2)
         =>
         (s__connected(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterVehicle) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__vesselGrossRegisteredTonnage(V__ROW1,V__ROW2)
         =>
         (s__vesselDisplacement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transitway) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__ROW2,s__TransitSystem))
       =>
       ((s__routeInSystem(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PlacingUnderArrest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__arrested(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialTransaction) &
         s__instance(V__ROW2,s__WebSite))
       =>
       ((s__eCommerceSite(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Woman))
       =>
       ((s__grandmother(V__ROW1,V__ROW2)
         =>
         (s__grandparent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Computer))
       =>
       ((s__hardwareType(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__maritimeHazard(V__ROW1,V__ROW2)
         =>
         (s__hazardous(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agreement) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__optionSeller(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__FinancialRating))
       =>
       ((s__creditRanking(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ServiceProcess) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__serviceRecipient(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__geopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__BankCard))
       =>
       ((s__cardCode(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Game) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__plays(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__friend(V__ROW1,V__ROW2)
         =>
         (s__mutualAcquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersWife(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersHusband(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__chamberOfLegislature(V__ROW1,V__ROW2)
         =>
         (s__subOrganization(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__height(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__SystemBehaviorAttribute))
       =>
       ((s__systemBehavior(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__TelecomNumber) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__accountPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__accountInformation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__workAddress(V__ROW1,V__ROW2)
         =>
         (s__siteForContact(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__knows(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TelephonyDevice) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__telecomContactDevice(V__ROW1,V__ROW2)
         =>
         (s__siteForContact(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__emailAddress(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__formerName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__completelyFills(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__resource(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__UserName))
       =>
       ((s__userName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__marketValueAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reactant(V__ROW1,V__ROW2)
         =>
         (s__resource(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Character) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__inString(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__hopes(V__ROW1,V__ROW2)
         =>
         (s__expects(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterArea) &
         s__instance(V__ROW2,s__River))
       =>
       ((s__streamOutfall(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TwoDimensionalAngle) &
         s__instance(V__ROW2,s__GeometricFigure))
       =>
       ((s__angleOfFigure(V__ROW1,V__ROW2)
         =>
         (s__geometricPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__enemy(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__HotelUnit) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__freeRoomAmenity(V__ROW1,V__ROW2)
         =>
         (s__roomAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__EducationalOrganization))
       =>
       ((s__teacher(V__ROW1,V__ROW2)
         =>
         (s__member(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__wants(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersSon(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__UnitOfCurrency))
       =>
       ((s__currencyCode(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__agentName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Railway) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__trackWidth(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersDaughter(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__TimePoint) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__maturityDate(V__ROW1,V__ROW2)
         =>
         (s__agreementExpirationDate(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__subOrganization(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__tributary(V__ROW1,V__ROW2)
         =>
         (s__connected(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersDaughter(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__middleName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__properlyFills(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__postCountry(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__GeographicArea))
       =>
       ((s__agentOperatesInArea(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Shipping) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__cargo(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__prosecutor(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__uncle(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__administrativeCenter(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputationalSystem) &
         s__instance(V__ROW2,s__ConstantQuantity))
       =>
       ((s__memorySize(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__sister(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__mutualStranger(V__ROW1,V__ROW2)
         =>
         (s__stranger(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Game) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__referee(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__evidence(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Collection) &
         s__instance(V__ROW2,s__MassMeasure))
       =>
       ((s__fleetDeadWeightTonnage(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__OrganizationalProcess) &
         s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__taxDeferredIncome(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__incomeEarned(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__ShapeAttribute))
       =>
       ((s__shape(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterArea) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__waterDepth(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__familyName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__middleName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerResponse) &
         s__subclass(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__TimeDuration))
       =>
       ((s__responseRate(V__ROW1,V__ROW2)
         =>
         (s__frequency(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__physicalEnd(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCode2(V__ROW1,V__ROW2)
         =>
         (s__subString(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Bond) &
         s__instance(V__ROW2,s__FinancialRating))
       =>
       ((s__bondRating(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__abbreviation(V__ROW1,V__ROW2)
         =>
         (s__conventionalShortName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__PermanentResidence))
       =>
       ((s__home(V__ROW1,V__ROW2)
         =>
         (s__inhabits(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PermanentResidence) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__homeAddress(V__ROW1,V__ROW2)
         =>
         (s__siteForContact(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersSon(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__paternalAunt(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProgram) &
         s__instance(V__ROW2,s__EnvironmentSoftwareAttribute))
       =>
       ((s__environmentAttributes(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CorpuscularObject) &
         s__instance(V__ROW2,s__CorpuscularObject))
       =>
       ((s__component(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerInputDevice))
       =>
       ((s__standardInputDevice(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__displayTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__accountInformation(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__geographicSubregion(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeographicArea) &
         s__instance(V__ROW2,s__GeographicArea))
       =>
       ((s__geographicSubregion(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__width(V__ROW1,V__ROW2)
         =>
         (s__linearExtent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__administrativeCenter(V__ROW1,V__ROW2)
         =>
         (s__geopoliticalSubdivision(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChangeOfControl) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__losesControl(V__ROW1,V__ROW2)
         =>
         (s__experiencer(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__dislikes(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transitway) &
         s__instance(V__ROW2,s__TransitSystem))
       =>
       ((s__routeInSystem(V__ROW1,V__ROW2)
         =>
         (s__pathInSystem(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__conventionalShortName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__conventionalLongName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__misspelledTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterVehicle) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__vesselGrossRegisteredTonnage(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__originalTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__BankCard))
       =>
       ((s__pin(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Music) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__anthem(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerPassword) &
         s__instance(V__ROW2,s__UserAccount))
       =>
       ((s__password(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__administrativeCenter(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__conventionalLongName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__OrganizationalProcess) &
         s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__beforeTaxIncome(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__incomeEarned(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Game) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__referee(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__CriminalAction) =>
       ((s__victim(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__EconomicAttribute))
       =>
       ((s__economyType(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__CriminalAction) =>
       ((s__victim(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Agent) &
         s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__bidPrice(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__price(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__groupingTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Confining) &
         s__instance(V__ROW2,s__Animal))
       =>
       ((s__detainee(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__postContactSite(V__ROW1,V__ROW2)
         =>
         (s__siteForContact(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__spouse(V__ROW1,V__ROW2)
         =>
         (s__legalRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__availableBalance(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__abbreviation(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__located(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Music) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__anthem(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Virus) &
         s__instance(V__ROW2,s__Molecule))
       =>
       ((s__geneticSubstrateOfVirus(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__accountInformation(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerFile) &
         s__instance(V__ROW2,s__ComputerProgram))
       =>
       ((s__programCopy(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__ColorAttribute))
       =>
       ((s__color(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__uniqueIdentifier(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__spouse(V__ROW1,V__ROW2)
         =>
         (s__mutualAcquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__objectDetached(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PlacingUnderArrest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__arrested(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Transfer) =>
       ((s__passenger(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullNameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerResource))
       =>
       ((s__resourceUsed(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__tributary(V__ROW1,V__ROW2)
         =>
         (s__flows(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProgram) &
         s__instance(V__ROW2,s__ComputerProtocol))
       =>
       ((s__implementsProtocol(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__domesticPartner(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Man))
       =>
       ((s__stepfather(V__ROW1,V__ROW2)
         =>
         (s__legalRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__FormOfAdaptationAttribute))
       =>
       ((s__formOfAdaptation(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__height(V__ROW1,V__ROW2)
         =>
         (s__linearExtent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__freePropertyAmenity(V__ROW1,V__ROW2)
         =>
         (s__propertyAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__domesticPartner(V__ROW1,V__ROW2)
         =>
         (s__cohabitant(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__TimeDuration))
       =>
       ((s__age(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__productBrand(V__ROW1,V__ROW2)
     =>
     (s__refers(V__ROW1,V__ROW2)))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Animal) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__grasps(V__ROW1,V__ROW2)
         =>
         (s__meetsSpatially(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GUIElement) &
         s__instance(V__ROW2,s__GUElementState))
       =>
       ((s__hasGUEState(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

Merge.kif 446-452

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


( ! [V__CLASS2,V__CLASS1,V__REL2,V__REL1,V__NUMBER] :
   (((s__instance(V__CLASS2,s__Class) &
         s__instance(V__CLASS1,s__Class) &
         s__instance(V__REL2,s__Relation) &
         s__instance(V__REL1,s__Relation) &
         s__instance(V__NUMBER,s__PositiveInteger))
       =>
       (((s__domain(V__REL1,V__NUMBER,V__CLASS1)
           &
           s__domain(V__REL2,V__NUMBER,V__CLASS2)
         &
         s__disjoint(V__CLASS1,V__CLASS2))
     =>
     (s__disjointRelation(V__REL1,V__REL2)))))
)
)

Merge.kif 418-423
( ! [V__CLASS2,V__CLASS1,V__REL2,V__REL1,V__NUMBER] :
   (((s__instance(V__CLASS2,s__Class) &
         s__instance(V__CLASS1,s__Class) &
         s__instance(V__REL2,s__Relation) &
         s__instance(V__REL1,s__Relation) &
         s__instance(V__NUMBER,s__PositiveInteger))
       =>
       (((s__domainSubclass(V__REL1,V__NUMBER,V__CLASS1)
           &
           s__domainSubclass(V__REL2,V__NUMBER,V__CLASS2)
         &
         s__disjoint(V__CLASS1,V__CLASS2))
     =>
     (s__disjointRelation(V__REL1,V__REL2)))))
)
)

Merge.kif 425-430
( ! [V__CLASS2,V__CLASS1,V__REL2,V__REL1] :
   (((s__instance(V__CLASS2,s__Class) &
         s__instance(V__CLASS1,s__Class) &
         s__instance(V__REL2,s__Function) &
         s__instance(V__REL1,s__Function))
       =>
       (((s__range(V__REL1,V__CLASS1)
           &
           s__range(V__REL2,V__CLASS2)
         &
         s__disjoint(V__CLASS1,V__CLASS2))
     =>
     (s__disjointRelation(V__REL1,V__REL2)))))
)
)

Merge.kif 432-437
( ! [V__CLASS2,V__CLASS1,V__REL2,V__REL1] :
   (((s__subclass(V__CLASS2,s__Class) &
         s__instance(V__CLASS2,s__Class) &
         s__subclass(V__CLASS1,s__Class) &
         s__instance(V__CLASS1,s__Class) &
         s__instance(V__REL2,s__Function) &
         s__instance(V__REL1,s__Function))
       =>
       (((s__rangeSubclass(V__REL1,V__CLASS1)
           &
           s__rangeSubclass(V__REL2,V__CLASS2)
         &
         s__disjoint(V__CLASS1,V__CLASS2))
     =>
     (s__disjointRelation(V__REL1,V__REL2)))))
)
)

Merge.kif 439-444

appearance as argument number 0
-------------------------


s__disjointRelation(s__ancestorOrganization__m,s__subOrganization__m)

Mid-level-ontology.kif 22358-22358 ancestor organization and sub organization are disjoint
s__disjointRelation(s__contains__m,s__part__m)

Merge.kif 946-946 contains and part are disjoint
s__disjointRelation(s__crosses__m,s__connected__m)

Merge.kif 4063-4063 crosses and connected are disjoint
s__disjointRelation(s__decreasesLikelihood__m,s__independentProbability__m)

Merge.kif 2508-2508 decreases likelihood and independent probability are disjoint
s__disjointRelation(s__deprivesNorm__m,s__confersNorm__m)

Merge.kif 3885-3885 deprives norm and confers norm are disjoint
s__disjointRelation(s__disapproves__m,s__desires__m)

Mid-level-ontology.kif 6803-6803 disapproves and desires are disjoint
s__disjointRelation(s__dislikes__m,s__wants__m)

Mid-level-ontology.kif 6787-6787 dislikes and wants are disjoint
s__disjointRelation(s__increasesLikelihood__m,s__decreasesLikelihood__m)

Merge.kif 2506-2506 increases likelihood and decreases likelihood are disjoint
s__disjointRelation(s__increasesLikelihood__m,s__independentProbability__m)

Merge.kif 2507-2507 increases likelihood and independent probability are disjoint
s__disjointRelation(s__manner__m,s__attribute__m)

Merge.kif 1644-1644 manner and attribute are disjoint
s__disjointRelation(s__meetsSpatially__m,s__overlapsSpatially__m)

Merge.kif 9151-9151 meets spatially and overlaps spatially are disjoint
s__disjointRelation(s__mutualStranger__m,s__mutualAcquaintance__m)

Mid-level-ontology.kif 21553-21553 mutual stranger and mutual acquaintance are disjoint
s__disjointRelation(s__referee__m,s__plays__m)

ComputingBrands.kif 1648-1648 referee and plays are disjoint
s__disjointRelation(s__resource__m,s__instrument__m)

Merge.kif 2422-2422 resource and instrument are disjoint
s__disjointRelation(s__resource__m,s__result__m)

Merge.kif 2421-2421 resource and result are disjoint
s__disjointRelation(s__result__m,s__instrument__m)

Merge.kif 2423-2423 result and instrument are disjoint
s__disjointRelation(s__spouse__m,s__domesticPartner__m)

Mid-level-ontology.kif 21568-21568 spouse and domestic partner are disjoint
s__disjointRelation(s__stays__m,s__home__m)

Merge.kif 13708-13708 stays and home are disjoint
s__disjointRelation(s__stranger__m,s__acquaintance__m)

Mid-level-ontology.kif 21538-21538 stranger and acquaintance are disjoint
s__disjointRelation(s__subAttribute__m,s__successorAttribute__m)

Merge.kif 656-656 sub attribute and successor attribute are disjoint
s__disjointRelation(s__subsumedExternalConcept__m,s__subsumingExternalConcept__m)

Merge.kif 622-622 subsumed external concept and subsuming external concept are disjoint
s__disjointRelation(s__synonymousExternalConcept__m,s__subsumedExternalConcept__m)

Merge.kif 620-620 synonymous external concept and subsumed external concept are disjoint
s__disjointRelation(s__synonymousExternalConcept__m,s__subsumingExternalConcept__m)

Merge.kif 621-621 synonymous external concept and subsuming external concept are disjoint


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