Inference



Incoming relations

    Outgoing relations



    Categorization

    Mathematical logic

    Synonyms