Property:Description
From Inference Web
| (Property) [ Edit ] | |
| General Description | |
| Property Type | |
| has type | Type:Text |
| Property Relation | |
| General Relation | |
| Inferred Relation | |
| Template:R.inverse | |
Pages using the property "Description"
Showing 20 pages using this property.
A | |
|---|---|
| Action-2009-001 + | how to deal with a pml file containing a Forrest of proofs while we typically expect one proof. |
| Action-2009-002 + | review watchdog for inference web websites |
C | |
| Demo: Combine and Improve TPTP Proofs + | combine and improve TPTP proofs |
| On Tracking Inference Step Reuse + | how to encoded combined proof without altering the original proofs |
E | |
| Ex1 is3 + | Rationale step 1 (RS1) |
| Ex1 triple1 + | reification of triple1 (s1,p1,o1) |
| Ex1 triple2 + | reification of triple2 (s2,p2,o2) |
| Ex1 triple3 + | reification of triple3 (s3,p3,o3) |
| Example 20090630 + | example designed for an ITA problem |
F | |
| F.print.formfoot + | print foot note for a form |
| F.print.section + | Print the begin,end, row of a section in table format |
| F.print.vbar + | Print a vertical bar character. Typically used in the argument section of a template call. |
| F.show + | print a selected list of properties about a thing |
| F.smwbp + | Print navigation bar for wiki template pages |
| F.tag + | Add semantic tag (triple/triples) to a wiki page with display option |
I | |
| Inference web + | Semantic Web based knowledge provenance infrastructure |
O | |
| O.class + | annotate a class |
| O.ontology + | annotate a ontology |
| O.property + | annotate a property |
| O.thing + | annotate a thing |
Facts about DescriptionRDF feed
| Has typeThis property is a special property in this wiki. | TextThis type is among the standard datatypes of this wiki. + |
