diff --git a/docs/cheatsheet.html b/docs/cheatsheet.html new file mode 100644 index 0000000..bc42940 --- /dev/null +++ b/docs/cheatsheet.html @@ -0,0 +1,3482 @@ + + +
+ +class(c1, "bfo:Quality")
+
+
+oClass(bfo:Quality)
+
+
+individual(o1, "ns1:temperature1")
+
+
+oIndividual(ns1:temperature1)
+
+
+class(c1, "bfo:Quality")
+individual(o1, "ns1:temperature1")
+typeOf(o1, c1)
+
+
+oClass(bfo:Quality)
+oIndividual(ns1:temperature1)
+typeOf(ns1:temperature1, bfo:Quality)
+
+
+individual(p1, "ns1:plank1")
+individual(l1, "ns1:length1")
+property(p1, bfo:bears, l1, right)
+
+
+oIndividual(ns1:plank1)
+oIndividual(ns1:length1)
+property(ns1:plank1, bfo:bears, ns1:length1, right)
+
+
+individual(l1, "ns1:length-value")
+data(l1, iof:hasSimpleExpressionValue, 30^^xsd:decimal)
+
+
+oIndividual(ns1:length-value)
+data(ns1:length-value, iof:hasSimpleExpressionValue, 30^^xsd:decimal)
+
+
+oIndividual(ns1:smith)
+oIndividual(ns1:simpson)
+sameAs(ns1:smith, ns1:simpson)
+
+
+oIndividual(ns1:apple-as-fruit)
+oIndividual(ns1:apple-as-company)
+differentFrom(ns1:apple-as-fruit, ns1:apple-as-company)
+
+
+oIndividual(ns1:apple-as-fruit)
+oIndividual(ns1:apple-as-company)
+oIndividual(ns1:apple-as-logo)
+allDifferent('["ns1:apple-as-fruit", "ns1:apple-as-company", "ns1:apple-as-logo"]')
+
+
+oClass(bfo:Quality)
+oClass(iof:Temperature)
+subClass(iof:Temperature, bfo:Quality)
+
+
+