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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(irreflexive relation)

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


s__documentation(s__IrreflexiveRelation,s__ChineseLanguage,'"Relation ?REL 属于非自反关系当且仅当没有 一个?INST 是(?REL ?INST ?INST)。"')

chinese_format.kif 1835-1836
s__documentation(s__IrreflexiveRelation,s__EnglishLanguage,'"Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST."')

Merge.kif 2165-2166
s__externalImage(s__IrreflexiveRelation,'"http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png"')

pictureList.kif 8553-8553
s__externalImage(s__IrreflexiveRelation,'"http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png"')

pictureList.kif 9361-9361
s__instance(s__BinaryRelation,s__SetOrClass)

s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__subclass(s__IrreflexiveRelation,s__BinaryRelation)

Merge.kif 2163-2163 Irreflexive relation is a subclass of binary relation

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


s__instance(s__ancestor__m,s__IrreflexiveRelation)

s__instance(s__IrreflexiveRelation,s__SetOrClass)

Merge.kif 15571-15571 ancestor is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__ancestorOrganization__m,s__IrreflexiveRelation)

Mid-level-ontology.kif 22354-22354 ancestor organization is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__antagonistMuscles__m,s__IrreflexiveRelation)

Mid-level-ontology.kif 9363-9363 antagonist muscles is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__attribute__m,s__IrreflexiveRelation)

Merge.kif 1626-1626 attribute is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__before__m,s__IrreflexiveRelation)

Merge.kif 7810-7810 before is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__brother__m,s__IrreflexiveRelation)

Merge.kif 15724-15724 brother is an instance of irreflexive relation
s__instance(s__conjugate__m,s__IrreflexiveRelation)

s__instance(s__IrreflexiveRelation,s__SetOrClass)

Mid-level-ontology.kif 5912-5912 conjugate is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__connectedEngineeringComponents__m,s__IrreflexiveRelation)

Merge.kif 15322-15322 connected engineering components is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__customer__m,s__IrreflexiveRelation)

Mid-level-ontology.kif 7073-7073 customer is an instance of irreflexive relation
s__instance(s__decreasesLikelihood__m,s__IrreflexiveRelation)

s__instance(s__IrreflexiveRelation,s__SetOrClass)

Merge.kif 2523-2523 decreases likelihood is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__diplomaticRelations__m,s__IrreflexiveRelation)

Government.kif 4507-4507 diplomatic relations is an instance of irreflexive relation
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__IrreflexiveRelation,s__SetOrClass)

s__instance(s__during__m,s__IrreflexiveRelation)

Merge.kif 7939-7939 during is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__earlier__m,s__IrreflexiveRelation)

Merge.kif 7986-7986 earlier is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__exportPartner__m,s__IrreflexiveRelation)

Economy.kif 2374-2374 export partner is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__finishes__m,s__IrreflexiveRelation)

Merge.kif 7790-7790 finishes is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__graphPart__m,s__IrreflexiveRelation)

Merge.kif 5619-5619 graph part is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__greaterThan__m,s__IrreflexiveRelation)

Merge.kif 1759-1759 greater than is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__hinders__m,s__IrreflexiveRelation)

Merge.kif 4238-4238 hinders is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__hindersSubclass__m,s__IrreflexiveRelation)

Merge.kif 4156-4156 hindersSubclass is an instance of irreflexive relation
s__instance(s__hostileForces__m,s__IrreflexiveRelation)

s__instance(s__IrreflexiveRelation,s__SetOrClass)

Mid-level-ontology.kif 7691-7691 hostile forces is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__husband__m,s__IrreflexiveRelation)

Merge.kif 15794-15794 husband is an instance of irreflexive relation
s__instance(s__importPartner__m,s__IrreflexiveRelation)

s__instance(s__IrreflexiveRelation,s__SetOrClass)

Economy.kif 2661-2661 import partner is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__inList__m,s__IrreflexiveRelation)

Merge.kif 2998-2998 in list is an instance of irreflexive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__increasesLikelihood__m,s__IrreflexiveRelation)

Merge.kif 2503-2503 increases likelihood is an instance of irreflexive relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(s__instance(s__penetrates__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__penetrates(V__INST,V__INST))))))))

(s__instance(s__hasThroughVariable__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__MultipoleVariable) &
             s__instance(V__INST,s__MultipolePole))
           =>
           (~(s__hasThroughVariable(V__INST,V__INST))))))))

(s__instance(s__manner__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Attribute) &
             s__instance(V__INST,s__Process))
           =>
           (~(s__manner(V__INST,V__INST))))))))

(s__instance(s__experimentalSubject__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__Experimenting))
           =>
           (~(s__experimentalSubject(V__INST,V__INST))))))))

(s__instance(s__geopoliticalSubdivision__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__GeopoliticalArea) =>
           (~(s__geopoliticalSubdivision(V__INST,V__INST))))))))

(s__instance(s__givenName__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__SymbolicString))
           =>
           (~(s__givenName(V__INST,V__INST))))))))

(s__instance(s__citizen__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__Nation))
           =>
           (~(s__citizen(V__INST,V__INST))))))))

(s__instance(s__inList__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__List) =>
           (~(s__inList(V__INST,V__INST))))))))

(s__instance(s__listedOn__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Organization) &
             s__instance(V__INST,s__Stock))
           =>
           (~(s__listedOn(V__INST,V__INST))))))))

(s__instance(s__properlyFills__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Hole) =>
           (~(s__properlyFills(V__INST,V__INST))))))))

(s__instance(s__ancestorOrganization__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organization) =>
           (~(s__ancestorOrganization(V__INST,V__INST))))))))

(s__instance(s__deviceTelecomNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__TelecomNumber) &
             s__instance(V__INST,s__TelephonyDevice))
           =>
           (~(s__deviceTelecomNumber(V__INST,V__INST))))))))

(s__instance(s__diplomaticRelations__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__GeopoliticalArea) =>
           (~(s__diplomaticRelations(V__INST,V__INST))))))))

(s__instance(s__meetsSpatially__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__meetsSpatially(V__INST,V__INST))))))))

(s__instance(s__considers__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Formula) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__considers(V__INST,V__INST))))))))

(s__instance(s__linearExtent__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Physical) &
             s__instance(V__INST,s__LengthMeasure))
           =>
           (~(s__linearExtent(V__INST,V__INST))))))))

(s__instance(s__riskLevel__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__RiskAttribute) &
             s__instance(V__INST,s__Investment))
           =>
           (~(s__riskLevel(V__INST,V__INST))))))))

(s__instance(s__monthlyIncome__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__CurrencyMeasure))
           =>
           (~(s__monthlyIncome(V__INST,V__INST))))))))

(s__instance(s__earlier__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TimeInterval) =>
           (~(s__earlier(V__INST,V__INST))))))))

(s__instance(s__resourceExhausted__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Process) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__resourceExhausted(V__INST,V__INST))))))))

(s__instance(s__states__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Sentence) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__states(V__INST,V__INST))))))))

(s__instance(s__homeAddress__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__PermanentResidence))
           =>
           (~(s__homeAddress(V__INST,V__INST))))))))

(s__instance(s__absorbedDose__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__RadiationMeasure))
           =>
           (~(s__absorbedDose(V__INST,V__INST))))))))

(s__instance(s__frequency__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__TimeDuration) &
             s__subclass(V__INST,s__Process))
           =>
           (~(s__frequency(V__INST,V__INST))))))))

