| 1 | = Template '''IDC''': = |
| 2 | |
| 3 | This page shows ''work in progress'', and is intended as ''informative only''. |
| 4 | |
| 5 | See also: [wiki:TemplateDescriptionID] |
| 6 | |
| 7 | == Purpose of the template == |
| 8 | |
| 9 | == Definition == |
| 10 | |
| 11 | === Signature === |
| 12 | |
| 13 | === Normative representation in first-order logic === |
| 14 | |
| 15 | == Examples of expressions that this template should be able to represent == |
| 16 | |
| 17 | == Graph illustrating an example == |
| 18 | |
| 19 | {{{ |
| 20 | #!LatexEquation |
| 21 | \TemplateDiagram{ |
| 22 | !c{a}{R123}{PossibleIndividual} |
| 23 | [rr] |
| 24 | !c{alfred}{R234}{ExpressString} |
| 25 | ([r] !c{alfred_str}{``Alfred''}{STRING} !l{alfred}{alfred_str}{content}{.5}) |
| 26 | [l] |
| 27 | !r{id}{ClassOfIdentification} |
| 28 | (!s{id}{a}{represented}{alfred}{pattern}) |
| 29 | [u(.5)] !r{id-classification}{Classification} |
| 30 | [u(.5)] !c{id-classifier}{First name}{ClassOfClassOfIdentification} |
| 31 | !s{id-classification}{id-classifier}{hasClassifier}{id}{hasClassified} |
| 32 | } |
| 33 | }}} |