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
jako udokumentowana w
as rendered in
jako określona w
has text
zawiera tekst
is defined by
jest zdefiniowana przez
label
nazwa
defined by
is conjunction of
jest koniunkcją
converses
jest konwersją
creates
sprawia
defines
definiuje
is disjoint with
jest rozłączny z
is equal to
jest równy
is existential generalisation of
jest egzystencjalną generalizacją
expands
rozszerza
expresses
wyraża
has member
ma element
extension has membership character
has parameter
ma parametr
zakres ma charakter
is extension of
jest zakresem
extension parameter is extensionally equal to
parameter zakresu jest ekstensjonalnie równy
is related to
jest związany z
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.
generically and permanently depends on
zależy rodzajowo i trwale od
x generically depends on y iff there is F such that y is an F and necessarily, if x exists, then an F exists.
generically depends on
zależy rodzajowo od
generically influences
wpływa rodzajowo na
has author
ma autora
has conclusion
ma wniosek
has extension
ma zakres
has intensional part
ma część intensjonalną
has parts
ma części
has premise
ma przesłankę
has publisher
ma wydawcę
is interpreted by
jest interpretowany przez
interprets
interpretuje
interprets by means of
interpretuje za pomocą
inverses
jest inwersją
is an author of
jest autorem
is created by
jest wytworzony przez
is expressed in
jest wyrażony w
is part of
jest częścią
is publisher of
jest wydawcą
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).
may be disjoint with
może być rozłączna z
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).
may be equal to
może być równa
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).
may be narrower or equal to
może być węższa lub równa
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).
may be narrower than
może być węższa niż
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).
may be related to
może być związana z
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).
may be wider or equal to
może być szersza lub równa
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).
may be wider than
może być szersza niż
is mentioned in
jest wzmiankowany w
mentions
wzmiankuje
is narrower or equal to
jest węższy lub równy
is narrower than
jest węższy niż
negates
neguje
orzeka
predicts
orzeka o
predicts of
is reflexivisation of
jest uzwrotnieniem
relacja ma dziedzinę
relation has domain
is represented by
jest reprezentowany przez
represents
reprezentuje
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'.
rigidly and historically depends on
zależy ściśle i historycznie od
x rigidly depends on y iff necessarily, if x exists, then y exists.
rigidly depends on
zależy ściśle od
określa interpretację dziedziny relacji
specifies interpretation of relation domain
is universal generalisation of
jest ogólną generalizacją
is wider or equal to
jest szerszy lub równy
is wider than
jest szerszy niż
relacja ma arność
relation has arity
extension parameter has arity
parametr zakresu ma arność
first page
pierwsza strona
has Bibtex metadata
ma metadane w formacie Bibtex
has metadata
ma metadane
has title
ma tytuł
for relation has arity equal to
jest argumentem relacji o numerze
extension paremeter is extension
zakres parametru jest zakresem właściwym
is generalisation of place number
jest generalizacją miejsca o numerze
is published in
jest opublikowany w roku
last page
ostatnia strona
location in collection
lokalizacja w kolekcji
agent
sprawca
argument
A category is a resource content whose role is to represent (i.e., stand for) a collection of entities.
category
kategoria
category in humanities
kategoria w humanistyce
interpretacja kategorii
interpretation of category
conjunction of intensional entities
koniunkcja bytów intensjonalnych
converse of intensional entity
konwersja bytu intensjonalnego
document
dokument
document part
fragment dokumentu
document collection
zbiór dokumentów
This is a singleton.
empty category extension singleton
pusty zakres kategorii
egzystencjalna generalizacja bytu intensjonalnego
existential generalisation of intensional entity
existential mode
existential quantifier
odniesienie egzystencjalne
ekspansja bytu intensjonalnego
expansion of intensional entity
extension
zakres
extension parameter
parametr zakresu
An extensional category extension (for a category) is a class of all entites that fall under this category.
ekstensjonalny zakres kategorii
extensional category extension
ekstensjonalny zakres
extensional extension
This class is meant to contain all PRP entities: properties, relations, and propositions.
byt intensjonalny
intensional entity
interpretacja
interpretation
inverse of intensional entity
inwersja bytu intensjonalnego
knowledge resource
zasób wiedzy
mode of propositional representation
sądowy sposób odniesienia
apodeictic modes
necessity
odniesienie koniecznościowe
negacja bytu intensjonalnego
negation of intensional entity
nihilism
nihilizm
kategoria ontologiczna
ontological category
ontological mode of representation
sądowy sposób odniesienia w ontologii
ontological proposition
sąd ontologiczny
ontological relation
relacja ontologiczna
ontological theory
teoria ontologiczna
dyscyplina filozoficzna
philosophical discipline
asertywizm
positivism
predication of one intensional entity about another intensional entity
predykacja
odniesienia możliwościowe
possibility
problematic mode
A proposition is a resource content whose role is to represent situations (or, in the philosophical jargon, states of affairs).
proposition
sąd
byt propozycjonalny
propositional entity
propositional structure
struktura propozycjonalna
reductio
reductio ad absurdum
reflexivisation of intensional entity
uzwrotnienie bytu intensjonalnego
relacja
relation
interpretacja dziedziny relacji
interpretation of relation domain
relacja w humanistyce
relation in humanities
interpretacja relacji
interpretation of relation
dyscyplina
research discipline
resource content
zawartość zasobu
equivalent interpretation of resource content
równoważnościowa interpretacja zasobu
interpretacja zawartości zasobu
interpretation of resource content
subsumpcyjna interpretacja zasobu
subsumptive interpretation of resource content
byt semantyczny
semantic entity
byt semantyczny w humanistyce
semantic entity in humanities
teoria
theory
universal category extension singleton
uniwersalny zakres kategorii
universal category actual extension singleton
uniwersalny aktualny zakres
ogólna generalizacja bytu intensjonalnego
universal generalisation of intensional entity
byt
entity
ontologia
ontology