(s__instance(s__desires__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Formula) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__desires(V__INST,V__INST))))))))

(s__instance(s__targetInAttack__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Process) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__targetInAttack(V__INST,V__INST))))))))

(s__instance(s__geographicSubregion__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__GeographicArea) =>
           (~(s__geographicSubregion(V__INST,V__INST))))))))

(s__instance(s__version__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__subclass(V__INST,s__Artifact) =>
           (~(s__version(V__INST,V__INST))))))))

(s__instance(s__coldSeasonInArea__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__GeographicArea) &
             s__subclass(V__INST,s__TimeInterval))
           =>
           (~(s__coldSeasonInArea(V__INST,V__INST))))))))

(s__instance(s__lowAltitudeWindSpeed__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__PhysicalQuantity))
           =>
           (~(s__lowAltitudeWindSpeed(V__INST,V__INST))))))))

(s__instance(s__standardOutputDevice__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerProcess) &
             s__instance(V__INST,s__ComputerOutputDevice))
           =>
           (~(s__standardOutputDevice(V__INST,V__INST))))))))

(s__instance(s__loudness__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ConstantQuantity) &
             s__instance(V__INST,s__RadiatingSound))
           =>
           (~(s__loudness(V__INST,V__INST))))))))

(s__instance(s__holdsDuring__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Formula) &
             s__instance(V__INST,s__TimePosition))
           =>
           (~(s__holdsDuring(V__INST,V__INST))))))))

(s__instance(s__greaterThan__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Quantity) =>
           (~(s__greaterThan(V__INST,V__INST))))))))

(s__instance(s__successorAttributeClosure__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Attribute) =>
           (~(s__successorAttributeClosure(V__INST,V__INST))))))))

(s__instance(s__warmSeasonInArea__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__GeographicArea) &
             s__subclass(V__INST,s__TimeInterval))
           =>
           (~(s__warmSeasonInArea(V__INST,V__INST))))))))

(s__instance(s__atomicNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__ElementalSubstance) &
             s__instance(V__INST,s__PositiveInteger))
           =>
           (~(s__atomicNumber(V__INST,V__INST))))))))

(s__instance(s__experimenter__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Experimenting) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__experimenter(V__INST,V__INST))))))))

(s__instance(s__conveyance__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Transportation) &
             s__instance(V__INST,s__TransportationDevice))
           =>
           (~(s__conveyance(V__INST,V__INST))))))))

(s__instance(s__deviceOS__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__ComputerProgram) &
             s__subclass(V__INST,s__Computer))
           =>
           (~(s__deviceOS(V__INST,V__INST))))))))

(s__instance(s__surface__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__SelfConnectedObject) =>
           (~(s__surface(V__INST,V__INST))))))))

(s__instance(s__attends__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__Demonstrating))
           =>
           (~(s__attends(V__INST,V__INST))))))))

(s__instance(s__loss__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__FinancialTransaction) &
             s__instance(V__INST,s__CurrencyMeasure))
           =>
           (~(s__loss(V__INST,V__INST))))))))

(s__instance(s__serviceProvider__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ServiceProcess) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__serviceProvider(V__INST,V__INST))))))))

(s__instance(s__maritimeClaimType__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__MaritimeClaimArea) &
             s__instance(V__INST,s__GeopoliticalArea))
           =>
           (~(s__maritimeClaimType(V__INST,V__INST))))))))

(s__instance(s__defenseLawyer__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__LegalAction) =>
           (~(s__defenseLawyer(V__INST,V__INST))))))))

(s__instance(s__conventionalLongName__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__SymbolicString) =>
           (~(s__conventionalLongName(V__INST,V__INST))))))))

(s__instance(s__postPostcodeArea__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PostcodeArea) &
             s__instance(V__INST,s__PostalPlace))
           =>
           (~(s__postPostcodeArea(V__INST,V__INST))))))))

(s__instance(s__agentName__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__SymbolicString))
           =>
           (~(s__agentName(V__INST,V__INST))))))))

(s__instance(s__patient__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Process) =>
           (~(s__patient(V__INST,V__INST))))))))

(s__instance(s__relativeHumidity__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__NonnegativeRealNumber))
           =>
           (~(s__relativeHumidity(V__INST,V__INST))))))))

(s__instance(s__grandparent__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Human) =>
           (~(s__grandparent(V__INST,V__INST))))))))

(s__instance(s__effectiveRange__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Device) &
             s__instance(V__INST,s__LengthMeasure))
           =>
           (~(s__effectiveRange(V__INST,V__INST))))))))

(s__instance(s__gainsControl__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__AchievingControl))
           =>
           (~(s__gainsControl(V__INST,V__INST))))))))

(s__instance(s__executiveBranch__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organization) =>
           (~(s__executiveBranch(V__INST,V__INST))))))))

(s__instance(s__yieldLevel__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__FinancialAccount) &
             s__instance(V__INST,s__YieldAttribute))
           =>
           (~(s__yieldLevel(V__INST,V__INST))))))))

(s__instance(s__hasGUEState__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__GUIElement) &
             s__instance(V__INST,s__GUElementState))
           =>
           (~(s__hasGUEState(V__INST,V__INST))))))))

(s__instance(s__checkNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PositiveInteger) &
             s__instance(V__INST,s__Check))
           =>
           (~(s__checkNumber(V__INST,V__INST))))))))

(s__instance(s__objectOfBid__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Bidding) =>
           (~(s__objectOfBid(V__INST,V__INST))))))))

(s__instance(s__operator__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Agent) =>
           (~(s__operator(V__INST,V__INST))))))))

(s__instance(s__customer__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__CognitiveAgent) =>
           (~(s__customer(V__INST,V__INST))))))))

(s__instance(s__productModel__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__SymbolicString) &
             s__subclass(V__INST,s__Product))
           =>
           (~(s__productModel(V__INST,V__INST))))))))

(s__instance(s__color__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__ColorAttribute))
           =>
           (~(s__color(V__INST,V__INST))))))))

(s__instance(s__spouse__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Human) =>
           (~(s__spouse(V__INST,V__INST))))))))

(s__instance(s__guiElementCoveredBy__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__GUIElement) =>
           (~(s__guiElementCoveredBy(V__INST,V__INST))))))))

(s__instance(s__hinders__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Process) &
             s__subclass(V__INST,s__Process))
           =>
           (~(s__hinders(V__INST,V__INST))))))))

(s__instance(s__realization__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Process) &
             s__instance(V__INST,s__Proposition))
           =>
           (~(s__realization(V__INST,V__INST))))))))

(s__instance(s__immediateInstance__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (~(s__immediateInstance(V__INST,V__INST))))))

(s__instance(s__possesses__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Agent) =>
           (~(s__possesses(V__INST,V__INST))))))))

(s__instance(s__agreementAdoptionDate__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__TimePosition) &
             s__instance(V__INST,s__Proposition))
           =>
           (~(s__agreementAdoptionDate(V__INST,V__INST))))))))

(s__instance(s__profit__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__FinancialTransaction) &
             s__instance(V__INST,s__CurrencyMeasure))
           =>
           (~(s__profit(V__INST,V__INST))))))))

(s__instance(s__creditRanking__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__FinancialRating) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__creditRanking(V__INST,V__INST))))))))

