OntOfOnt
type: Ontology
version info: 2.7
version info: 06-12-2016
comment: This is an applied ontology for philosophical ontology. The development of the ontology was funded by National Research Center (2012/07/B/HS1/01938).

as documented in
type: AnnotationProperty
label: jako udokumentowana w @pl
range: knowledge resource

as rendered in
type: AnnotationProperty
label: jako określona w @pl
sub property of: as documented in

has text
type: AnnotationProperty
label: zawiera tekst @pl
range: string
domain: knowledge resource

is defined by
label: jest zdefiniowana przez @pl

label
label: nazwa @pl

defined by
type: ObjectProperty
sub property of: is interpreted by
inverse of: defines
domain: Class
  union of: category
  union of: relation
range: propositional entity
label: jest zdefiniowana przez @pl

is conjunction of
type: ObjectProperty
sub property of: has intensional part
domain: conjunction of intensional entities
label: jest koniunkcją @pl

converses
type: ObjectProperty
sub property of: has intensional part
type: FunctionalProperty
domain: converse of intensional entity
range: relation
label: jest konwersją @pl

creates
type: ObjectProperty
sub property of: generically influences
inverse of: is created by
domain: agent
label: sprawia @pl

defines
type: ObjectProperty
sub property of: interprets
label: definiuje @pl

is disjoint with
type: ObjectProperty
sub property of: is related to
property disjoint with: is narrower or equal to
property disjoint with: is wider or equal to
label: jest rozłączny z @pl

is equal to
type: ObjectProperty
sub property of: is narrower or equal to
sub property of: is wider or equal to
type: SymmetricProperty
property disjoint with: is narrower than
property disjoint with: is wider than
label: jest równy @pl

is existential generalisation of
type: ObjectProperty
sub property of: has intensional part
type: FunctionalProperty
domain: existential generalisation of intensional entity
label: jest egzystencjalną generalizacją @pl

expands
type: ObjectProperty
sub property of: has intensional part
type: FunctionalProperty
domain: expansion of intensional entity
label: rozszerza @pl

expresses
type: ObjectProperty
sub property of: generically influences
inverse of: is expressed in
domain: knowledge resource
property chain axiom: has parts
label: wyraża @pl

has member
type: ObjectProperty
domain: extensional extension
label: ma element @pl

extension has membership character
type: ObjectProperty
type: FunctionalProperty
domain: extension
range: extension parameter
label: has parameter
label: ma parametr @pl
label: zakres ma charakter @pl

is extension of
type: ObjectProperty
sub property of: is represented by
inverse of: has extension
label: jest zakresem @pl

extension parameter is extensionally equal to
type: ObjectProperty
type: FunctionalProperty
domain: extension parameter
range: extensional extension
label: parameter zakresu jest ekstensjonalnie równy @pl

is related to
type: ObjectProperty
domain: extension
range: extension
property chain axiom: is equal to
label: jest związany z @pl

generically and permanently depends on
type: ObjectProperty
sub property of: generically depends on
is defined by: x generically and permanently depends on y iff there is F such that y is an F and necessarily, for every time t, if x exists at t, then an F exists at t.
label: zależy rodzajowo i trwale od @pl

generically depends on
type: ObjectProperty
inverse of: generically influences
is defined by: x generically depends on y iff there is F such that y is an F and necessarily, if x exists, then an F exists.
label: zależy rodzajowo od @pl

generically influences
type: ObjectProperty
label: wpływa rodzajowo na @pl

has author
type: ObjectProperty
sub property of: is created by
inverse of: is an author of
domain: document
label: ma autora @pl

has conclusion
type: ObjectProperty
sub property of: has parts
domain: argument
range: proposition
label: ma wniosek @pl

has extension
type: ObjectProperty
sub property of: represents
type: FunctionalProperty
domain: interpretation of resource content
range: extension
label: ma zakres @pl

has intensional part
type: ObjectProperty
sub property of: has parts
type: AsymmetricProperty
domain: intensional entity
range: intensional entity
label: ma część intensjonalną @pl

has parts
type: ObjectProperty
inverse of: is part of
label: ma części @pl

has premise
type: ObjectProperty
sub property of: has parts
domain: argument
range: proposition
label: ma przesłankę @pl

has publisher
type: ObjectProperty
sub property of: is created by
inverse of: is publisher of
domain: Class
  union of: document
  union of: document collection
