• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpfacetshttp://www.w3.org/2002/07/owl#ldpoffers ontologyoplwebrel-me-authschema-oloskos-transurn:det:rdf:labelurn:rdfs:subclass:subproperty:inference:rulesvirtrdf-eturtle-containersvirtrdf-hashtagvirtrdf-ifpvirtrdf-labelvirtrdf-meta-entity-classvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: transitive binary predicate     Goto   Sponge   Distinct   Permalink

An Entity of Type : opl-xbrl:CashAndBalancesWithCentralBanks, within Data Space : www.openlinksw.com associated with source document(s)

New Facet based on Instances of this Class

A BinaryPredicateTypeByLogicalFeature and thus a specialization of BinaryPredicate. A binary predicate PRED is an instance of TransitiveBinaryPredicate only if it has the following property: For any THING1, THING2, and THING3, if both of these hold: (PRED THING1 THING2) (PRED THING2 THING3) Then so does this: (PRED THING1 THING3) . Note that a necessary condition on PRED's being transitive is that its two argument-places must be co-satisfiable; see cosatisfiableInArgs and #$NoteOnArgumentCosatisfiabilityRequirement. Instances of TransitiveBinaryPredicate include greaterThan, geographicalSubRegions, and cotemporal. Cf. QuasiTransitiveBinaryPredicate and AntiTransitiveBinaryPredicate.