(s__instance(s__amountOfBid__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Bidding) &
             s__instance(V__INST,s__CurrencyMeasure))
           =>
           (~(s__amountOfBid(V__INST,V__INST))))))))

(s__instance(s__telecomAreaCode__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TelecomNumber) =>
           (~(s__telecomAreaCode(V__INST,V__INST))))))))

(s__instance(s__increasesLikelihood__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Formula) =>
           (~(s__increasesLikelihood(V__INST,V__INST))))))))

(s__instance(s__holdsRight__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Formula) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__holdsRight(V__INST,V__INST))))))))

(s__instance(s__direction__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PositionalAttribute) &
             s__instance(V__INST,s__Process))
           =>
           (~(s__direction(V__INST,V__INST))))))))

(s__instance(s__oppositeDirection__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__PositionalAttribute) =>
           (~(s__oppositeDirection(V__INST,V__INST))))))))

(s__instance(s__equivalenceRelationOn__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Class) &
             s__instance(V__INST,s__BinaryRelation))
           =>
           (~(s__equivalenceRelationOn(V__INST,V__INST))))))))

(s__instance(s__experiencer__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__Process))
           =>
           (~(s__experiencer(V__INST,V__INST))))))))

(s__instance(s__stockSymbol__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__SymbolicString) &
             s__instance(V__INST,s__Stock))
           =>
           (~(s__stockSymbol(V__INST,V__INST))))))))

(s__instance(s__prevents__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Process) &
             s__subclass(V__INST,s__Process))
           =>
           (~(s__prevents(V__INST,V__INST))))))))

(s__instance(s__headingWRTTrueNorth__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__PlaneAngleMeasure))
           =>
           (~(s__headingWRTTrueNorth(V__INST,V__INST))))))))

(s__instance(s__airTemperature__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__TemperatureMeasure) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__airTemperature(V__INST,V__INST))))))))

(s__instance(s__fullName__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__SymbolicString) =>
           (~(s__fullName(V__INST,V__INST))))))))

(s__instance(s__causesProposition__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Formula) =>
           (~(s__causesProposition(V__INST,V__INST))))))))

(s__instance(s__date__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Physical) &
             s__instance(V__INST,s__Day))
           =>
           (~(s__date(V__INST,V__INST))))))))

(s__instance(s__musicGenre__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__musicGenre(V__INST,V__INST))))))))

(s__instance(s__enjoys__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__IntentionalProcess) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__enjoys(V__INST,V__INST))))))))

(s__instance(s__humanName__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__SymbolicString))
           =>
           (~(s__humanName(V__INST,V__INST))))))))

(s__instance(s__collectRate__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputationalSystem) &
             s__instance(V__INST,s__TimeDuration))
           =>
           (~(s__collectRate(V__INST,V__INST))))))))

(s__instance(s__inhabits__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organism) =>
           (~(s__inhabits(V__INST,V__INST))))))))

(s__instance(s__groupMember__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__GroupOfPeople))
           =>
           (~(s__groupMember(V__INST,V__INST))))))))

(s__instance(s__accountPhoneNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__TelecomNumber) &
             s__instance(V__INST,s__UserAccount))
           =>
           (~(s__accountPhoneNumber(V__INST,V__INST))))))))

(s__instance(s__phMeasure__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__AcidityMeasure) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__phMeasure(V__INST,V__INST))))))))

(s__instance(s__successorOrganization__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organization) =>
           (~(s__successorOrganization(V__INST,V__INST))))))))

(s__instance(s__holdsObligation__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Formula) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__holdsObligation(V__INST,V__INST))))))))

(s__instance(s__familyName__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__SymbolicString))
           =>
           (~(s__familyName(V__INST,V__INST))))))))

(s__instance(s__chamberOfLegislature__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organization) =>
           (~(s__chamberOfLegislature(V__INST,V__INST))))))))

(s__instance(s__result__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Process) =>
           (~(s__result(V__INST,V__INST))))))))

(s__instance(s__editor__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__subclass(V__INST,s__Text))
           =>
           (~(s__editor(V__INST,V__INST))))))))

(s__instance(s__standardErrorDevice__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerProcess) &
             s__instance(V__INST,s__ComputerOutputDevice))
           =>
           (~(s__standardErrorDevice(V__INST,V__INST))))))))

(s__instance(s__serviceRecipient__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ServiceProcess) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__serviceRecipient(V__INST,V__INST))))))))

(s__instance(s__contestParticipant__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__Contest))
           =>
           (~(s__contestParticipant(V__INST,V__INST))))))))

(s__instance(s__connectedEngineeringComponents__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__EngineeringComponent) =>
           (~(s__connectedEngineeringComponents(V__INST,V__INST))))))))

(s__instance(s__subField__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__FieldOfStudy) =>
           (~(s__subField(V__INST,V__INST))))))))

(s__instance(s__uses__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Agent) =>
           (~(s__uses(V__INST,V__INST))))))))

(s__instance(s__perpetrator__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__CriminalAction) =>
           (~(s__perpetrator(V__INST,V__INST))))))))

(s__instance(s__computerRunning__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerProcess) &
             s__instance(V__INST,s__Computer))
           =>
           (~(s__computerRunning(V__INST,V__INST))))))))

(s__instance(s__drySeasonInArea__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__GeographicArea) &
             s__subclass(V__INST,s__TimeInterval))
           =>
           (~(s__drySeasonInArea(V__INST,V__INST))))))))

(s__instance(s__telecomCountryCode__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TelecomNumber) =>
           (~(s__telecomCountryCode(V__INST,V__INST))))))))

(s__instance(s__programCopy__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerProgram) &
             s__instance(V__INST,s__ComputerFile))
           =>
           (~(s__programCopy(V__INST,V__INST))))))))

(s__instance(s__judicialBranch__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organization) =>
           (~(s__judicialBranch(V__INST,V__INST))))))))

(s__instance(s__losesControl__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__ChangeOfControl))
           =>
           (~(s__losesControl(V__INST,V__INST))))))))

(s__instance(s__involvedInEvent__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Process) =>
           (~(s__involvedInEvent(V__INST,V__INST))))))))

(s__instance(s__guiElementPartiallyCoveredBy__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__GUIElement) =>
           (~(s__guiElementPartiallyCoveredBy(V__INST,V__INST))))))))

(s__instance(s__economyType__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__EconomicAttribute))
           =>
           (~(s__economyType(V__INST,V__INST))))))))

(s__instance(s__primaryGeopoliticalSubdivisionType__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__GeopoliticalArea) &
             s__instance(V__INST,s__GeopoliticalArea))
           =>
           (~(s__primaryGeopoliticalSubdivisionType(V__INST,V__INST))))))))

(s__instance(s__netAmount__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Investment) &
             s__instance(V__INST,s__CurrencyMeasure))
           =>
           (~(s__netAmount(V__INST,V__INST))))))))

(s__instance(s__son__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organism) =>
           (~(s__son(V__INST,V__INST))))))))

(s__instance(s__flows__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Physical) =>
           (~(s__flows(V__INST,V__INST))))))))

(s__instance(s__fleetDeadWeightTonnage__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__MassMeasure) &
             s__instance(V__INST,s__Collection))
           =>
           (~(s__fleetDeadWeightTonnage(V__INST,V__INST))))))))

(s__instance(s__organizationName__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Organization) &
             s__instance(V__INST,s__SymbolicString))
           =>
           (~(s__organizationName(V__INST,V__INST))))))))

