Not logged in : Login
(Sponging disallowed)

About: has associated axiom(fol)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:AnnotationProperty, within Data Space : linkeddata.uriburner.com associated with source document(s)

AttributesValues
Type
label
  • has associated axiom(fol)
  • has associated axiom(fol)
isDefinedBy
definition source
  • Person:Alan Ruttenberg
described by
elucidation
  • An axiom expressed in first order logic using CLIF syntax
definition editor
  • Person:Alan Ruttenberg
editor preferred label
  • has associated axiom(fol)
is annotatedProperty of
is topic of
Faceted Search & Find service v1.17_git81 as of Jul 16 2021


Alternative Linked Data Documents: PivotViewer | 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 (378 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software