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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryPredicate
BinaryPredicate(binary predicate)

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


s__documentation(s__BinaryPredicate,s__ChineseLanguage,'"这是一个联系两个项目的 Predicate - 它的配价是二。"')

chinese_format.kif 2012-2013
s__documentation(s__BinaryPredicate,s__EnglishLanguage,'"A Predicate relating two items - its valence is two."')

Merge.kif 3371-3372
s__instance(s__BinaryRelation,s__SetOrClass)

s__instance(s__BinaryPredicate,s__SetOrClass)

s__subclass(s__BinaryPredicate,s__BinaryRelation)

Merge.kif 3368-3368 Binary predicate is a subclass of binary relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__BinaryPredicate,s__InheritableRelation)

Merge.kif 3369-3369 Binary predicate is a subclass of inheritable relation
s__instance(s__Predicate,s__SetOrClass)

s__subclass(s__BinaryPredicate,s__Predicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 3367-3367 Binary predicate is a subclass of predicate

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


s__format(s__ChineseLanguage,s__BinaryPredicate,'"%2 %n 是 %1 的 binary 谓语"')

domainEnglishFormat.kif 284-284
s__format(s__ChineseTraditionalLanguage,s__BinaryPredicate,'"%2 %n 是 %1 的 binary 謂語"')

domainEnglishFormat.kif 283-283
s__format(s__EnglishLanguage,s__BinaryPredicate,'"%2 is %n a binary predicate of %1"')

domainEnglishFormat.kif 282-282
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__abbreviation__m,s__BinaryPredicate)

Mid-level-ontology.kif 25362-25362 abbreviation is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__absoluteHeight__m,s__BinaryPredicate)

MilitaryDevices.kif 1455-1455 absolute height is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__absorbedDose__m,s__BinaryPredicate)

MilitaryProcesses.kif 869-869 absorbed dose is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__abstractCounterpart__m,s__BinaryPredicate)

Merge.kif 5850-5850 abstractCounterpart is an instance of binary predicate
s__instance(s__abstractPart__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 20988-20988 abstract part is an instance of binary predicate
s__instance(s__abstractionLevel__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

QoSontology.kif 1623-1623 abstraction level is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__accessibleFromMenu__m,s__BinaryPredicate)

ComputerInput.kif 880-880 accessibleFromMenu is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__accessibleFromMenuItem__m,s__BinaryPredicate)

ComputerInput.kif 1164-1164 accessibleFromMenuItem is an instance of binary predicate
s__instance(s__accommodationProvider__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Hotel.kif 2715-2715 accommodations provider is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__accountAt__m,s__BinaryPredicate)

FinancialOntology.kif 229-229 account at is an instance of binary predicate
s__instance(s__accountAtSite__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

UXExperimentalTerms.kif 772-772 account at site is an instance of binary predicate
s__instance(s__accountHolder__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

FinancialOntology.kif 248-248 account holder is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__accountInformation__m,s__BinaryPredicate)

ComputingBrands.kif 4381-4381 account information is an instance of binary predicate
s__instance(s__accountNumber__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

FinancialOntology.kif 3375-3375 account number is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__accountPhoneNumber__m,s__BinaryPredicate)

ComputingBrands.kif 4127-4127 accountPhoneNumber is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__accountStatus__m,s__BinaryPredicate)

FinancialOntology.kif 3889-3889 account status is an instance of binary predicate
s__instance(s__accruedInterest__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

FinancialOntology.kif 2241-2241 accrued interest is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__acquaintance__m,s__BinaryPredicate)

Merge.kif 15757-15757 acquaintance is an instance of binary predicate
s__instance(s__acronym__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Media.kif 2999-2999 acronym is an instance of binary predicate
s__instance(s__actedIn__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 18848-18848 actedIn is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__activityCapability__m,s__BinaryPredicate)

Hotel.kif 570-570 activity capability is an instance of binary predicate
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__adjacentOrientation__m,s__BinaryPredicate)

Hotel.kif 910-910 adjacent orientation is an instance of binary predicate

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__contraryAttributeWRT__m,n__3,s__BinaryPredicate)

ComputerInput.kif 19-19 The number 3 argument of contraryAttributeWRT is an instance of binary predicate

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


( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__third__m,s__BinaryPredicate) &
             s__instance(s__third__m,s__SpatialRelation) &
             s__third(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__traverses__m,s__BinaryPredicate) &
             s__instance(s__traverses__m,s__SpatialRelation) &
             s__traverses(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__havePartTypes__m,s__BinaryPredicate) &
             s__instance(s__havePartTypes__m,s__SpatialRelation) &
             s__havePartTypes(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__exactlyLocated__m,s__BinaryPredicate) &
             s__instance(s__exactlyLocated__m,s__SpatialRelation) &
             s__exactlyLocated(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__CorpuscularObject) &
         s__instance(V__OBJ2,s__CorpuscularObject))
       =>
       (((s__instance(s__component__m,s__BinaryPredicate) &
             s__instance(s__component__m,s__SpatialRelation) &
             s__component(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__physicalEnd__m,s__BinaryPredicate) &
             s__instance(s__physicalEnd__m,s__SpatialRelation) &
             s__physicalEnd(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__located__m,s__BinaryPredicate) &
             s__instance(s__located__m,s__SpatialRelation) &
             s__located(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Hole))
       =>
       (((s__instance(s__properlyFills__m,s__BinaryPredicate) &
             s__instance(s__properlyFills__m,s__SpatialRelation) &
             s__properlyFills(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PostalPlace) &
         s__instance(V__OBJ2,s__PostcodeArea))
       =>
       (((s__instance(s__postPostcodeArea__m,s__BinaryPredicate) &
             s__instance(s__postPostcodeArea__m,s__SpatialRelation) &
             s__postPostcodeArea(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__penetrates__m,s__BinaryPredicate) &
             s__instance(s__penetrates__m,s__SpatialRelation) &
             s__penetrates(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__TelecomNumber))
       =>
       (((s__instance(s__telecomCode2__m,s__BinaryPredicate) &
             s__instance(s__telecomCode2__m,s__SpatialRelation) &
             s__telecomCode2(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PostalPlace) &
         s__instance(V__OBJ2,s__City))
       =>
       (((s__instance(s__postCity__m,s__BinaryPredicate) &
             s__instance(s__postCity__m,s__SpatialRelation) &
             s__postCity(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Tremor) &
         s__instance(V__OBJ2,s__Physical) &
         s__instance(V__OBJ2,s__LengthMeasure))
       =>
       (((s__instance(s__physicalAmplitude__m,s__BinaryPredicate) &
             s__instance(s__physicalAmplitude__m,s__SpatialRelation) &
             s__physicalAmplitude(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__crosses__m,s__BinaryPredicate) &
             s__instance(s__crosses__m,s__SpatialRelation) &
             s__crosses(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Character) &
         s__instance(V__OBJ2,s__SymbolicString))
       =>
       (((s__instance(s__inString__m,s__BinaryPredicate) &
             s__instance(s__inString__m,s__SpatialRelation) &
             s__inString(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__part__m,s__BinaryPredicate) &
             s__instance(s__part__m,s__SpatialRelation) &
             s__part(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__TelecomNumber))
       =>
       (((s__instance(s__telecomAreaCode__m,s__BinaryPredicate) &
             s__instance(s__telecomAreaCode__m,s__SpatialRelation) &
             s__telecomAreaCode(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__typicalPart__m,s__BinaryPredicate) &
             s__instance(s__typicalPart__m,s__SpatialRelation) &
             s__typicalPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PostalPlace) &
         s__instance(V__OBJ2,s__Neighborhood))
       =>
       (((s__instance(s__postNeighborhood__m,s__BinaryPredicate) &
             s__instance(s__postNeighborhood__m,s__SpatialRelation) &
             s__postNeighborhood(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__covers__m,s__BinaryPredicate) &
             s__instance(s__covers__m,s__SpatialRelation) &
             s__covers(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__EngineeringComponent) &
         s__instance(V__OBJ2,s__EngineeringComponent))
       =>
       (((s__instance(s__engineeringSubcomponent__m,s__BinaryPredicate) &
             s__instance(s__engineeringSubcomponent__m,s__SpatialRelation) &
             s__engineeringSubcomponent(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__most__m,s__BinaryPredicate) &
             s__instance(s__most__m,s__SpatialRelation) &
             s__most(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__typicallyContainsPart__m,s__BinaryPredicate) &
             s__instance(s__typicallyContainsPart__m,s__SpatialRelation) &
             s__typicallyContainsPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__GeopoliticalArea) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__geopoliticalSubdivision__m,s__BinaryPredicate) &
             s__instance(s__geopoliticalSubdivision__m,s__SpatialRelation) &
             s__geopoliticalSubdivision(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Collection) &
         s__instance(V__OBJ2,s__Collection))
       =>
       (((s__instance(s__subCollection__m,s__BinaryPredicate) &
             s__instance(s__subCollection__m,s__SpatialRelation) &
             s__subCollection(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__City) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__capitalCity__m,s__BinaryPredicate) &
             s__instance(s__capitalCity__m,s__SpatialRelation) &
             s__capitalCity(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__smaller__m,s__BinaryPredicate) &
             s__instance(s__smaller__m,s__SpatialRelation) &
             s__smaller(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__quarter__m,s__BinaryPredicate) &
             s__instance(s__quarter__m,s__SpatialRelation) &
             s__quarter(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__partlyLocated__m,s__BinaryPredicate) &
             s__instance(s__partlyLocated__m,s__SpatialRelation) &
             s__partlyLocated(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Hole))
       =>
       (((s__instance(s__partiallyFills__m,s__BinaryPredicate) &
             s__instance(s__partiallyFills__m,s__SpatialRelation) &
             s__partiallyFills(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Organization) &
         s__instance(V__OBJ2,s__Organization))
       =>
       (((s__instance(s__subOrganization__m,s__BinaryPredicate) &
             s__instance(s__subOrganization__m,s__SpatialRelation) &
             s__subOrganization(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__WaterArea) &
         s__instance(V__OBJ2,s__River))
       =>
       (((s__instance(s__streamOutfall__m,s__BinaryPredicate) &
             s__instance(s__streamOutfall__m,s__SpatialRelation) &
             s__streamOutfall(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Aircraft) &
         s__instance(V__OBJ2,s__AltitudeMeasure) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__absoluteHeight__m,s__BinaryPredicate) &
             s__instance(s__absoluteHeight__m,s__SpatialRelation) &
             s__absoluteHeight(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__interiorPart__m,s__BinaryPredicate) &
             s__instance(s__interiorPart__m,s__SpatialRelation) &
             s__interiorPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__half__m,s__BinaryPredicate) &
             s__instance(s__half__m,s__SpatialRelation) &
             s__half(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Organization) &
         s__instance(V__OBJ2,s__Organization))
       =>
       (((s__instance(s__chamberOfLegislature__m,s__BinaryPredicate) &
             s__instance(s__chamberOfLegislature__m,s__SpatialRelation) &
             s__chamberOfLegislature(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__GeographicArea) &
         s__instance(V__OBJ2,s__GeographicArea))
       =>
       (((s__instance(s__geographicSubregion__m,s__BinaryPredicate) &
             s__instance(s__geographicSubregion__m,s__SpatialRelation) &
             s__geographicSubregion(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Substance) &
         s__instance(V__OBJ2,s__Substance))
       =>
       (((s__instance(s__piece__m,s__BinaryPredicate) &
             s__instance(s__piece__m,s__SpatialRelation) &
             s__piece(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__contains__m,s__BinaryPredicate) &
             s__instance(s__contains__m,s__SpatialRelation) &
             s__contains(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__properPart__m,s__BinaryPredicate) &
             s__instance(s__properPart__m,s__SpatialRelation) &
             s__properPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Hole))
       =>
       (((s__instance(s__fills__m,s__BinaryPredicate) &
             s__instance(s__fills__m,s__SpatialRelation) &
             s__fills(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__GeopoliticalArea) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__primaryGeopoliticalSubdivision__m,s__BinaryPredicate) &
             s__instance(s__primaryGeopoliticalSubdivision__m,s__SpatialRelation) &
             s__primaryGeopoliticalSubdivision(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__larger__m,s__BinaryPredicate) &
             s__instance(s__larger__m,s__SpatialRelation) &
             s__larger(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__CorpuscularObject) &
         s__instance(V__OBJ2,s__Physical) &
         s__subclass(V__OBJ2,s__Artifact))
       =>
       (((s__instance(s__powerComponent__m,s__BinaryPredicate) &
             s__instance(s__powerComponent__m,s__SpatialRelation) &
             s__powerComponent(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Virus) &
         s__instance(V__OBJ2,s__Molecule))
       =>
       (((s__instance(s__geneticSubstrateOfVirus__m,s__BinaryPredicate) &
             s__instance(s__geneticSubstrateOfVirus__m,s__SpatialRelation) &
             s__geneticSubstrateOfVirus(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Cylinder) &
         s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical) &
         s__instance(V__OBJ2,s__LengthMeasure))
       =>
       (((s__instance(s__cylinderBore__m,s__BinaryPredicate) &
             s__instance(s__cylinderBore__m,s__SpatialRelation) &
             s__cylinderBore(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__Vehicle))
       =>
       (((s__instance(s__onboard__m,s__BinaryPredicate) &
             s__instance(s__onboard__m,s__SpatialRelation) &
             s__onboard(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PoliticalParty) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__politicalPartyOfCountry__m,s__BinaryPredicate) &
             s__instance(s__politicalPartyOfCountry__m,s__SpatialRelation) &
             s__politicalPartyOfCountry(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PostalPlace) &
         s__instance(V__OBJ2,s__StateOrProvince))
       =>
       (((s__instance(s__postDistrict__m,s__BinaryPredicate) &
             s__instance(s__postDistrict__m,s__SpatialRelation) &
             s__postDistrict(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Transitway) &
         s__instance(V__OBJ2,s__TransitSystem))
       =>
       (((s__instance(s__routeInSystem__m,s__BinaryPredicate) &
             s__instance(s__routeInSystem__m,s__SpatialRelation) &
             s__routeInSystem(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__completelyFills__m,s__BinaryPredicate) &
             s__instance(s__completelyFills__m,s__SpatialRelation) &
             s__completelyFills(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__partTypes__m,s__BinaryPredicate) &
             s__instance(s__partTypes__m,s__SpatialRelation) &
             s__partTypes(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__flows__m,s__BinaryPredicate) &
             s__instance(s__flows__m,s__SpatialRelation) &
             s__flows(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__initiallyContainsPart__m,s__BinaryPredicate) &
             s__instance(s__initiallyContainsPart__m,s__SpatialRelation) &
             s__initiallyContainsPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__tributary__m,s__BinaryPredicate) &
             s__instance(s__tributary__m,s__SpatialRelation) &
             s__tributary(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__overlapsSpatially__m,s__BinaryPredicate) &
             s__instance(s__overlapsSpatially__m,s__SpatialRelation) &
             s__overlapsSpatially(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Agent) &
         s__instance(V__OBJ2,s__GeographicArea))
       =>
       (((s__instance(s__agentOperatesInArea__m,s__BinaryPredicate) &
             s__instance(s__agentOperatesInArea__m,s__SpatialRelation) &
             s__agentOperatesInArea(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__TelecomNumber))
       =>
       (((s__instance(s__telecomCoreNumber__m,s__BinaryPredicate) &
             s__instance(s__telecomCoreNumber__m,s__SpatialRelation) &
             s__telecomCoreNumber(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Transitway) &
         s__instance(V__OBJ2,s__TransitSystem))
       =>
       (((s__instance(s__pathInSystem__m,s__BinaryPredicate) &
             s__instance(s__pathInSystem__m,s__SpatialRelation) &
             s__pathInSystem(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Hole) &
         s__instance(V__OBJ2,s__SelfConnectedObject))
       =>
       (((s__instance(s__hole__m,s__BinaryPredicate) &
             s__instance(s__hole__m,s__SpatialRelation) &
             s__hole(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__connected__m,s__BinaryPredicate) &
             s__instance(s__connected__m,s__SpatialRelation) &
             s__connected(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__SymbolicString))
       =>
       (((s__instance(s__subString__m,s__BinaryPredicate) &
             s__instance(s__subString__m,s__SpatialRelation) &
             s__subString(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__GeopoliticalArea) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__administrativeCenter__m,s__BinaryPredicate) &
             s__instance(s__administrativeCenter__m,s__SpatialRelation) &
             s__administrativeCenter(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__SymbolicString))
       =>
       (((s__instance(s__keyName__m,s__BinaryPredicate) &
             s__instance(s__keyName__m,s__SpatialRelation) &
             s__keyName(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Organization) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__headquartersOfOrganization__m,s__BinaryPredicate) &
             s__instance(s__headquartersOfOrganization__m,s__SpatialRelation) &
             s__headquartersOfOrganization(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PostalPlace) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__postCountry__m,s__BinaryPredicate) &
             s__instance(s__postCountry__m,s__SpatialRelation) &
             s__postCountry(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__initialPart__m,s__BinaryPredicate) &
             s__instance(s__initialPart__m,s__SpatialRelation) &
             s__initialPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__TelecomNumber))
       =>
       (((s__instance(s__telecomCountryCode__m,s__BinaryPredicate) &
             s__instance(s__telecomCountryCode__m,s__SpatialRelation) &
             s__telecomCountryCode(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__EngineeringComponent) &
         s__instance(V__OBJ2,s__EngineeringComponent))
       =>
       (((s__instance(s__connectedEngineeringComponents__m,s__BinaryPredicate) &
             s__instance(s__connectedEngineeringComponents__m,s__SpatialRelation) &
             s__connectedEngineeringComponents(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

Merge.kif 7926-7931
( ! [V__NUMBER1,V__NUMBER2] :
   (((s__instance(s__greaterThanOrEqualTo__m,s__RelationExtendedToQuantities) &
         s__instance(s__greaterThanOrEqualTo__m,s__BinaryPredicate) &
         s__instance(V__NUMBER1,s__RealNumber) &
         s__instance(V__NUMBER2,s__RealNumber) &
         s__greaterThanOrEqualTo(V__NUMBER1,V__NUMBER2))
     =>
     (( ! [V__UNIT] :
         ((s__instance(V__UNIT,s__UnitOfMeasure) =>
             (s__greaterThanOrEqualTo(s__MeasureFn(V__NUMBER1,V__UNIT)
            ,s__MeasureFn(V__NUMBER2,V__UNIT))))))))
)
)

( ! [V__NUMBER1,V__NUMBER2] :
   (((s__instance(s__lessThan__m,s__RelationExtendedToQuantities) &
         s__instance(s__lessThan__m,s__BinaryPredicate) &
         s__instance(V__NUMBER1,s__RealNumber) &
         s__instance(V__NUMBER2,s__RealNumber) &
         s__lessThan(V__NUMBER1,V__NUMBER2))
     =>
     (( ! [V__UNIT] :
         ((s__instance(V__UNIT,s__UnitOfMeasure) =>
             (s__lessThan(s__MeasureFn(V__NUMBER1,V__UNIT)
            ,s__MeasureFn(V__NUMBER2,V__UNIT))))))))
)
)

( ! [V__NUMBER1,V__NUMBER2] :
   (((s__instance(s__lessThanOrEqualTo__m,s__RelationExtendedToQuantities) &
         s__instance(s__lessThanOrEqualTo__m,s__BinaryPredicate) &
         s__instance(V__NUMBER1,s__RealNumber) &
         s__instance(V__NUMBER2,s__RealNumber) &
         s__lessThanOrEqualTo(V__NUMBER1,V__NUMBER2))
     =>
     (( ! [V__UNIT] :
         ((s__instance(V__UNIT,s__UnitOfMeasure) =>
             (s__lessThanOrEqualTo(s__MeasureFn(V__NUMBER1,V__UNIT)
            ,s__MeasureFn(V__NUMBER2,V__UNIT))))))))
)
)

( ! [V__NUMBER1,V__NUMBER2] :
   (((s__instance(s__greaterThan__m,s__RelationExtendedToQuantities) &
         s__instance(s__greaterThan__m,s__BinaryPredicate) &
         s__instance(V__NUMBER1,s__RealNumber) &
         s__instance(V__NUMBER2,s__RealNumber) &
         s__greaterThan(V__NUMBER1,V__NUMBER2))
     =>
     (( ! [V__UNIT] :
         ((s__instance(V__UNIT,s__UnitOfMeasure) =>
             (s__greaterThan(s__MeasureFn(V__NUMBER1,V__UNIT)
            ,s__MeasureFn(V__NUMBER2,V__UNIT))))))))
)
)

Merge.kif 6166-6176
( ! [V__REL] :
   ((s__instance(V__REL,s__BinaryPredicate) =>
       (s__valence(V__REL,n__2)))
   )
)

Merge.kif 3374-3376


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