(s__instance(s__exploits__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Agent) =>
           (~(s__exploits(V__INST,V__INST))))))))

(s__instance(s__partialOrderingOn__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Class) &
             s__instance(V__INST,s__BinaryRelation))
           =>
           (~(s__partialOrderingOn(V__INST,V__INST))))))))

(s__instance(s__precipitationAmount__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Precipitation) &
             s__instance(V__INST,s__ConstantQuantity))
           =>
           (~(s__precipitationAmount(V__INST,V__INST))))))))

(s__instance(s__postCountry__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PostalPlace) &
             s__instance(V__INST,s__GeopoliticalArea))
           =>
           (~(s__postCountry(V__INST,V__INST))))))))

(s__instance(s__postDistrict__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__StateOrProvince) &
             s__instance(V__INST,s__PostalPlace))
           =>
           (~(s__postDistrict(V__INST,V__INST))))))))

(s__instance(s__superficialPart__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__superficialPart(V__INST,V__INST))))))))

(s__instance(s__albumTrack__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Album) &
             s__instance(V__INST,s__Recording))
           =>
           (~(s__albumTrack(V__INST,V__INST))))))))

(s__instance(s__broker__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__FinancialTransaction))
           =>
           (~(s__broker(V__INST,V__INST))))))))

(s__instance(s__sendRate__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputationalSystem) &
             s__instance(V__INST,s__TimeDuration))
           =>
           (~(s__sendRate(V__INST,V__INST))))))))

(s__instance(s__postContactSite__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__PostalPlace))
           =>
           (~(s__postContactSite(V__INST,V__INST))))))))

(s__instance(s__expressedInLanguage__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Language) =>
           (~(s__expressedInLanguage(V__INST,V__INST))))))))

(s__instance(s__acronym__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__SymbolicString) =>
           (~(s__acronym(V__INST,V__INST))))))))

(s__instance(s__attribute__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Attribute) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__attribute(V__INST,V__INST))))))))

(s__instance(s__bankAccount__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__FinancialAccount) &
             s__instance(V__INST,s__Bank_FinancialOrganization))
           =>
           (~(s__bankAccount(V__INST,V__INST))))))))

(s__instance(s__range__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Function) &
             s__instance(V__INST,s__Class))
           =>
           (~(s__range(V__INST,V__INST))))))))

(s__instance(s__brother__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Man) =>
           (~(s__brother(V__INST,V__INST))))))))

(s__instance(s__eventPartlyLocated__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Process) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__eventPartlyLocated(V__INST,V__INST))))))))

(s__instance(s__smaller__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__smaller(V__INST,V__INST))))))))

(s__instance(s__hotSeasonInArea__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__GeographicArea) &
             s__subclass(V__INST,s__TimeInterval))
           =>
           (~(s__hotSeasonInArea(V__INST,V__INST))))))))

(s__instance(s__systemMeasured__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__MeasuringPerformance) &
             s__instance(V__INST,s__ComputationalSystem))
           =>
           (~(s__systemMeasured(V__INST,V__INST))))))))

(s__instance(s__changesLocation__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Translocation) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__changesLocation(V__INST,V__INST))))))))

(s__instance(s__load__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerComponent) &
             s__instance(V__INST,s__ConstantQuantity))
           =>
           (~(s__load(V__INST,V__INST))))))))

(s__instance(s__agreementEffectiveDuring__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__TimePosition) &
             s__instance(V__INST,s__Proposition))
           =>
           (~(s__agreementEffectiveDuring(V__INST,V__INST))))))))

(s__instance(s__wavelength__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__LengthMeasure) &
             s__instance(V__INST,s__Radiating))
           =>
           (~(s__wavelength(V__INST,V__INST))))))))

(s__instance(s__overlapsPartially__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__overlapsPartially(V__INST,V__INST))))))))

(s__instance(s__workPhoneNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__TelecomNumber))
           =>
           (~(s__workPhoneNumber(V__INST,V__INST))))))))

(s__instance(s__starts__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TimeInterval) =>
           (~(s__starts(V__INST,V__INST))))))))

(s__instance(s__highAltitudeWindSpeed__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__ConstantQuantity))
           =>
           (~(s__highAltitudeWindSpeed(V__INST,V__INST))))))))

(s__instance(s__reagent__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Substance) &
             s__instance(V__INST,s__ChemicalProcess))
           =>
           (~(s__reagent(V__INST,V__INST))))))))

(s__instance(s__hindersSubclass__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__subclass(V__INST,s__Process) =>
           (~(s__hindersSubclass(V__INST,V__INST))))))))

(s__instance(s__irreflexiveOn__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Class) &
             s__instance(V__INST,s__BinaryRelation))
           =>
           (~(s__irreflexiveOn(V__INST,V__INST))))))))

(s__instance(s__dataProcessed__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerProcess) &
             s__instance(V__INST,s__DigitalData))
           =>
           (~(s__dataProcessed(V__INST,V__INST))))))))

(s__instance(s__successorAttribute__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Attribute) =>
           (~(s__successorAttribute(V__INST,V__INST))))))))

(s__instance(s__larger__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__larger(V__INST,V__INST))))))))

(s__instance(s__capitalCity__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__City) =>
           (~(s__capitalCity(V__INST,V__INST))))))))

(s__instance(s__disapproves__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Formula) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__disapproves(V__INST,V__INST))))))))

(s__instance(s__teacher__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__EducationalOrganization))
           =>
           (~(s__teacher(V__INST,V__INST))))))))

(s__instance(s__developmentalForm__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__OrganicObject) &
             s__instance(V__INST,s__DevelopmentalAttribute))
           =>
           (~(s__developmentalForm(V__INST,V__INST))))))))

(s__instance(s__grandmother__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Woman) =>
           (~(s__grandmother(V__INST,V__INST))))))))

(s__instance(s__precondition__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__subclass(V__INST,s__Process) =>
           (~(s__precondition(V__INST,V__INST))))))))

(s__instance(s__student__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__EducationalOrganization))
           =>
           (~(s__student(V__INST,V__INST))))))))

(s__instance(s__coolSeasonInArea__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__GeographicArea) &
             s__subclass(V__INST,s__TimeInterval))
           =>
           (~(s__coolSeasonInArea(V__INST,V__INST))))))))

(s__instance(s__eCommerceSite__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__WebSite) &
             s__instance(V__INST,s__FinancialTransaction))
           =>
           (~(s__eCommerceSite(V__INST,V__INST))))))))

(s__instance(s__userName__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__UserName) &
             s__instance(V__INST,s__UserAccount))
           =>
           (~(s__userName(V__INST,V__INST))))))))

(s__instance(s__waterDepth__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__WaterArea) &
             s__instance(V__INST,s__LengthMeasure))
           =>
           (~(s__waterDepth(V__INST,V__INST))))))))

(s__instance(s__duration__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__TimeInterval) &
             s__instance(V__INST,s__TimeDuration))
           =>
           (~(s__duration(V__INST,V__INST))))))))

(s__instance(s__hasAcrossVariable__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__MultipoleVariable) &
             s__instance(V__INST,s__MultipolePole))
           =>
           (~(s__hasAcrossVariable(V__INST,V__INST))))))))

(s__instance(s__leader__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Human) =>
           (~(s__leader(V__INST,V__INST))))))))