label: ma wydawcę @pl

is interpreted by
type: ObjectProperty
sub property of: is part of
inverse of: interprets
range: interpretation
label: jest interpretowany przez @pl

interprets
type: ObjectProperty
sub property of: has parts
domain: interpretation
label: interpretuje @pl

interprets by means of
type: ObjectProperty
sub property of: has parts
domain: interpretation
label: interpretuje za pomocą @pl

inverses
type: ObjectProperty
sub property of: has intensional part
type: FunctionalProperty
domain: inverse of intensional entity
range: relation
label: jest inwersją @pl

is an author of
type: ObjectProperty
sub property of: creates
label: jest autorem @pl

is created by
type: ObjectProperty
sub property of: rigidly and historically depends on
label: jest wytworzony przez @pl

is expressed in
type: ObjectProperty
sub property of: generically and permanently depends on
domain: resource content
property chain axiom: is part of
label: jest wyrażony w @pl

is part of
type: ObjectProperty
type: AsymmetricProperty
type: IrreflexiveProperty
label: jest częścią @pl

is publisher of
type: ObjectProperty
sub property of: creates
label: jest wydawcą @pl

may be disjoint with
type: ObjectProperty
sub property of: may be related to
property chain axiom: is interpreted by
property chain axiom: has extension
property chain axiom: is disjoint with
property chain axiom: is extension of
property chain axiom: interprets
is defined by: One category A may be disjoint with another category B if there is an interpretation I(A) of A such that there is an interpretation I(B) of B such that I(A) is disjoint with I(B).
label: może być rozłączna z @pl

may be equal to
type: ObjectProperty
sub property of: may be narrower or equal to
sub property of: may be wider or equal to
type: SymmetricProperty
property chain axiom: is interpreted by
property chain axiom: has extension
property chain axiom: is equal to
property chain axiom: is extension of
property chain axiom: interprets
is defined by: One category A may be equal to another category B if there is an interpretation I(A) of A such that there is an interpretation I(B) of B such that I(A) is equal to I(B).
label: może być równa @pl

may be narrower or equal to
type: ObjectProperty
sub property of: may be related to
inverse of: may be wider or equal to
property chain axiom: is interpreted by
property chain axiom: has extension
property chain axiom: is narrower or equal to
property chain axiom: is extension of
property chain axiom: interprets
is defined by: One category A may be narrower or equal to another category B if there is an interpretation I(A) of A such that there is an interpretation I(B) of B such that I(A) is narrower or equal to I(B).
label: może być węższa lub równa @pl

may be narrower than
type: ObjectProperty
sub property of: may be narrower or equal to
inverse of: may be wider than
property chain axiom: is interpreted by
property chain axiom: has extension
property chain axiom: is narrower than
property chain axiom: is extension of
property chain axiom: interprets
is defined by: One category A may be narrower than another category B if there is an interpretation I(A) of A such that there is an interpretation I(B) of B such that I(A) is narrower than I(B).
label: może być węższa niż @pl

may be related to
type: ObjectProperty
domain: semantic entity in humanities
range: semantic entity in humanities
property chain axiom: is interpreted by
property chain axiom: has extension
property chain axiom: is related to
property chain axiom: is extension of
property chain axiom: interprets
property chain axiom: may be equal to
is defined by: One category A may be related to another category B if there is an interpretation I(A) of A such that there is an interpretation I(B) of B such that I(A) is related to I(B).
label: może być związana z @pl

may be wider or equal to
type: ObjectProperty
sub property of: may be related to
property chain axiom: is interpreted by
property chain axiom: has extension
property chain axiom: is wider or equal to
property chain axiom: is extension of
property chain axiom: interprets
is defined by: One category A may be wider or equal to another category B if there is an interpretation I(A) of A such that there is an interpretation I(B) of B such that I(A) is wider or equal to I(B).
label: może być szersza lub równa @pl

may be wider than
type: ObjectProperty
sub property of: may be wider or equal to
property chain axiom: is interpreted by
property chain axiom: has extension
property chain axiom: is wider than
property chain axiom: is extension of
property chain axiom: interprets
is defined by: One category A may be wider than another category B if there is an interpretation I(A) of A such that there is an interpretation I(B) of B such that I(A) is wider than I(B).
label: może być szersza niż @pl

is mentioned in
type: ObjectProperty
inverse of: mentions
label: jest wzmiankowany w @pl

