#system_of_logic__logic__logical_system__logicalsystem  a system of reasoning
  subtype:  #Aristotlean_logic  #symbolic_logic  km#system_of_logic_used_in_FCA (km)
  supertype:  #system_of_rules__system  a complex of methods or rules governing behavior; "they have to operate under a system they oppose"; "that language has a complex system for indicating gender"
     supertype:  #system  a group of independent but interrelated elements comprising a unified whole; "a vast system of production and distribution and consumption keep the country going"
        supertype:  #group__grouping  any number of entities (members) considered as a unit
           supertype:  pm#collection  something gathering separated things (entities/situations)
              supertype:  pm#divisible_entity__divisibleentity  many classifications under this category are application-dependant
                 supertype:  pm#entity  something that can be "involved" in a situation
                    supertype:  pm#thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                 supertype:  pm#divisible_thing__divisiblething
                    supertype:  pm#thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type

2 statements are about indirect instances of #system_of_logic: km#graph29_on_article, km#graph33_on_article
  click here to display them or click here for a search form or here to add a statement