Statements (31)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:philosophy
|
gptkbp:appliesTo |
gptkb:logic
gptkb:mathematics computer science linguistics |
gptkbp:concerns |
parts
relations between parts and wholes wholes |
gptkbp:contrastsWith |
gptkb:set_theory
|
gptkbp:hasApplication |
gptkb:artificial_intelligence
gptkb:knowledge_representation gptkb:formal_ontology metaphysics |
gptkbp:hasConcept |
gptkb:mountain
fusion antisymmetry of parthood overlap parthood proper part reflexivity of parthood transitivity of parthood |
gptkbp:hasSubfield |
gptkb:classical_mereology
gptkb:general_extensional_mereology non-classical mereology |
https://www.w3.org/2000/01/rdf-schema#label |
Mereology
|
gptkbp:notableFigure |
gptkb:Stanisław_Leśniewski
|
gptkbp:originatedIn |
early 20th century
|
gptkbp:relatedTo |
gptkb:dictionary
|
gptkbp:studies |
part-whole relationships
|
gptkbp:bfsParent |
gptkb:Stanisław_Leśniewski
|
gptkbp:bfsLayer |
5
|