mentions
type: ObjectProperty
domain: knowledge resource
label: wzmiankuje @pl

is narrower or equal to
type: ObjectProperty
sub property of: is related to
label: jest węższy lub równy @pl

is narrower than
type: ObjectProperty
sub property of: is narrower or equal to
inverse of: is wider than
type: AsymmetricProperty
property disjoint with: is wider than
label: jest węższy niż @pl

negates
type: ObjectProperty
sub property of: has intensional part
type: FunctionalProperty
label: neguje @pl

predicts
type: ObjectProperty
sub property of: has intensional part
type: FunctionalProperty
domain: predication of one intensional entity about another intensional entity
label: orzeka @pl

predicts of
type: ObjectProperty
sub property of: has intensional part
type: FunctionalProperty
domain: predication of one intensional entity about another intensional entity
label: orzeka o @pl

is reflexivisation of
type: ObjectProperty
sub property of: has intensional part
type: FunctionalProperty
domain: reflexivisation of intensional entity
range: relation
label: jest uzwrotnieniem @pl

relation has domain
type: ObjectProperty
sub property of: interprets
type: FunctionalProperty
domain: interpretation of relation domain
range: category
label: relacja ma dziedzinę @pl

is represented by
type: ObjectProperty
inverse of: represents
type: IrreflexiveProperty
label: jest reprezentowany przez @pl

represents
type: ObjectProperty
domain: semantic entity
label: reprezentuje @pl

rigidly and historically depends on
type: ObjectProperty
sub property of: rigidly depends on
is defined by: x rigidly and historically depends on y iff necessarily, if x exists at time t, then there is some time t' such that t' is earlier than t and y exists at t'.
label: zależy ściśle i historycznie od @pl

rigidly depends on
type: ObjectProperty
sub property of: generically depends on
is defined by: x rigidly depends on y iff necessarily, if x exists, then y exists.
label: zależy ściśle od @pl

specifies interpretation of relation domain
type: ObjectProperty
sub property of: has parts
domain: interpretation of relation
range: interpretation of relation domain
label: określa interpretację dziedziny relacji @pl

is universal generalisation of
type: ObjectProperty
sub property of: has intensional part
type: FunctionalProperty
domain: universal generalisation of intensional entity
label: jest ogólną generalizacją @pl

is wider or equal to
type: ObjectProperty
sub property of: is related to
label: jest szerszy lub równy @pl

is wider than
type: ObjectProperty
sub property of: is wider or equal to
type: AsymmetricProperty
label: jest szerszy niż @pl

relation has arity
type: DatatypeProperty
type: FunctionalProperty
domain: interpretation of relation
range: integer
label: relacja ma arność @pl

extension parameter has arity
type: DatatypeProperty
type: FunctionalProperty
domain: extension parameter
range: integer
label: parametr zakresu ma arność @pl

first page
type: DatatypeProperty
type: FunctionalProperty
domain: Class
  union of: document
  union of: document collection
range: integer
label: pierwsza strona @pl

has Bibtex metadata
type: DatatypeProperty
sub property of: has metadata
label: ma metadane w formacie Bibtex @pl

has metadata
type: DatatypeProperty
domain: Class
  union of: document
  union of: document collection
range: string
label: ma metadane @pl

has title
type: DatatypeProperty
domain: Class
  union of: document
  union of: document collection
range: string
label: ma tytuł @pl

for relation has arity equal to
type: DatatypeProperty
type: FunctionalProperty
domain: interpretation of relation domain
range: integer
label: jest argumentem relacji o numerze @pl

extension paremeter is extension
type: DatatypeProperty
type: FunctionalProperty
domain: extension parameter
range: boolean
label: zakres parametru jest zakresem właściwym @pl

is generalisation of place number
type: DatatypeProperty
sub property of: topDataProperty
type: FunctionalProperty
domain: Class
  union of: existential generalisation of intensional entity
  union of: universal generalisation of intensional entity
range: integer
label: jest generalizacją miejsca o numerze @pl

is published in
type: DatatypeProperty
type: FunctionalProperty
domain: Class
  union of: document
  union of: document collection
range: integer
label: jest opublikowany w roku @pl

last page
type: DatatypeProperty
type: FunctionalProperty
domain: Class
  union of: document
  union of: document collection
range: integer
label: ostatnia strona @pl

location in collection
type: DatatypeProperty
type: FunctionalProperty
domain: Class
  union of: document
  union of: document collection
