Not logged in : Login

About: transitive binary predicate     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : opl-xbrl:CashAndBalancesWithCentralBanks, within Data Space : www.openlinksw.com associated with source document(s)
QRcode icon
http://www.openlinksw.com/describe/?url=http%3A%2F%2Fsw.opencyc.org%2Fconcept%2FMx4rvVjJFpwpEbGdrcN5Y29ycA

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.

AttributesValues
comment
label
  • TransitiveBinaryPredicate
label
  • transitive binary predicate
type
Faceted Search & Find service v1.17_git63 as of Apr 23 2021


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3322 as of Jun 3 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (30 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software