Not logged in : Login

About: transitive binary predicate     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : opl-xbrl:CashAndBalancesWithCentralBanks, within Data Space : associated with source document(s)
QRcode icon

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.

  • TransitiveBinaryPredicate
  • transitive binary predicate
is type of
Faceted Search & Find service v1.17_git122 as of Jan 03 2023

Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3326 as of Sep 26 2022, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (30 GB total memory, 22 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2023 OpenLink Software