(s__instance(s__telecomExtension__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TelecomNumber) =>
           (~(s__telecomExtension(V__INST,V__INST))))))))

(s__instance(s__inverse__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__BinaryRelation) =>
           (~(s__inverse(V__INST,V__INST))))))))

(s__instance(s__headingWRTMagneticNorth__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__PlaneAngleMeasure))
           =>
           (~(s__headingWRTMagneticNorth(V__INST,V__INST))))))))

(s__instance(s__canRunOn__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__ComputerProgram) &
             s__subclass(V__INST,s__Computer))
           =>
           (~(s__canRunOn(V__INST,V__INST))))))))

(s__instance(s__exportPartner__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Agent) =>
           (~(s__exportPartner(V__INST,V__INST))))))))

(s__instance(s__subPlan__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Plan) =>
           (~(s__subPlan(V__INST,V__INST))))))))

(s__instance(s__sister__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Woman) =>
           (~(s__sister(V__INST,V__INST))))))))

(s__instance(s__conjugate__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__CompoundSubstance) =>
           (~(s__conjugate(V__INST,V__INST))))))))

(s__instance(s__top__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__SelfConnectedObject) =>
           (~(s__top(V__INST,V__INST))))))))

(s__instance(s__resourceUsed__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerProcess) &
             s__instance(V__INST,s__ComputerResource))
           =>
           (~(s__resourceUsed(V__INST,V__INST))))))))

(s__instance(s__home__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__PermanentResidence))
           =>
           (~(s__home(V__INST,V__INST))))))))

(s__instance(s__runsOn__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Computer) &
             s__instance(V__INST,s__ComputerProgram))
           =>
           (~(s__runsOn(V__INST,V__INST))))))))

(s__instance(s__financialAsset__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Agent) =>
           (~(s__financialAsset(V__INST,V__INST))))))))

(s__instance(s__postStreet__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Roadway) &
             s__instance(V__INST,s__PostalPlace))
           =>
           (~(s__postStreet(V__INST,V__INST))))))))

(s__instance(s__tributary__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Physical) =>
           (~(s__tributary(V__INST,V__INST))))))))

(s__instance(s__processAborted__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Abort) =>
           (~(s__processAborted(V__INST,V__INST))))))))

(s__instance(s__victim__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__CriminalAction) =>
           (~(s__victim(V__INST,V__INST))))))))

(s__instance(s__middleName__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__SymbolicString))
           =>
           (~(s__middleName(V__INST,V__INST))))))))

(s__instance(s__postNeighborhood__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PostalPlace) &
             s__instance(V__INST,s__Neighborhood))
           =>
           (~(s__postNeighborhood(V__INST,V__INST))))))))

(s__instance(s__windRelativePosition__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Attribute) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__windRelativePosition(V__INST,V__INST))))))))

(s__instance(s__member__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Collection) =>
           (~(s__member(V__INST,V__INST))))))))

(s__instance(s__riskTolerance__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__RiskAttribute) &
             s__instance(V__INST,s__Investor))
           =>
           (~(s__riskTolerance(V__INST,V__INST))))))))

(s__instance(s__causesSubclass__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__subclass(V__INST,s__Process) =>
           (~(s__causesSubclass(V__INST,V__INST))))))))

(s__instance(s__finalPrice__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Stock) &
             s__instance(V__INST,s__CurrencyMeasure))
           =>
           (~(s__finalPrice(V__INST,V__INST))))))))

(s__instance(s__monetaryValue__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Physical) &
             s__instance(V__INST,s__CurrencyMeasure))
           =>
           (~(s__monetaryValue(V__INST,V__INST))))))))

(s__instance(s__telecomCode2__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TelecomNumber) =>
           (~(s__telecomCode2(V__INST,V__INST))))))))

(s__instance(s__vegetationType__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__Plant) &
             s__instance(V__INST,s__GeographicArea))
           =>
           (~(s__vegetationType(V__INST,V__INST))))))))

(s__instance(s__composer__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__subclass(V__INST,s__MusicalComposition))
           =>
           (~(s__composer(V__INST,V__INST))))))))

(s__instance(s__wife__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Man) &
             s__instance(V__INST,s__Woman))
           =>
           (~(s__wife(V__INST,V__INST))))))))

(s__instance(s__pathLength__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PositiveInteger) &
             s__instance(V__INST,s__GraphPath))
           =>
           (~(s__pathLength(V__INST,V__INST))))))))

(s__instance(s__destination__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Process) =>
           (~(s__destination(V__INST,V__INST))))))))

(s__instance(s__graphPart__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Graph) &
             s__instance(V__INST,s__GraphElement))
           =>
           (~(s__graphPart(V__INST,V__INST))))))))

(s__instance(s__headingWRTCompassNorth__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__PlaneAngleMeasure))
           =>
           (~(s__headingWRTCompassNorth(V__INST,V__INST))))))))

(s__instance(s__measure__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Physical) &
             s__instance(V__INST,s__PhysicalQuantity))
           =>
           (~(s__measure(V__INST,V__INST))))))))

(s__instance(s__defendant__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__LegalAction) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__defendant(V__INST,V__INST))))))))

(s__instance(s__partiallyFills__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Hole) =>
           (~(s__partiallyFills(V__INST,V__INST))))))))

(s__instance(s__contains__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__SelfConnectedObject) =>
           (~(s__contains(V__INST,V__INST))))))))

(s__instance(s__side__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__SelfConnectedObject) =>
           (~(s__side(V__INST,V__INST))))))))

(s__instance(s__physicalEnd__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__physicalEnd(V__INST,V__INST))))))))

(s__instance(s__alias__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__SymbolicString))
           =>
           (~(s__alias(V__INST,V__INST))))))))

(s__instance(s__dependentGeopoliticalArea__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__GeopoliticalArea) =>
           (~(s__dependentGeopoliticalArea(V__INST,V__INST))))))))

(s__instance(s__publishes__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__Text) &
             s__instance(V__INST,s__Organization))
           =>
           (~(s__publishes(V__INST,V__INST))))))))

(s__instance(s__terrainInArea__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__GeographicArea) &
             s__instance(V__INST,s__TerrainAttribute))
           =>
           (~(s__terrainInArea(V__INST,V__INST))))))))

(s__instance(s__referee__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__Game))
           =>
           (~(s__referee(V__INST,V__INST))))))))

(s__instance(s__detainee__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Animal) &
             s__instance(V__INST,s__Confining))
           =>
           (~(s__detainee(V__INST,V__INST))))))))

(s__instance(s__hasSkill__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__subclass(V__INST,s__Process))
           =>
           (~(s__hasSkill(V__INST,V__INST))))))))

(s__instance(s__completelyFills__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__completelyFills(V__INST,V__INST))))))))

(s__instance(s__telecomCoreNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TelecomNumber) =>
           (~(s__telecomCoreNumber(V__INST,V__INST))))))))

(s__instance(s__age__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Physical) &
             s__instance(V__INST,s__TimeDuration))
           =>
           (~(s__age(V__INST,V__INST))))))))

(s__instance(s__attorney__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__LegalAction))
           =>
           (~(s__attorney(V__INST,V__INST))))))))

(s__instance(s__meetsTemporally__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TimeInterval) =>
           (~(s__meetsTemporally(V__INST,V__INST))))))))

(s__instance(s__telecomContactDevice__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__TelephonyDevice))
           =>
           (~(s__telecomContactDevice(V__INST,V__INST))))))))

