F.2:11.3 - Kind, method, and knowledge sources

• OWL 2 profile source — subClassOf; Plain class inclusion; claim: “Every instance of the first class is an instance of the second.”
• FCA source — formal concept; Plain extent–intent pair; claim: “A maximal object–attribute pair under the stated Galois connection.”
• SPEM 2.0 and ISO 24744 sources — method; Plain way of doing; claim recovered from the cited method passage.
• SOSA/SSN (2017) — procedure; Plain observation recipe; claim: “A description of how an observation may be carried out.”

The notes do not turn an FCA concept into a root kind or a procedure description into a Method. Those are separate claims under their direct patterns.