general extensional mereology

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:logic formal semantics
gptkbp:alsoKnownAs	gptkb:GEM
gptkbp:basedOn	extensionality principle
gptkbp:contrastsWith	gptkb:set_theory mereotopology non-extensional mereology
gptkbp:developedBy	gptkb:Stanislaw_Lesniewski
gptkbp:field	gptkb:logic gptkb:mathematics gptkb:philosophy
gptkbp:hasApplication	semantic web information systems geographical information systems spatial reasoning biomedical ontologies
gptkbp:hasAxiom	extensionality of parthood fusion principle parthood is antisymmetric parthood is reflexive parthood is transitive
gptkbp:hasConcept	gptkb:mountain Atom fusion overlap parthood proper part atomic mereology atomless mereology null item universal fusion
gptkbp:hasFormalization	gptkb:first-order_logic axiomatic system
https://www.w3.org/2000/01/rdf-schema#label	general extensional mereology
gptkbp:influencedBy	gptkb:set_theory
gptkbp:publishedIn	gptkb:Peter_Simons,_Parts:_A_Study_in_Ontology Achille Varzi, 'Mereology' Stanislaw Lesniewski's works
gptkbp:relatedTo	gptkb:dictionary gptkb:set_theory gptkb:classical_mereology
gptkbp:studies	part-whole relations
gptkbp:usedIn	gptkb:artificial_intelligence gptkb:knowledge_representation gptkb:formal_ontology computer science
gptkbp:bfsParent	gptkb:Mereology
gptkbp:bfsLayer	6