(s__instance(s__judge__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__Process))
           =>
           (~(s__judge(V__INST,V__INST))))))))

(s__instance(s__hasPurpose__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Formula) =>
           (~(s__hasPurpose(V__INST,V__INST))))))))

(s__instance(s__accountNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PositiveInteger) &
             s__instance(V__INST,s__FinancialAccount))
           =>
           (~(s__accountNumber(V__INST,V__INST))))))))

(s__instance(s__governmentType__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__FormOfGovernment))
           =>
           (~(s__governmentType(V__INST,V__INST))))))))

(s__instance(s__plays__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__Game))
           =>
           (~(s__plays(V__INST,V__INST))))))))

(s__instance(s__parent__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organism) =>
           (~(s__parent(V__INST,V__INST))))))))

(s__instance(s__webVisitor__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__WebSite))
           =>
           (~(s__webVisitor(V__INST,V__INST))))))))

(s__instance(s__administrativeCenter__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__GeopoliticalArea) =>
           (~(s__administrativeCenter(V__INST,V__INST))))))))

(s__instance(s__fills__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Hole) =>
           (~(s__fills(V__INST,V__INST))))))))

(s__instance(s__agent__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__Process))
           =>
           (~(s__agent(V__INST,V__INST))))))))

(s__instance(s__insured__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Organization) &
             s__instance(V__INST,s__Proposition))
           =>
           (~(s__insured(V__INST,V__INST))))))))

(s__instance(s__objectDetached__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Process) =>
           (~(s__objectDetached(V__INST,V__INST))))))))

(s__instance(s__appraisedValue__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Collateral) &
             s__instance(V__INST,s__CurrencyMeasure))
           =>
           (~(s__appraisedValue(V__INST,V__INST))))))))

(s__instance(s__precipitationRate__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Precipitation) &
             s__instance(V__INST,s__FunctionQuantity))
           =>
           (~(s__precipitationRate(V__INST,V__INST))))))))

(s__instance(s__bondRating__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__FinancialRating) &
             s__instance(V__INST,s__Bond))
           =>
           (~(s__bondRating(V__INST,V__INST))))))))

(s__instance(s__legislativeBranch__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organization) =>
           (~(s__legislativeBranch(V__INST,V__INST))))))))

(s__instance(s__believes__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Formula) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__believes(V__INST,V__INST))))))))

(s__instance(s__importPartner__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Agent) =>
           (~(s__importPartner(V__INST,V__INST))))))))

(s__instance(s__stringLength__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__SymbolicString) &
             s__instance(V__INST,s__NonnegativeInteger))
           =>
           (~(s__stringLength(V__INST,V__INST))))))))

(s__instance(s__models__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__EngineeringComponent) &
             s__instance(V__INST,s__Model))
           =>
           (~(s__models(V__INST,V__INST))))))))

(s__instance(s__task__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerProcess) &
             s__instance(V__INST,s__ProcessTask))
           =>
           (~(s__task(V__INST,V__INST))))))))

(s__instance(s__crosses__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__crosses(V__INST,V__INST))))))))

(s__instance(s__fullNameIndexOrder__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__SymbolicString) =>
           (~(s__fullNameIndexOrder(V__INST,V__INST))))))))

(s__instance(s__grasps__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Animal) =>
           (~(s__grasps(V__INST,V__INST))))))))

(s__instance(s__telephoneNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__TelecomNumber))
           =>
           (~(s__telephoneNumber(V__INST,V__INST))))))))

(s__instance(s__totalOrderingOn__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Class) &
             s__instance(V__INST,s__BinaryRelation))
           =>
           (~(s__totalOrderingOn(V__INST,V__INST))))))))

(s__instance(s__guest__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__CognitiveAgent) =>
           (~(s__guest(V__INST,V__INST))))))))

(s__instance(s__liquidity__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__LiquidityAttribute) &
             s__instance(V__INST,s__FinancialAccount))
           =>
           (~(s__liquidity(V__INST,V__INST))))))))

(s__instance(s__knows__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Formula) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__knows(V__INST,V__INST))))))))

(s__instance(s__husband__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Man) &
             s__instance(V__INST,s__Woman))
           =>
           (~(s__husband(V__INST,V__INST))))))))

(s__instance(s__observesHoliday__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Holiday) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__observesHoliday(V__INST,V__INST))))))))

(s__instance(s__precipitationState__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PhysicalState) &
             s__instance(V__INST,s__WeatherProcess))
           =>
           (~(s__precipitationState(V__INST,V__INST))))))))

(s__instance(s__yearOfFounding__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Integer) &
             s__instance(V__INST,s__Organization))
           =>
           (~(s__yearOfFounding(V__INST,V__INST))))))))

(s__instance(s__benefits__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__Process))
           =>
           (~(s__benefits(V__INST,V__INST))))))))

(s__instance(s__personalPhoneNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__TelecomNumber))
           =>
           (~(s__personalPhoneNumber(V__INST,V__INST))))))))

(s__instance(s__authors__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__subclass(V__INST,s__ContentBearingObject))
           =>
           (~(s__authors(V__INST,V__INST))))))))

(s__instance(s__ancestor__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organism) =>
           (~(s__ancestor(V__INST,V__INST))))))))

(s__instance(s__during__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TimeInterval) =>
           (~(s__during(V__INST,V__INST))))))))

(s__instance(s__arrested__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__PlacingUnderArrest))
           =>
           (~(s__arrested(V__INST,V__INST))))))))

(s__instance(s__reflexiveOn__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Class) &
             s__instance(V__INST,s__BinaryRelation))
           =>
           (~(s__reflexiveOn(V__INST,V__INST))))))))

(s__instance(s__closedOn__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Function) &
             s__instance(V__INST,s__Class))
           =>
           (~(s__closedOn(V__INST,V__INST))))))))

(s__instance(s__trichotomizingOn__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Class) &
             s__instance(V__INST,s__BinaryRelation))
           =>
           (~(s__trichotomizingOn(V__INST,V__INST))))))))

(s__instance(s__postAddressText__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PostalAddressText) &
             s__instance(V__INST,s__PostalPlace))
           =>
           (~(s__postAddressText(V__INST,V__INST))))))))

(s__instance(s__powerComponent__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__Artifact) &
             s__instance(V__INST,s__CorpuscularObject))
           =>
           (~(s__powerComponent(V__INST,V__INST))))))))

(s__instance(s__element__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Set) =>
           (~(s__element(V__INST,V__INST))))))))

(s__instance(s__requestRate__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__TimeDuration) &
             s__instance(V__INST,s__UserRequest))
           =>
           (~(s__requestRate(V__INST,V__INST))))))))

(s__instance(s__neighbor__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Human) =>
           (~(s__neighbor(V__INST,V__INST))))))))

(s__instance(s__organizationalObjective__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__AreaOfConcern) &
             s__instance(V__INST,s__Agent))
           =>
           (~(s__organizationalObjective(V__INST,V__INST))))))))

(s__instance(s__instrument__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Process) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__instrument(V__INST,V__INST))))))))

(s__instance(s__hole__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__SelfConnectedObject) &
             s__instance(V__INST,s__Hole))
           =>
           (~(s__hole(V__INST,V__INST))))))))

(s__instance(s__seaSurfaceTemperature__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__WaterArea) &
             s__instance(V__INST,s__ConstantQuantity))
           =>
           (~(s__seaSurfaceTemperature(V__INST,V__INST))))))))

