It'z my life, my love n my jouRney. . .

top level kategori






This web page summarizes the top levels of the KR Ontology , which is defined in the book Knowledge Representation by John F. Sowa. Halaman web ringkasan tingkat atas Ontologi KR, yang didefinisikan dalam buku Pengetahuan Representasi oleh John F. Sowa. Figure 1 shows a lattice of the top-level categories discussed in Chapter 2 of that book. These categories have been derived from a synthesis of various sources, but the two major influences are the semiotics of Charles Sanders Peirce and the categories of existence of Alfred North Whitehead. Gambar 1 menunjukkan sebuah kisi dari kategori tingkat atas dibahas dalam Bab 2 buku itu. kategori ini telah diturunkan dari sintesis dari berbagai sumber, tetapi dua pengaruh utama adalah semiotika Charles Sanders Peirce dan kategori dari keberadaan Alfred North Whitehead.

Figure 1: Hierarchy of top-level categories Gambar 1: Hirarki kategori tingkat atas

Any category in Figure 1 can be abbreviated by the initials of the primitive categories above it: Independent, Relative, or Mediating; Physical or Abstract; Continuant or Occurrent. Setiap kategori pada Gambar 1 dapat disingkat dengan inisial dari primitif kategori di atas itu: Independen, relatif, atau Memediasi; Fisik atau Abstrak; Continuant atau Occurrent. Actuality, for example, may be abbreviated as IP for Independent Physical, and Purpose as MAO for Mediating Abstract Occurrent. Aktualitas, misalnya, dapat disingkat sebagai IP untuk Independen Fisik, dan Tujuan sebagai MAO untuk Memediasi Abstrak Occurrent. The twelve categories displayed in the center of the lattice and the primitives from which they are generated can also be arranged in the matrix of Figure 2. Dua belas kategori yang ditampilkan di pusat kisi dan primitif dari yang dihasilkan mereka juga bisa diatur dalam matriks pada Gambar 2.

Physical Fisik Abstract Abstrak
Continuant Continuant Occurrent Occurrent Continuant Continuant Occurrent Occurrent
Independent Independen Object Obyek Process Proses Schema Skema Script Naskah
Relative Relatif Juncture Titik waktu Participation Partisipasi Description Deskripsi History Sejarah
Mediating Mediasi Structure Struktur Situation Situasi Reason Alasan Purpose Tujuan

Figure 2: Matrix of the twelve central categories Gambar 2: Matriks dari dua belas kategori pusat

The lattice and the matrix are different ways of displaying the combinatorial structure of the categories. Kisi dan matrik berbagai cara untuk menampilkan struktur gabungan dari kategori-kategori. The two kinds of diagrams highlight different aspects: Kedua jenis diagram menyoroti aspek-aspek yang berbeda:

* The lattice can display intermediate categories that are formed from the options taken two at a time, such as Actuality (IP), Proposition (RA), or Nexus (MP). kisi dapat menampilkan kategori menengah yang dibentuk dari pilihan yang diambil dua sekaligus, seperti aktualitas (protokol), Proposisi (RA), atau Nexus (MP).

* But a diagram of the full lattice may become too cluttered if all options are displayed, and some possible combinations, such as AbstractOccurrent (AO) or RelativeContinuant (RC), were omitted to simplify the diagram. Tapi diagram kisi penuh menjadi terlalu berantakan jika semua pilihan yang ditampilkan, dan beberapa kemungkinan kombinasi, seperti AbstractOccurrent (AO) atau RelativeContinuant (RC), dihilangkan menyederhanakan diagram.

* When all possible combinations are meaningful, the matrix is often the simplest way to display them. But if some combinations are ruled out because of other constraints, some boxes in the matrix may be empty. Bila semua kombinasi yang mungkin adalah bermakna, matriks adalah cara paling sederhana untuk menampilkan kendala mereka. Tetapi jika beberapa kombinasi dikesampingkan karena lainnya, beberapa kotak dalam matriks mungkin kosong.

All the categories defined by such lattices and matrices can be represented as monadic predicates defined by conjunctions of simpler monadic predicates. Semua kategori didefinisikan oleh kisi tersebut dan matriks dapat direpresentasikan sebagai predikat monadik didefinisikan oleh konjungsi dari predikat monadik sederhana. For example, the category Participation (RPO) corresponds to a predicate participation( x ), which is defined by the following conjunction: Sebagai contoh, kategori Partisipasi (RPO) sesuai dengan partisipasi predikat (x), yang didefinisikan oleh bersama sebagai berikut:

* participation( x ) º relative( x ) Ù physical( x ) Ù occurrent( x ). partisipasi (x) º relatif (x) Ù fisik (x) Ù occurrent (x).

