Many-2Dsorted logics
type: Ontology
creation date: 2026-08-02T18:09:07+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

Blog:Definition: idea, logic, practise/Many-sorted logics
type: Subject
page: https://ontologforum.com/index.php/Blog-3ADefinition-3A_idea-2C_logic-2C_practise/Many-2Dsorted_logics
wiki namespace: 0
wiki page content language: en
wiki page modification date: 2018-04-23T14:49:59Z
modification date#aux: 2458232.118044
wiki page sort key: Blog:Definition: idea, logic, practise/Many-sorted logics