(s__instance(s__hasMolecularStructuralAttribute__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Molecule) &
             s__instance(V__INST,s__MoleculeStructuralAttribute))
           =>
           (~(s__hasMolecularStructuralAttribute(V__INST,V__INST))))))))

(s__instance(s__deviceState__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__DeviceStateAttribute) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__deviceState(V__INST,V__INST))))))))

(s__instance(s__plaintiff__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__LegalAction) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__plaintiff(V__INST,V__INST))))))))

(s__instance(s__antagonistMuscles__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__subclass(V__INST,s__Muscle) =>
           (~(s__antagonistMuscles(V__INST,V__INST))))))))

(s__instance(s__responseRate__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__TimeDuration) &
             s__instance(V__INST,s__ComputerResponse))
           =>
           (~(s__responseRate(V__INST,V__INST))))))))

(s__instance(s__valence__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PositiveInteger) &
             s__instance(V__INST,s__Relation))
           =>
           (~(s__valence(V__INST,V__INST))))))))

(s__instance(s__confirmationNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__SymbolicString) &
             s__instance(V__INST,s__FinancialTransaction))
           =>
           (~(s__confirmationNumber(V__INST,V__INST))))))))

(s__instance(s__finishes__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TimeInterval) =>
           (~(s__finishes(V__INST,V__INST))))))))

(s__instance(s__softwareHeartBeatRate__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerProgram) &
             s__instance(V__INST,s__TimeDuration))
           =>
           (~(s__softwareHeartBeatRate(V__INST,V__INST))))))))

(s__instance(s__properPart__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__properPart(V__INST,V__INST))))))))

(s__instance(s__causes__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Process) =>
           (~(s__causes(V__INST,V__INST))))))))

(s__instance(s__rainySeasonInArea__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__GeographicArea) &
             s__subclass(V__INST,s__TimeInterval))
           =>
           (~(s__rainySeasonInArea(V__INST,V__INST))))))))

(s__instance(s__decreasesLikelihood__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Formula) =>
           (~(s__decreasesLikelihood(V__INST,V__INST))))))))

(s__instance(s__disjointRelation__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Relation) =>
           (~(s__disjointRelation(V__INST,V__INST))))))))

(s__instance(s__memorySize__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputationalSystem) &
             s__instance(V__INST,s__ConstantQuantity))
           =>
           (~(s__memorySize(V__INST,V__INST))))))))

(s__instance(s__modalAttribute__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Formula) &
             s__instance(V__INST,s__NormativeAttribute))
           =>
           (~(s__modalAttribute(V__INST,V__INST))))))))

(s__instance(s__evidence__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__LegalAction) =>
           (~(s__evidence(V__INST,V__INST))))))))

(s__instance(s__preventsSubclass__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__subclass(V__INST,s__Process) =>
           (~(s__preventsSubclass(V__INST,V__INST))))))))

(s__instance(s__objectTransferred__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Transfer) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__objectTransferred(V__INST,V__INST))))))))

(s__instance(s__holidayTimeInArea__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__GeopoliticalArea) &
             s__instance(V__INST,s__TimePosition))
           =>
           (~(s__holidayTimeInArea(V__INST,V__INST))))))))

(s__instance(s__invadingVirus__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Virus) &
             s__instance(V__INST,s__ViralCellInvasion))
           =>
           (~(s__invadingVirus(V__INST,V__INST))))))))

(s__instance(s__stays__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__TemporaryResidence))
           =>
           (~(s__stays(V__INST,V__INST))))))))

(s__instance(s__cargo__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__Shipping))
           =>
           (~(s__cargo(V__INST,V__INST))))))))

(s__instance(s__subProposition__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Proposition) =>
           (~(s__subProposition(V__INST,V__INST))))))))

(s__instance(s__length__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Physical) =>
           (~(s__length(V__INST,V__INST))))))))

(s__instance(s__width__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Physical) =>
           (~(s__width(V__INST,V__INST))))))))

(s__instance(s__hasAccount__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__UserAccount))
           =>
           (~(s__hasAccount(V__INST,V__INST))))))))

(s__instance(s__homePhoneNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Human) &
             s__instance(V__INST,s__TelecomNumber))
           =>
           (~(s__homePhoneNumber(V__INST,V__INST))))))))

(s__instance(s__accountInformation__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__UserAccount) =>
           (~(s__accountInformation(V__INST,V__INST))))))))

(s__instance(s__passenger__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Transfer) =>
           (~(s__passenger(V__INST,V__INST))))))))

(s__instance(s__identityElement__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Integer) &
             s__instance(V__INST,s__BinaryFunction))
           =>
           (~(s__identityElement(V__INST,V__INST))))))))

(s__instance(s__typicalAction__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__subclass(V__INST,s__Agent) &
             s__subclass(V__INST,s__Process))
           =>
           (~(s__typicalAction(V__INST,V__INST))))))))

(s__instance(s__eventLocated__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Process) =>
           (~(s__eventLocated(V__INST,V__INST))))))))

(s__instance(s__hostStatus__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Computer) &
             s__instance(V__INST,s__ComputerStatus))
           =>
           (~(s__hostStatus(V__INST,V__INST))))))))

(s__instance(s__cardinality__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__NonnegativeInteger) &
             s__instance(V__INST,s__SetOrClass))
           =>
           (~(s__cardinality(V__INST,V__INST))))))))

(s__instance(s__workAddress__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PostalPlace) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__workAddress(V__INST,V__INST))))))))

(s__instance(s__doubts__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Formula) &
             s__instance(V__INST,s__CognitiveAgent))
           =>
           (~(s__doubts(V__INST,V__INST))))))))

(s__instance(s__bottom__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__SelfConnectedObject) =>
           (~(s__bottom(V__INST,V__INST))))))))

(s__instance(s__leaderPosition__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__Position))
           =>
           (~(s__leaderPosition(V__INST,V__INST))))))))

(s__instance(s__barometricPressure__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__UnitOfAtmosphericPressure) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__barometricPressure(V__INST,V__INST))))))))

(s__instance(s__nameIndexOrder__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__SymbolicString) =>
           (~(s__nameIndexOrder(V__INST,V__INST))))))))

(s__instance(s__resource__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Process) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__resource(V__INST,V__INST))))))))

(s__instance(s__orbits__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__AstronomicalBody) =>
           (~(s__orbits(V__INST,V__INST))))))))

(s__instance(s__vesselGrossRegisteredTonnage__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__WaterVehicle) &
             s__instance(V__INST,s__PhysicalQuantity))
           =>
           (~(s__vesselGrossRegisteredTonnage(V__INST,V__INST))))))))

(s__instance(s__reactant__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Substance) &
             s__instance(V__INST,s__ChemicalProcess))
           =>
           (~(s__reactant(V__INST,V__INST))))))))

(s__instance(s__transported__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Transportation) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__transported(V__INST,V__INST))))))))

(s__instance(s__associateInOrganization__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Group) =>
           (~(s__associateInOrganization(V__INST,V__INST))))))))

(s__instance(s__deceptiveIdentifier__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__ContentBearingObject))
           =>
           (~(s__deceptiveIdentifier(V__INST,V__INST))))))))

(s__instance(s__origin__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Process) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__origin(V__INST,V__INST))))))))

