Inference Engine
Inference Rule

Primitive Rule

Declarative Rule
Method Rule

Derived Inference Rule
Translation Inference Rule

Language
Format
Axiom
Source
Agent

Organization
Person
Team

Document

Ontology

Language Axiom Set

Publication
Website

Provide the concept name (or original URL)