Categories defined by conjunctions of primitives are useful for generating the structural backbone of the type hierarchy. But the more specialized categories in an ontology may require more complex logical expressions. For further discussion of the problems and issues of defining a large ontology of concepts with detailed semantic representations, see the article "Concepts in the Lexicon" . Kategori didefinisikan oleh konjungsi dari primitif yang berguna untuk menghasilkan tulang punggung struktur hirarki jenis ekspresi. Tetapi lebih khusus kategori ontologi mungkin sebuah di kompleks logis lebih membutuhkan. Untuk diskusi lebih lanjut masalah dan isu-isu mendefinisikan ontologi besar konsep dengan rinci representasi semantik, lihat artikel "Konsep dalam Leksikon" .

The categories in Figure 1 are listed below. Nine primitive categories have associated axioms: T , ^ , Independent, Relative, Mediating, Physical, Abstract, Continuant, and Occurrent. Kategori di Gambar 1 tercantum di bawah ini. Sembilan kategori primitif terkait aksioma: T, ^, Independen, Relatif, Memediasi, fisik, Abstrak, Continuant, dan Occurrent. Each subtype is defined as the infimum (greatest common subtype, represented by the symbol Ç ) of two supertypes, whose axioms it inherits. Setiap subtipe didefinisikan sebagai infimum (subtipe umum terbesar, diwakili oleh simbol Ç) dari dua supertypes, yang aksioma itu mewarisi. For example, the type Form is defined as Independent Ç Abstract; it therefore inherits the axioms of Independent and Abstract, and it is abbreviated IA to indicate its two supertypes. See the glossary for definitions of the techniques and metalevel conventions used to define these categories. See the tutorial for a review of the definitions and notations for sets, functions, relations, graphs, lattices, and logic. Misalnya, Formulir jenis didefinisikan sebagai Ç Independen Abstrak; karena itu mewarisi aksioma Independen dan Abstrak, dan disingkat IA untuk menunjukkan dua supertypes. Lihat glossary untuk definisi teknik dan konvensi metalevel digunakan untuk mendefinisikan kategori ini tersebut. Lihat tutorial untuk review definisi dan notasi untuk set, fungsi, hubungan, grafik, kisi, dan logika.

T (). T ().
The universal type, which has no differentiae . Jenis universal, yang tidak memiliki differentiae . Formally, T is a primitive that satisfies the following axioms: Secara formal, T adalah primitif yang memenuhi aksioma berikut:

* There exists something: ( $ x ) T ( x ). Ada sesuatu yang ada: ($ x) T (x).