(s__instance(s__streamOutfall__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__River) =>
           (~(s__streamOutfall(V__INST,V__INST))))))))

(s__instance(s__suffers__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__Process))
           =>
           (~(s__suffers(V__INST,V__INST))))))))

(s__instance(s__prosecutor__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__LegalAction) =>
           (~(s__prosecutor(V__INST,V__INST))))))))

(s__instance(s__postStreetNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__SymbolicString) &
             s__instance(V__INST,s__PostalPlace))
           =>
           (~(s__postStreetNumber(V__INST,V__INST))))))))

(s__instance(s__controlled__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__AchievingControl) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__controlled(V__INST,V__INST))))))))

(s__instance(s__hostileForces__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__MilitaryUnit) =>
           (~(s__hostileForces(V__INST,V__INST))))))))

(s__instance(s__vesselDisplacement__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__WaterVehicle) &
             s__instance(V__INST,s__PhysicalQuantity))
           =>
           (~(s__vesselDisplacement(V__INST,V__INST))))))))

(s__instance(s__immediateSubclass__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Class) =>
           (~(s__immediateSubclass(V__INST,V__INST))))))))

(s__instance(s__faxNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__TelecomNumber))
           =>
           (~(s__faxNumber(V__INST,V__INST))))))))

(s__instance(s__experimentalControl__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__Experimenting))
           =>
           (~(s__experimentalControl(V__INST,V__INST))))))))

(s__instance(s__limitPrice__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__LimitOrder) &
             s__instance(V__INST,s__CurrencyMeasure))
           =>
           (~(s__limitPrice(V__INST,V__INST))))))))

(s__instance(s__objectAttached__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Process) =>
           (~(s__objectAttached(V__INST,V__INST))))))))

(s__instance(s__vesselDeadWeightTonnage__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__MassMeasure) &
             s__instance(V__INST,s__WaterVehicle))
           =>
           (~(s__vesselDeadWeightTonnage(V__INST,V__INST))))))))

(s__instance(s__interiorPart__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Object) =>
           (~(s__interiorPart(V__INST,V__INST))))))))

(s__instance(s__lessThan__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Quantity) =>
           (~(s__lessThan(V__INST,V__INST))))))))

(s__instance(s__time__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Physical) &
             s__instance(V__INST,s__TimePosition))
           =>
           (~(s__time(V__INST,V__INST))))))))

(s__instance(s__engineeringSubcomponent__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__EngineeringComponent) =>
           (~(s__engineeringSubcomponent(V__INST,V__INST))))))))

(s__instance(s__fleetGrossRegisteredTonnage__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Collection) &
             s__instance(V__INST,s__PhysicalQuantity))
           =>
           (~(s__fleetGrossRegisteredTonnage(V__INST,V__INST))))))))

(s__instance(s__siteForContact__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__ContactSite))
           =>
           (~(s__siteForContact(V__INST,V__INST))))))))

(s__instance(s__primaryGeopoliticalSubdivision__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__GeopoliticalArea) =>
           (~(s__primaryGeopoliticalSubdivision(V__INST,V__INST))))))))

(s__instance(s__postCity__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__PostalPlace) &
             s__instance(V__INST,s__City))
           =>
           (~(s__postCity(V__INST,V__INST))))))))

(s__instance(s__moves__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Motion) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__moves(V__INST,V__INST))))))))

(s__instance(s__grandfather__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Man) =>
           (~(s__grandfather(V__INST,V__INST))))))))

(s__instance(s__weight__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__SelfConnectedObject) &
             s__instance(V__INST,s__MassMeasure))
           =>
           (~(s__weight(V__INST,V__INST))))))))

(s__instance(s__height__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__SelfConnectedObject) &
             s__instance(V__INST,s__LengthMeasure))
           =>
           (~(s__height(V__INST,V__INST))))))))

(s__instance(s__standardInputDevice__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerProcess) &
             s__instance(V__INST,s__ComputerInputDevice))
           =>
           (~(s__standardInputDevice(V__INST,V__INST))))))))

(s__instance(s__trackWidth__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Railway) &
             s__instance(V__INST,s__LengthMeasure))
           =>
           (~(s__trackWidth(V__INST,V__INST))))))))

(s__instance(s__mobilePhoneNumber__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Agent) &
             s__instance(V__INST,s__TelecomNumber))
           =>
           (~(s__mobilePhoneNumber(V__INST,V__INST))))))))

(s__instance(s__password__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerPassword) &
             s__instance(V__INST,s__UserAccount))
           =>
           (~(s__password(V__INST,V__INST))))))))

(s__instance(s__containsInformation__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Proposition) &
             s__instance(V__INST,s__ContentBearingPhysical))
           =>
           (~(s__containsInformation(V__INST,V__INST))))))))

(s__instance(s__witness__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__LegalAction) =>
           (~(s__witness(V__INST,V__INST))))))))

(s__instance(s__areaOfOperation__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__MilitaryOperation) &
             s__instance(V__INST,s__Region))
           =>
           (~(s__areaOfOperation(V__INST,V__INST))))))))

(s__instance(s__path__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Motion) &
             s__instance(V__INST,s__Object))
           =>
           (~(s__path(V__INST,V__INST))))))))

(s__instance(s__mediumAltitudeWindSpeed__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Object) &
             s__instance(V__INST,s__ConstantQuantity))
           =>
           (~(s__mediumAltitudeWindSpeed(V__INST,V__INST))))))))

(s__instance(s__accountUsed__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__ComputerProcess) &
             s__instance(V__INST,s__UserAccount))
           =>
           (~(s__accountUsed(V__INST,V__INST))))))))

(s__instance(s__arrestingOfficer__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__PlacingUnderArrest) =>
           (~(s__arrestingOfficer(V__INST,V__INST))))))))

(s__instance(s__postPostOfficeBox__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__SymbolicString) &
             s__instance(V__INST,s__PostalPlace))
           =>
           (~(s__postPostOfficeBox(V__INST,V__INST))))))))

(s__instance(s__daughter__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organism) =>
           (~(s__daughter(V__INST,V__INST))))))))

(s__instance(s__rangeSubclass__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Function) &
             s__subclass(V__INST,s__Class))
           =>
           (~(s__rangeSubclass(V__INST,V__INST))))))))

(s__instance(s__before__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__TimePoint) =>
           (~(s__before(V__INST,V__INST))))))))

(s__instance(s__sibling__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       ((s__instance(V__INST,s__Organism) =>
           (~(s__sibling(V__INST,V__INST))))))))

(s__instance(s__catalyst__m,s__IrreflexiveRelation) =>
   (( ! [V__INST] :
       (((s__instance(V__INST,s__Substance) &
             s__instance(V__INST,s__ChemicalProcess))
           =>
           (~(s__catalyst(V__INST,V__INST))))))))

Merge.kif 2168-2172

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


( ! [V__REL] :
   (((s__instance(V__REL,s__AsymmetricRelation) =>
         (s__instance(V__REL,s__AntisymmetricRelation) &
           s__instance(V__REL,s__IrreflexiveRelation)))
       &
       ((s__instance(V__REL,s__AntisymmetricRelation) &
           s__instance(V__REL,s__IrreflexiveRelation))
         =>
         s__instance(V__REL,s__AsymmetricRelation)))
     )
   )

Merge.kif 2194-2198 An entity is an instance of asymmetric relation if and only if the entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation


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