User contributions
From IAOA Wiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 01:42, 11 November 2019 (diff | hist) . . (+2,299) . . N Edu:Model (Created page with " == Model== ''Disambiguation'': this term refers to multiple things, mostly depending on the (sub)fields, informally: * Models at the instance-level (mathematics, Logic |...")
- 01:41, 11 November 2019 (diff | hist) . . (+214) . . N Edu:Mereology (Created page with "== Mereology == The theory of parthood relations: of the relations of part to whole and the relations of part to part within a whole. (Source: https://plato.stanford.edu/entr...") (current)
- 01:40, 11 November 2019 (diff | hist) . . (+257) . . N Edu:Member (Created page with " == Member == ---- proposal (FL, 2018-08-23): add definitions wrt: * member in the sense of set theory * member as used synonymously with instance wrt classes, e.g. wrt DL/O...")
- 01:40, 11 November 2019 (diff | hist) . . (+1,974) . . N Edu:Mass (Created page with " == Mass== === Definitions=== '''D1''' (based on V1.1 and V1.2) * '''A body of matter that does not have a definite (named/identifiable) shape.''' '''D2''' (merged and s...")
- 01:39, 11 November 2019 (diff | hist) . . (-2,056) . . Edu:Instantiation (Blanked the page) (Tag: Blanking)
- 01:39, 11 November 2019 (diff | hist) . . (+2,056) . . N Edu:Logic (Created page with " == Logic == # The combination of a formal language with a formal theory of truth or a proof theory (or both). # The study of arguments, with the intention of describing how t...")
- 01:38, 11 November 2019 (diff | hist) . . (+1,974) . . N Edu:Kind (Created page with " == Mass== === Definitions=== '''D1''' (based on V1.1 and V1.2) * '''A body of matter that does not have a definite (named/identifiable) shape.''' '''D2''' (merged and s...")
- 01:36, 11 November 2019 (diff | hist) . . (+2,056) . . N Edu:Instantiation (Created page with " == Logic == # The combination of a formal language with a formal theory of truth or a proof theory (or both). # The study of arguments, with the intention of describing how t...")
- 01:35, 11 November 2019 (diff | hist) . . (+360) . . N Edu:Instance (Created page with " == Instance== === Definitions=== see Particular ''Synonyms'' – Particular, Individual ---- proposals (FL, 2018-08-21): * distinguish Instance from Indivi...")
- 01:35, 11 November 2019 (diff | hist) . . (+394) . . N Edu:Inherence (Created page with " == Inherence== === Definitions=== '''D1''' [ Arp et al., 2015 ] * '''A one-sided dependence that obtains between specifically and gen...")
- 01:34, 11 November 2019 (diff | hist) . . (+686) . . N Edu:Individual (Created page with " == Individual== === Definitions=== # In a standard sense, an individual is something that can be individuated, that is, counted or picked out in language and thus be dis...")
- 01:33, 11 November 2019 (diff | hist) . . (+214) . . N Edu:Identity Criteria (Created page with "== Identity Criteria == An identity criterion for a property P is a binary relation Ip such that P(x) & P(y) & Ip(x,y) → x = y. [ TermlistReferences#Guarino1999|Gu...") (current)
- 01:30, 11 November 2019 (diff | hist) . . (+657) . . N Edu:Identity (Created page with " == Identity == === Commentary === * In description logics, conceptual models usually focus on the sufficient and necessary criteria for '''''class membership''''', that is,...")
- 01:29, 11 November 2019 (diff | hist) . . (+1,010) . . N Edu:Function (Created page with " == Function == # In ordinary language, a function roughly means a purpose or role. In logic and mathematics, a function is a particular kind of relation in which given any o...")
- 01:28, 11 November 2019 (diff | hist) . . (+2,368) . . N Edu:Event (Created page with " == Event == # something that happens : occurrence (Source: Merriam-Webster's Collegiate Dictionary. URL= https://www.merriam-webster.com/dictionary/event) # A happening or o...")
- 01:14, 11 November 2019 (diff | hist) . . (+24) . . Edu:Category
- 01:14, 11 November 2019 (diff | hist) . . (-3) . . Edu:Category
- 01:13, 11 November 2019 (diff | hist) . . (+2) . . Edu:Realizable Entity
- 01:12, 11 November 2019 (diff | hist) . . (-1) . . Edu:Realizable Entity
- 01:12, 11 November 2019 (diff | hist) . . (+392) . . N Edu:Realizable Entity (Created page with " == Realizable Entity== === Definitions=== '''D1''' [ [TermlistReferences#arpetal2015 Arp et al., 2015] ] ** '''A specifically dependent continuant entity that has...")
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)