range: integer
label: lokalizacja w kolekcji @pl

agent
type: Class
subclass of: entity
label: sprawca @pl

argument
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: has conclusion
    min cardinality: 1
  intersection of: Restriction
    on property: has premise
    min cardinality: 1
subclass of: propositional structure
subclass of: Restriction
  on property: is part of
  some values from: theory

category
type: Class
subclass of: intensional entity
subclass of: semantic entity
subclass of: Restriction
  on property: is part of
  some values from: proposition
disjoint with: mode of propositional representation
disjoint with: propositional entity
is defined by: A category is a resource content whose role is to represent (i.e., stand for) a collection of entities.
label: kategoria @pl

category in humanities
type: Class
equivalent class: Class
  intersection of: category
  intersection of: semantic entity in humanities
subclass of: category
subclass of: semantic entity in humanities
subclass of: Restriction
  on property: is interpreted by
  some values from: interpretation of category
label: kategoria w humanistyce @pl

interpretation of category
type: Class
equivalent class: Restriction
  on property: interprets
  some values from: category
subclass of: interpretation of resource content
subclass of: Restriction
  on property: has extension
  some values from: entity
label: interpretacja kategorii @pl

conjunction of intensional entities
type: Class
equivalent class: Restriction
  on property: is conjunction of
  min cardinality: 2
subclass of: intensional entity
label: koniunkcja bytów intensjonalnych @pl

converse of intensional entity
type: Class
equivalent class: Restriction
  on property: converses
  some values from: entity
subclass of: intensional entity
label: konwersja bytu intensjonalnego @pl

document
type: Class
subclass of: knowledge resource
subclass of: Restriction
  on property: has author
  min cardinality: 1
subclass of: Restriction
  on property: has parts
  min qualified cardinality: 2
  on class: document part
subclass of: Restriction
  on property: is part of
  max qualified cardinality: 1
  on class: document collection
label: dokument @pl

document part
type: Class
equivalent class: Restriction
  on property: is part of
  qualified cardinality: 1
  on class: document
subclass of: knowledge resource
label: fragment dokumentu @pl

document collection
type: Class
subclass of: knowledge resource
subclass of: Restriction
  on property: has parts
  min qualified cardinality: 2
  on class: Class
    union of: document
    union of: document collection
subclass of: Restriction
  on property: has publisher
  min cardinality: 1
label: zbiór dokumentów @pl

empty category extension singleton
type: Class
equivalent class: Class
  intersection of: extensional category extension
  intersection of: Restriction
    on property: is wider than
    all values from: Class
      complement of: entity
subclass of: extensional category extension
disjoint with: universal category actual extension singleton
comment: This is a singleton.
label: pusty zakres kategorii @pl

existential generalisation of intensional entity
type: Class
equivalent class: Restriction
  on property: is existential generalisation of
  some values from: entity
subclass of: intensional entity
subclass of: Restriction
  on property: is generalisation of place number
  some values from: integer
label: egzystencjalna generalizacja bytu intensjonalnego @pl

existential mode
type: Class
subclass of: ontological mode of representation
disjoint with: apodeictic modes
disjoint with: possibility
label: existential quantifier
label: odniesienie egzystencjalne @pl

expansion of intensional entity
type: Class
equivalent class: Restriction
  on property: expands
  some values from: entity
subclass of: intensional entity
label: ekspansja bytu intensjonalnego @pl

extension
type: Class
subclass of: entity
subclass of: Restriction
  on property: is represented by
  some values from: entity
label: zakres @pl

extension parameter
type: Class
subclass of: entity
subclass of: Restriction
  on property: extension parameter is extensionally equal to
  some values from: entity
subclass of: Restriction
  on property: extension parameter has arity
  some values from: integer
label: parametr zakresu @pl

extensional category extension
type: Class
equivalent class: Class
  intersection of: extensional extension
  intersection of: Restriction
    on property: is represented by
    some values from: interpretation of category
subclass of: extensional extension
subclass of: Restriction
  on property: is related to
  all values from: extensional category extension
is defined by: An extensional category extension (for a category) is a class of all entites that fall under this category.
label: ekstensjonalny zakres kategorii @pl

extensional extension
type: Class
equivalent class: Class
  intersection of: extension
  intersection of: Restriction
    on property: extension has membership character
    max cardinality: 0