* Everything is an instance of T : ( " x ) T ( x ). Semuanya adalah turunan T: (x) T (x).

* Every type is a subtype of T : ( " t :Type) t £ T . Setiap jenis adalah subtipe T: ("t: Tipe) T £ t.

All other types are defined by adding differentiae to T to show how they are distinguished from T and from one another. The type Entity is a pronounceable synonym for T . Semua jenis lainnya didefinisikan dengan menambahkan differentiae ke T untuk menunjukkan bagaimana mereka dibedakan dari T dan dari satu sama lain. Jenis Entitas yang adalah sinonim dpt diucapkan untuk T.

^ (IRMPACO). ^ (IRMPACO).
The absurd type, which inherits all differentiae. Jenis masuk akal, yang mewarisi differentiae semua. Formally, ^ is a primitive that satisfies the following axioms: Secara formal, ^ adalah primitif yang memenuhi aksioma berikut:

* Nothing is an instance of ^ : ~( $ x ) ^ ( x ). Tak ada adalah turunan dari ^: ~ ($ x) ^ (x).

* Every type is a supertype of ^ : ( " t :Type) ^ £ t . Setiap jenis adalah supertype dari ^: ("t: Tipe) ^ t £.

Since ^ is the inconsistent conjunction of all differentiae, it is not possible for any existing entity to be an instance of ^ . Two types s and t are said to be incompatible if their only common subtype s Ç t is ^ . For example, Dog Ç Cat = ^ because it is not possible for anything to be both a dog and a cat at the same time. Sejak ^ adalah bersama yang tidak konsisten dari differentiae semua, tidak mungkin untuk setiap entitas yang ada menjadi contoh ^. Dua tipe s dan t dikatakan tidak sesuai jika hanya bersama mereka subtipe t Ç adalah ^. Sebagai contoh, Dog Cat Ç = ^ karena tidak mungkin untuk apa pun untuk menjadi anjing dan kucing pada saat yang sama.

Abstract (A). Abstrak (A).
Pure information as distinguished from any particular encoding of the information in a physical medium. Formally, Abstract is a primitive that satisfies the following axioms: informasi Murni sebagaimana dibedakan dari pengkodean tertentu informasi dalam media fisik. Secara formal, Abstrak adalah primitif yang memenuhi aksioma berikut:

* No abstraction has a location in space: ~( $ x :Abstract)( $ y :Place)loc( x,y ). abstraksi Tidak memiliki lokasi dalam ruang: ~ ($ x: Abstrak) ($ y: Tempat) loc (x, y).

* No abstraction occurs at a point in time: ~( $ x :Abstract)( $ t :Time)pTim( x,t ). abstraksi Tidak terjadi pada titik waktu: ~ ($ x: Abstrak) ($ t: Time) pTim (x, t).

As an example, the information you are now reading is encoded on a physical object in front of your eyes, but it is also encoded on paper, magnetic spots, and electrical currents at several other locations. Sebagai contoh, informasi yang Anda baca ini adalah dikodekan pada objek fisik di depan mata Anda, tetapi juga dikodekan di atas kertas, bintik-bintik magnetik, dan arus listrik di beberapa lokasi lain. Each physical encoding is said to represent the same abstract information. Setiap pengkodean fisik dikatakan untuk mewakili informasi yang abstrak yang sama.

Absurdity (IRMPACO) = ^ . Absurditas (IRMPACO) = ^.
A pronounceable synonym for ^ . Sebuah sinonim dpt diucapkan untuk ^. It cannot be the type of anything that exists. Hal ini tidak bisa jenis apa pun yang ada.

Actuality (IP) = Independent Ç Physical. Aktualitas (IP) = Independen Ç Fisik.
A physical entity (P) whose existence is independent (I) of any other entity. Sebuah entitas fisik (P) yang keberadaannya independen (I) entitas lain. As instances, the category Actuality includes both objects and processes. The term is taken from Whitehead, who used it as a synonym for actual entity , which he considered the equivalent of Aristotle's ousia and Descartes's res vera . Sebagai contoh, kategori aktualitas meliputi objek dan proses. Istilah ini diambil dari Whitehead, yang digunakan sebagai sinonim untuk entitas yang sebenarnya, yang dianggap setara dengan itu ousia Aristoteles dan yang res Descartes lidah.

Continuant (C). Continuant (C).
An entity whose identity continues to be recognizable over some extended interval of time. Sebuah entitas yang identitasnya terus dapat dikenali melalui beberapa interval waktu yang panjang. Formally, Continuant is a primitive that satisfies the following axioms: Secara formal, Continuant adalah primitif yang memenuhi aksioma berikut:

* A continuant x has only spatial parts and no temporal parts. At any time t when x exists, all of x exists at the same time t . Sebuah continuant x hanya bagian spasial dan tidak ada bagian temporal. Pada setiap waktu t ketika x ada, semua ada x pada waktu t yang sama. New parts of a continuant x may be acquired and old parts may be lost, as when a snake sheds its skin. Parts that have been lost may cease to exist, but everything that remains a part of x continues to exist at the same time as x . bagian Baru continuant x dapat diperoleh dan bagian tua mungkin akan hilang, seperti ketika sebuah gudang kulit ular. Bagian yang telah hilang mungkin tidak ada lagi, tetapi segala sesuatu yang tetap menjadi bagian dari x tetap ada pada saat yang sama x.

* The identity conditions for a continuant are independent of time. If c is a subtype of Continuant, then the identity predicate Id c ( x,y ) for identifying two instances x and y of type c does not depend on time. The kondisi identitas untuk sebuah continuant independen terhadap waktu ke waktu. Jika c adalah subtipe dari Continuant, kemudian Id identitas predikat c (x, y) untuk mengidentifikasi dua contoh tipe x dan y c tidak bergantung pada.

A physical continuant is an object, and an abstract continuant is a schema that may be used to characterize some object. Sebuah continuant fisik adalah obyek, dan continuant abstrak adalah skema yang dapat digunakan untuk karakterisasi beberapa objek.

Description (RAC) = Proposition Ç Continuant. Deskripsi (RAC) = Proposisi Continuant Ç.
A proposition (RA) about a continuant (C). Sebuah proposisi (RA) tentang continuant (C). A description is a proposition that states how some schema characterizes some aspect or configuration of a continuant. deskripsi adalah proposisi yang menyatakan bagaimana skema beberapa ciri beberapa aspek atau konfigurasi sebuah continuant.

Entity () = T . Entitas () = T.
A pronounceable synonym for T . Entity can be used as the default type for anything of any category. Sebuah sinonim dpt diucapkan untuk T. Badan dapat digunakan sebagai standar untuk tipe apa pun dari kategori manapun.

Form (IA) = Abstract Ç Independent. Formulir (IA) = Abstrak Ç Independen.
Abstract information (A) independent (I) of any encoding or embodiment. Abstrak informasi (A) independen (I) pengkodean atau perwujudan. Forms can be said to exist in the same sense as mathematical objects such as sets and relations, but instances of forms cannot exist at a particular place and time without some physical encoding or embodiment. Formulir dapat dikatakan ada dalam arti yang sama sebagai obyek matematika seperti set dan hubungan, tapi contoh bentuk-bentuk tidak bisa berada di tempat tertentu dan waktu tanpa beberapa pengkodean fisik atau perwujudan. Whitehead called them "eternal objects" because they are independent of space and time. Whitehead menyebutnya "objek abadi" karena mereka adalah independen ruang dan waktu.

History (RAO) = Proposition Ç Occurrent. (RAO) = Proposisi Sejarah Ç Occurrent.
A proposition (RA) about an occurrent (O). A history is a proposition (RA) that relates some script (IAO) to the stages of some occurrent (O). A computer program, for example, is a script (IAO); a computer executing the program is a process (IPO); and the abstract information (A) encoded in a trace of the instructions executed is a history (RAO). Like any proposition, a history need not be true, and it need not be predicated of the past: a myth is a history of an imaginary past; a prediction is a history of an expected future; and a scenario is a history of some hypothetical occurrent. Sebuah proposisi (RA) tentang occurrent (O). Sejarah adalah proposisi (RA) yang berhubungan dengan beberapa script (IAO) ke beberapa tahapan occurrent (O),. Komputer Program misalnya, adalah script (IAO) , sebuah komputer melaksanakan program ini adalah sebuah proses (IPO); dan informasi abstrak (A) dikodekan dalam jejak instruksi dieksekusi adalah sejarah (RAO). Seperti proposisi apapun, sejarah tidak perlu benar, dan tidak perlu dipredikasikan dari masa lalu: sebuah mitos adalah sejarah masa lalu imajiner; prediksi adalah sejarah masa depan yang diharapkan, dan skenario adalah sejarah dari beberapa occurrent hipotetis.

Independent (I). Independen (I).
An entity characterized by some inherent Firstness, independent of any relationships it may have to other entities. Formally, Independent is a primitive for which the has -test of Section 2.4 need not apply. Sebuah entitas dicirikan oleh beberapa Firstness melekat, terlepas dari hubungan itu mungkin harus entitas lain. Secara formal, Independen adalah primitif yang telah-uji Bagian 2.4 tidak perlu berlaku. If x is an independent entity, it is not necessary that there exists an entity y such that x has y or y has x : Jika x adalah sebuah badan independen, maka tidak perlu bahwa ada suatu entitas y sehingga x memiliki y atau y x:

* ( " x :Independent)~ o ( $ y )(has( x,y ) Ú has( y,x )). ("X: Independen) ~ o ($ y) (telah (x, y) Ú telah (y, x)).

Intention (MA) = Abstract Ç Mediating. Niat (MA) = Ç Memediasi Abstrak.
Abstraction (A) considered as mediating (M) other entities. Examples of intentions include the hopes, fears, wishes, and purposes that mediate some agent's actions. Abstraksi (A) dianggap sebagai mediasi (M) entitas lain. Contoh niat termasuk harapan, ketakutan, keinginan, dan tujuan yang menengahi beberapa tindakan agen.

Juncture (RPC) = Prehension Ç Continuant. Titik (RPC) = prehension Continuant Ç.
A prehension (RP) considered as a continuant (C) during some time interval. Sebuah hal memegang (RP) dianggap sebagai continuant (C) selama beberapa interval waktu. The prehending entity is an object (IPC) in a stable relationship to some prehended entity during that interval. An example of a juncture is the relationship between two adjacent stones in an arch. Entitas prehending adalah obyek (IPC) dalam sebuah hubungan yang stabil untuk beberapa entitas prehended selama selang waktu tersebut. Sebuah contoh persimpangan adalah hubungan antara dua batu berdekatan di arch. The arch itself is a nexus that both mediates and consists of the multiple junctures. Lengkungan itu sendiri adalah perhubungan yang baik menengahi dan terdiri dari titik-titik ganda.

Mediating (M). Mediasi (M).
An entity characterized by some Thirdness that brings other entities into a relationship. Sebuah entitas dicirikan oleh beberapa Thirdness yang membawa entitas lain ke dalam hubungan. An independent entity need not have any relationship to anything else, a relative entity must have some relationship to something else, and a mediating entity creates a relationship between two other entities. Sebuah badan independen tidak perlu memiliki hubungan apapun untuk hal lain, sebuah entitas yang relatif harus memiliki beberapa hubungan ke sesuatu yang lain, dan badan mediasi menciptakan hubungan antara dua entitas lain. An example of a mediating entity is a marriage, which creates a relationship between a husband and a wife. Contoh badan mediasi adalah sebuah pernikahan, yang menciptakan hubungan antara suami dan istri.

According to Peirce, the defining aspect of Thirdness is "the conception of mediation, whereby a first and a second are brought into relation." That property could be expressed in second-order logic: Menurut Peirce, aspek mendefinisikan Thirdness adalah "konsepsi mediasi, dimana yang pertama dan kedua yang dibawa ke dalam hubungan logika. Itu" properti ini bisa jadi disajikan dalam kedua-order:

* ( " m :Mediating)( " x,y :Entity) ("M: Memediasi) (" x, y: Entitas)
(( $ R,S :Relation)( R ( m,x ) Ù S ( m,y ))) É o ( $ T :Relation) T ( x,y ). (($ R, S: Hubungan) (R (m, x) S Ù (m, y))) É o ($ T: Hubungan) T (x, y).

This formula says that for any mediating entity m and any other entities x and y , if there exist relations R and S that relate m to x and m to y , then it is necessarily true that there exists some relation T that relates x to y . For example, if m is a marriage, R relates m to a husband x , S relates m to a wife y , then T relates the husband to the wife (or the wife to the husband). Formula ini mengatakan bahwa untuk setiap m entitas mediasi dan setiap entitas lain x dan y, jika terdapat hubungan R dan S yang berhubungan m ke x dan m ke y, maka tentu benar bahwa ada hubungan beberapa T yang berhubungan x untuk y ,. Sebagai contoh jika m adalah sebuah pernikahan, R berhubungan m suami x, S berhubungan m ke y istri, maka T berhubungan suami untuk istri (atau suami istri).

Instead of a second-order formula, an equivalent first-order axiom could be stated in terms of the primitive has relation, which is discussed in Section 2.4 of the book Knowledge Representation : Bukannya orde formula kedua, sebuah aksioma orde pertama setara dapat dinyatakan dalam bentuk primitif memiliki hubungan, yang dibahas dalam Bagian 2.4 dari buku Representasi Pengetahuan:

* ( " m :Mediating)( " x,y :Entity) ("M: Memediasi) (" x, y: Entitas)
((has( m,x ) Ù has( m,y )) É o (has( x,y ) Ú has( y,x )). ((Telah (m, x) Ù telah (m, y)) É o (telah (x, y) Ú telah (y, x)).

This formula says that for any mediating entity m and any other entities x and y , if m has x and m has y , then it is necessary that x has y or y has x . In effect, the has relation in this formula is a generalization of the relations R, S, and T in the second-order formula. For example, if m is a marriage that has a husband x and a wife y , then the husband has the wife or the wife has the husband (or both). Formula ini mengatakan bahwa untuk setiap m entitas mediasi dan setiap entitas lain x dan y, jika m memiliki x dan m memiliki y, maka perlu bahwa x memiliki y atau y x. Sebagai akibatnya, memiliki hubungan dalam rumus ini adalah generalisasi dari hubungan R, S, dan T di-order formula kedua. Sebagai contoh, jika m adalah sebuah pernikahan yang memiliki suami x dan y istri, maka suami mempunyai istri atau istri yang memiliki suami (atau keduanya ).

Nexus (MP) = Physical Ç Mediating. Nexus (MP) = Ç Memediasi Fisik.
A physical entity (P) mediating (M) two or more other entities. Each nexus is a bundle of prehensions, which may be the junctures of an object or the participants of a process. Examples include an arch that consists of junctures of stones or an action that consists of what one participant called an agent is doing to another participant called a patient. Sebuah entitas fisik (P) mediasi (M) dua atau lebih entitas lain. Perhubungan Setiap seikat prehensions, yang mungkin merupakan titik-titik dari suatu obyek atau peserta dari suatu proses. Contohnya termasuk lengkungan yang terdiri dari titik-titik dari batu atau tindakan yang terdiri dari apa yang disebut agen peserta dilakukan terhadap peserta lain yang disebut pasien.

Object (IPC) = Actuality Ç Continuant. Objek (IPC) = aktualitas Continuant Ç.
Actuality (IP) considered as a continuant (C), which retains its identity over some interval of time. Aktualitas (IP) dianggap sebagai continuant (C), yang mempertahankan identitas selama beberapa interval waktu. Although no physical entity is ever permanent, an object can be recognized by identity conditions that remain stable during its lifetime. Meskipun tidak ada entitas fisik yang pernah permanen, objek dapat dikenali oleh kondisi identitas yang tetap stabil selama masa pakai baterai. The type Object includes ordinary physical objects as well as the instantiations of classes in object-oriented programming languages. Jenis Objek mencakup benda-benda fisik biasa serta instantiations kelas dalam bahasa pemrograman berorientasi-objek.

Occurrent (O). Occurrent (O).
An entity that does not have a stable identity during any interval of time. Sebuah entitas yang tidak memiliki identitas stabil selama suatu selang waktu. Formally, Occurrent is a primitive that satisfies the following axioms: Secara formal, Occurrent adalah primitif yang memenuhi aksioma berikut:

* The temporal parts of an occurrent, which are called stages , exist at different times. Bagian temporal dari occurrent, yang disebut tahap, ada pada waktu yang berbeda.

* The spatial parts of an occurrent, which are called participants , may exist at the same time, but an occurrent may have different participants at different stages. Bagian spasial dari occurrent, yang disebut peserta, mungkin ada pada saat yang sama, tapi occurrent berlangsung dapat memiliki peserta yang berbeda pada tahapan yang berbeda.

* There are no identity conditions that can be used to identify two occurrents that are observed in nonoverlapping space-time regions. Ada beberapa kondisi tidak identitas yang dapat digunakan untuk mengidentifikasi dua occurrents yang diamati dalam waktu nonoverlapping ruang daerah.

A person's lifetime, for example, is an occurrent. seumur hidup seseorang, misalnya, adalah sebuah occurrent. Different stages of a life cannot be reliably identified unless some continuant, such as the person's fingerprints or DNA, is recognized by suitable identity conditions at each stage. Tahap yang berbeda dari kehidupan tidak dapat dipercaya diidentifikasi kecuali beberapa continuant, seperti seseorang sidik jari atau DNA, diakui oleh kondisi identitas sesuai pada setiap tahap. Even then, the identification depends on an inference that presupposes the uniqueness of the identity conditions. Bahkan kemudian, identifikasi tergantung pada kesimpulan bahwa mengandaikan keunikan kondisi identitas.

Participation (RPO) = Prehension Ç Occurrent. Partisipasi (RPO) = prehension Ç Occurrent.
A prehension (RP) considered as an occurrent (O) during the interval of interest. Sebuah hal memegang (RP) dianggap sebagai occurrent (O) selama selang bunga. The prehending entity is a process (IPO), and the prehended entity is called a participant. Entitas prehending adalah proses (IPO), dan entitas prehended disebut peserta.

Physical (P). Fisik (P).
An entity that has a location in space-time. Formally, Physical is a primitive that satisfies the following axiom: Sebuah entitas yang memiliki lokasi di ruang-waktu. Formal, fisik adalah primitif yang memenuhi aksioma berikut:

* Anything physical is located in some place: ( " x :Physical)( $ y :Place)loc( x,y ). Apa fisik terletak di beberapa tempat: ("x: Fisik) ($ y: Tempat) loc (x, y).

* Anything physical occurs at some point in time: ( " x :Physical)( $ t :Time)pTim( x,t ). fisik Apa pun terjadi pada beberapa titik waktu: ("x: Fisik) ($ t: Time) pTim (x, t).

More detailed axioms that relate physical entities to space, time, matter, and energy would involve a great deal physical theory, which is beyond the scope of the KR book. aksioma lebih rinci yang berhubungan entitas fisik untuk ruang, waktu, materi, dan energi akan melibatkan fisik kesepakatan besar teori, yang berada di luar ruang lingkup buku KR.

Process (IPO) = Actuality Ç Occurrent. Proses (IPO) = aktualitas Ç Occurrent.
Actuality (IP) considered as an occurrent (O) during the interval of interest. Aktualitas (IP) dianggap sebagai occurrent (O) selama selang bunga. Depending on the time scale and level of detail, the same actual entity may be viewed as a stable object or a dynamic process. Tergantung pada skala waktu dan tingkat detail, entitas aktual yang sama dapat dilihat sebagai objek stabil atau proses dinamis. Even an entity as stable as a diamond could be considered a process when viewed over a long time period or at the atomic level of vibrating particles. Bahkan entitas stabil seperti berlian dapat dianggap sebagai proses jika dilihat selama periode waktu panjang atau pada tingkat partikel atom bergetar. For further discussion, see the web page on processes . Untuk diskusi lebih lanjut, lihat halaman web pada proses .

Prehension (RP). Prehension (RP).
A physical entity (P) relative (R) to some entity or entities. The has -test is used to check whether an entity x prehends an entity y . Sebuah entitas fisik (P) relatif (R) untuk beberapa entitas atau entitas. Telah-tes digunakan untuk memeriksa apakah suatu entitas x prehends y entitas. If so, the prehension may be expressed has( x,y ). Jika demikian, hal memegang dapat dinyatakan telah (x, y).

Proposition (RA). Proposisi (RA).
An abstraction (A) that relates (R) some entity or entities. In logic, the assertion of a proposition is a claim that the abstraction corresponds to some aspect or configuration of the entity or entities involved. Sebuah abstraksi (A) yang berhubungan (R) beberapa badan atau badan. Secara logika, pernyataan dari proposisi adalah klaim bahwa abstraksi sesuai dengan beberapa aspek atau konfigurasi dari entitas atau entitas yang terlibat. As an example, the statement cat(Yojo) expresses a proposition that the form labeled Cat characterizes the entity named Yojo. According to Peirce and Whitehead, more complex propositions are asserted by constructing a compound predicate, such as a mathematical expression or a diagram, and using it to characterize the prehensions that relate multiple entities. Sebagai contoh, pernyataan kucing (Yojo) mengungkapkan proposisi yang membentuk ciri berlabel Cat entitas bernama Yojo. Menurut Peirce dan Whitehead, kompleks proposisi lebih menegaskan dengan membangun suatu senyawa predikat, seperti ekspresi matematika atau diagram, dan menggunakannya untuk menandai prehensions yang menghubungkan beberapa entitas.

Purpose (MAO) = Intention Ç Occurrent. Tujuan (MAO) = Tujuan Ç Occurrent.
Intention (MA) that has the form of an occurrent (O). As an example, the words and notes of the song "Happy Birthday" constitute a script (IAO); a description of how people at a party sang the song is history (RAO); and the intention (MA) that explains the situation (MPO) is a purpose (MAO). The basic axioms for Purpose are inherited from its supertypes Mediating, Abstract, and Occurrent. Niat (MA) yang memiliki bentuk occurrent (O). Sebagai contoh, kata-kata dan catatan dari lagu "Happy Birthday" merupakan script (IAO), sebuah gambaran tentang bagaimana orang-orang di sebuah pesta menyanyikan lagu itu adalah sejarah (RAO), dan niat (MA) yang menjelaskan situasi (MPO) adalah tujuan (MAO). The aksioma dasar untuk Tujuan diwarisi dari supertypes yang Memediasi, Abstrak, dan Occurrent. Lower-level axioms relate purposes to actions and agents: Tingkat rendah aksioma berhubungan tujuan untuk tindakan dan agen:

* Time sequence . If an agent x performs an act y whose purpose is a situation z , the start of y occurs before the start of z . urutan Sisa z. Jika agen x melakukan tindakan y yang tujuannya adalah situasi, mulai dari y terjadi sebelum memulai z.

* Contingency . If an agent x performs an act y whose purpose is a situation z described by a proposition p , then it is possible that z might not occur or that p might not be true of z . Contingency p. Jika agen x melakukan tindakan y yang tujuannya adalah situasi z digambarkan oleh proposisi, maka ada kemungkinan bahwa z tidak mungkin terjadi atau yang p mungkin tidak benar dari z.

* Success or failure . If an agent x performs an act y whose purpose is a situation z described by a proposition p , then x is said to be successful if z occurs and p is true of z ; otherwise, x is said to have failed . Keberhasilan atau kegagalan p. Jika agen x melakukan tindakan y yang tujuannya adalah situasi z digambarkan oleh proposisi, maka x dikatakan sukses jika z terjadi dan p adalah benar dari z, jika tidak, x dikatakan telah gagal.

For further discussion, see the web page on agents . Untuk diskusi lebih lanjut, lihat halaman web pada agen .

Reason (MAC) = Intention Ç Continuant. Alasan (MAC) = Tujuan Continuant Ç.
Intention (MA) that has the form of a continuant (C). Unlike a simple description (Secondness), a reason explains an entity in terms of an intention (Thirdness). For a birthday party, a description might list the presents, but a reason would explain why the presents are relevant to the party. Niat (MA) yang memiliki bentuk continuant (C)). Tidak seperti deskripsi sederhana (Secondness, alasan menjelaskan suatu entitas dalam hal niat (Thirdness). Untuk pesta ulang tahun, deskripsi mungkin daftar hadiah, tapi alasan bisa menjelaskan mengapa hadiah yang relevan ke pesta.

Relative (R). Relatif (R).
An entity in a relationship to some other entity. Formally, Relative is a primitive for which the has -test must apply: Sebuah entitas dalam hubungan untuk beberapa entitas lain. Secara formal, relatif adalah primitif yang telah-uji harus mengajukan permohonan:

* ( " x :Relative) o ( $ y )(has( x,y ) Ú has( y,x )). ("X: Relatif) o ($ y) (telah (x, y) Ú telah (y, x)).

For any relative x , there must exist some y such that x has y or y has x . Untuk setiap x relatif, harus ada beberapa y seperti bahwa x memiliki y atau y x.

Schema (IAC) = Form Ç Continuant. Skema (IAC) = Formulir Continuant Ç.
A form (IA) that has the structure of a continuant (C). A schema is an abstract form (IA) whose structure does not specify time or timelike relationships. Suatu bentuk (IA) yang memiliki struktur continuant (C). Skema adalah bentuk abstrak (IA) yang struktur tidak menentukan waktu atau hubungan timelike. Examples include geometric forms, the syntactic structures of sentences in some language, or the encodings of pictures in a multimedia system. Contohnya termasuk bentuk-bentuk geometris, struktur sintaktis kalimat dalam beberapa bahasa, atau pengkodean gambar dalam sistem multimedia.

Script (IAO) = Form Ç Occurrent. Script (IAO) = Formulir Ç Occurrent.
A form (IA) that has the structure of an occurrent (O). A script is an abstract form (IA) that represents time sequences. Suatu bentuk (IA) yang memiliki struktur dari occurrent (O). Skrip adalah bentuk abstrak (IA) yang merupakan urutan waktu. Examples include computer programs, a recipe for baking a cake, a sheet of music to be played on a piano, or a differential equation that governs the evolution of a physical process. A movie can be described by several different kinds of scripts: the first is a specification of the actions and dialog to be acted out by humans; but the sequence of frames in a reel of film is also a script that determines a process carried out by a projector that generates flickering images on a screen. Contohnya termasuk program komputer, sebuah resep untuk kue kue, lembar musik untuk dimainkan pada piano, atau persamaan diferensial yang mengatur proses evolusi fisik. Film A dapat dijelaskan oleh beberapa jenis script: yang pertama adalah spesifikasi dari tindakan dan dialog yang akan diperankan oleh manusia, tetapi urutan frame dalam pemutaran film juga merupakan script yang menentukan proses yang dilakukan oleh sebuah proyektor yang menghasilkan gambar berkedip-kedip di layar.

Situation (MPO) = Nexus Ç Occurrent. Situasi (MPO) = Nexus Ç Occurrent.
A nexus (MP) considered as an occurrent (O). A situation mediates the participants of some process, whose stages may involve different participants at different times. Sebuah perhubungan (MP) dianggap sebagai occurrent (O). Situasi A menengahi peserta beberapa proses, tahap yang mungkin melibatkan peserta yang berbeda pada waktu yang berbeda.

Structure (MPC) = Nexus Ç Continuant. Struktur (MPC) = Nexus Continuant Ç.
A nexus (MP) considered as a continuant (C). A structure mediates multiple objects whose junctures constitute the structure. Sebuah perhubungan (MP) dianggap sebagai continuant (C). Susunan A menengahi beberapa objek yang merupakan titik-titik struktur.

The primitive categories of any theory are undefinable in terms of anything more primitive. Kategori-kategori primitif teori ada yang undefinable dalam hal apa pun yang lebih primitif. The axioms associated with the categories are not closed-form definitions, but constraints on how instances of those categories are related to instances of other categories, many of which are not primitives. Aksioma yang berkaitan dengan kategori tidak-bentuk definisi tertutup, tapi kendala tentang bagaimana contoh dari kategori yang berhubungan dengan kasus kategori lainnya, banyak yang tidak primitif. The only two categories in this list whose axioms are completely formalized are T and ^ . The other axioms cannot be stated formally until a great deal more has been fully formalized. Hanya dua kategori dalam daftar ini aksioma yang benar-benar diformalkan adalah T dan ^. The aksioma lain tidak dapat dinyatakan secara resmi sampai lebih banyak telah sepenuhnya diformalkan. The axioms for Physical, for example, use the categories Place and Time and the predicates loc and pTim. A complete formalization of those axioms would depend on a fully developed Grand Unified Theory of physics -- a task that the physicists are far from completing. Aksioma untuk fisik, misalnya, menggunakan kategori Tempat dan Waktu dan predikat dan pTim loc. Sebuah formalisasi lengkap dari orang-orang aksioma akan bergantung pada sepenuhnya dikembangkan Grand Unified Teori fisika - tugas bahwa fisikawan jauh dari menyelesaikan.

The task of formalizing everything is like the construction of a medieval cathedral: it takes centuries to complete, and when it is done, someone else will have a plan for an even grander cathedral. Whitehead's motto is the best guideline: "We must be systematic, but we should keep our systems open." Tugas meresmikan semuanya seperti pembangunan katedral abad pertengahan: diperlukan berabad-abad untuk menyelesaikan, dan jika dilakukan, orang lain akan punya rencana untuk megah katedral bahkan adalah Whitehead. Moto pedoman terbaik: "Kita harus sistematis , tapi kita harus tetap menjaga sistem kami terbuka. " For further discussion of the problems and issues, see Chapter 6 on "Knowledge Soup" in the book Knowledge Representation . Untuk diskusi lebih lanjut masalah dan masalah, lihat Bab 6 tentang "Knowledge Soup" dalam buku Pengetahuan Representasi .