subclass of: extension
subclass of: Restriction
  on property: has member
  some values from: entity
label: ekstensjonalny zakres @pl

intensional entity
type: Class
subclass of: semantic entity
disjoint union of: category
disjoint union of: proposition
disjoint union of: relation
disjoint union of: conjunction of intensional entities
disjoint union of: converse of intensional entity
disjoint union of: existential generalisation of intensional entity
disjoint union of: expansion of intensional entity
disjoint union of: inverse of intensional entity
disjoint union of: negation of intensional entity
disjoint union of: predication of one intensional entity about another intensional entity
disjoint union of: reflexivisation of intensional entity
disjoint union of: universal generalisation of intensional entity
comment: This class is meant to contain all PRP entities: properties, relations, and propositions.
label: byt intensjonalny @pl

interpretation
type: Class
equivalent class: Restriction
  on property: interprets
  cardinality: 1
subclass of: propositional entity
label: interpretacja @pl

inverse of intensional entity
type: Class
equivalent class: Restriction
  on property: inverses
  some values from: entity
subclass of: intensional entity
label: inwersja bytu intensjonalnego @pl

knowledge resource
type: Class
subclass of: entity
subclass of: Restriction
  on property: is created by
  some values from: entity
label: zasób wiedzy @pl

mode of propositional representation
type: Class
subclass of: semantic entity
subclass of: Restriction
  on property: is part of
  some values from: proposition
disjoint with: propositional entity
label: sądowy sposób odniesienia @pl

apodeictic modes
type: Class
subclass of: ontological mode of representation
disjoint with: possibility
label: necessity
label: odniesienie koniecznościowe @pl

negation of intensional entity
type: Class
equivalent class: Restriction
  on property: negates
  some values from: entity
subclass of: intensional entity
label: negacja bytu intensjonalnego @pl

nihilism
type: Class
equivalent class: Class
  intersection of: ontological proposition
  intersection of: Restriction
    on property: negates
    some values from: positivism
subclass of: ontological proposition
label: nihilizm @pl

ontological category
type: Class
subclass of: category in humanities
label: kategoria ontologiczna @pl

ontological mode of representation
type: Class
equivalent class: Class
  intersection of: mode of propositional representation
  intersection of: semantic entity in humanities
subclass of: mode of propositional representation
subclass of: semantic entity in humanities
disjoint union of: existential mode
disjoint union of: apodeictic modes
disjoint union of: possibility
label: sądowy sposób odniesienia w ontologii @pl

ontological proposition
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: has parts
    some values from: ontological category
  intersection of: Restriction
    on property: has parts
    qualified cardinality: 1
    on class: ontological mode of representation
subclass of: proposition
subclass of: semantic entity in humanities
subclass of: Class
  union of: Restriction
    on property: is part of
    some values from: ontological theory
  union of: Restriction
    on property: is part of
    has value: ontology
label: sąd ontologiczny @pl

ontological relation
type: Class
subclass of: relation in humanities
subclass of: Restriction
  on property: is interpreted by
  some values from: interpretation of relation
label: relacja ontologiczna @pl

ontological theory
type: Class
subclass of: semantic entity in humanities
subclass of: theory
subclass of: Restriction
  on property: has parts
  some values from: ontological proposition
subclass of: Restriction
  on property: is part of
  has value: ontology
label: teoria ontologiczna @pl

philosophical discipline
type: Class
subclass of: research discipline
subclass of: semantic entity in humanities
label: dyscyplina filozoficzna @pl

positivism
type: Class
equivalent class: Class
  intersection of: ontological proposition
  intersection of: Restriction
    on property: is existential generalisation of
    some values from: category
subclass of: ontological proposition
label: asertywizm @pl

predication of one intensional entity about another intensional entity
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: predicts
    some values from: entity
  intersection of: Restriction
    on property: predicts of
    some values from: entity
subclass of: intensional entity
label: predykacja @pl

possibility
type: Class
subclass of: ontological mode of representation
subclass of: Restriction
  on property: represents
  some values from: universal category extension singleton
label: odniesienia możliwościowe @pl
label: problematic mode

proposition
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: has parts
    some values from: category
  intersection of: Restriction
    on property: has parts
    some values from: mode of propositional representation
  intersection of: Restriction
    on property: has parts
    all values from: Class
      union of: category
      union of: mode of propositional representation
      union of: proposition
      union of: relation
subclass of: intensional entity
subclass of: propositional entity
disjoint with: propositional structure
is defined by: A proposition is a resource content whose role is to represent situations (or, in the philosophical jargon, states of affairs).
label: sąd @pl

propositional entity
type: Class
subclass of: semantic entity
subclass of: Restriction
  on property: has parts
  some values from: category
disjoint union of: proposition
disjoint union of: propositional structure
label: byt propozycjonalny @pl

propositional structure
type: Class
subclass of: propositional entity
subclass of: Restriction
  on property: has parts
  min qualified cardinality: 2
  on class: proposition
label: struktura propozycjonalna @pl

reductio
type: Class
subclass of: argument
label: reductio ad absurdum

reflexivisation of intensional entity
type: Class
equivalent class: Restriction
  on property: is reflexivisation of
  some values from: entity
subclass of: intensional entity
label: uzwrotnienie bytu intensjonalnego @pl

relation
type: Class
subclass of: intensional entity
subclass of: semantic entity
subclass of: Restriction
  on property: is part of
  some values from: proposition
label: relacja @pl

interpretation of relation domain
type: Class
subclass of: interpretation of category
subclass of: Restriction
  on property: relation has domain
  some values from: entity
subclass of: Restriction
  on property: is part of
  qualified cardinality: 1
  on class: interpretation of relation
subclass of: Restriction
  on property: for relation has arity equal to
  some values from: integer
label: interpretacja dziedziny relacji @pl

relation in humanities
type: Class
equivalent class: Class
  intersection of: relation
  intersection of: semantic entity in humanities
subclass of: relation
subclass of: semantic entity in humanities
label: relacja w humanistyce @pl

interpretation of relation
type: Class
equivalent class: Restriction
  on property: interprets
  some values from: relation
subclass of: interpretation of resource content
subclass of: Restriction
  on property: specifies interpretation of relation domain
  min cardinality: 2
subclass of: Restriction
  on property: relation has arity
  some values from: integer
label: interpretacja relacji @pl

research discipline
type: Class
subclass of: propositional structure
subclass of: Restriction
  on property: has parts
  some values from: theory
label: dyscyplina @pl

resource content
type: Class
equivalent class: Restriction
  on property: is expressed in
  some values from: knowledge resource
subclass of: entity
label: zawartość zasobu @pl

equivalent interpretation of resource content
type: Class
subclass of: interpretation of resource content
subclass of: Restriction
  on property: interprets by means of
  qualified cardinality: 1
  on class: resource content
label: równoważnościowa interpretacja zasobu @pl

interpretation of resource content
type: Class
equivalent class: Restriction
  on property: interprets
  some values from: resource content
subclass of: interpretation
label: interpretacja zawartości zasobu @pl

subsumptive interpretation of resource content
type: Class
subclass of: interpretation of resource content
subclass of: Restriction
  on property: interprets by means of
  qualified cardinality: 1
  on class: resource content
label: subsumpcyjna interpretacja zasobu @pl

semantic entity
type: Class
subclass of: resource content
subclass of: Restriction
  on property: represents
  min cardinality: 1
label: byt semantyczny @pl

semantic entity in humanities
type: Class
subclass of: semantic entity
subclass of: Restriction
  on property: is interpreted by
  some values from: entity
label: byt semantyczny w humanistyce @pl

theory
type: Class
subclass of: propositional structure
subclass of: Restriction
  on property: has parts
  some values from: argument
subclass of: Restriction
  on property: has parts
  some values from: proposition
subclass of: Restriction
  on property: is part of
  some values from: research discipline
label: teoria @pl

universal category extension singleton
type: Class
equivalent class: Class
  intersection of: extensional category extension
  intersection of: Restriction
    on property: is narrower than
    all values from: Class
      complement of: entity
subclass of: extensional category extension
comment: This is a singleton.
label: uniwersalny zakres kategorii @pl

universal category actual extension singleton
type: Class
subclass of: extensional category extension
comment: This is a singleton.
label: uniwersalny aktualny zakres @pl

universal generalisation of intensional entity
type: Class
equivalent class: Restriction
  on property: is universal generalisation of
  some values from: entity
subclass of: intensional entity
subclass of: Restriction
  on property: is generalisation of place number
  some values from: integer
label: ogólna generalizacja bytu intensjonalnego @pl

entity
label: byt @pl

ontology
type: NamedIndividual
type: philosophical discipline
label: ontologia @pl