stanford-oval/wikipedia huggingface dataset:
Oospila circumdata
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 17 tháng 6 năm 2014.
Chaunanthus gracielae

| Chaunanthus gracielae> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Brassicales
Họ (familia): Brassicaceae
Chi (genus): Chaunanthus
Loài (species): C. gracielae
Danh pháp hai phần
Chaunanthus gracielae M.Martínez & L.Hern., 2007 
Chaunanthus gracielae là một loài thực vật có hoa trong họ Cải. Loài này được M.Martínez & L.Hern. mô tả khoa học đầu tiên năm 2007.
Chú thích

↑  The Plant List (2010). “Chaunanthus gracielae”. Truy cập ngày 9 tháng 6 năm 2013.
Büyükkarabağ, Bolvadin

| Büyükkarabağ |
| --- | --- |
—  Thị trấn  —
 
BüyükkarabağVị trí ở Thổ Nhĩ Kỳ
Quốc gia:  Thổ Nhĩ Kỳ
Tỉnh: Afyonkarahisar
Huyện: Bolvadin
Dân số (2011)
 • Tổng cộng: 1,427 người
Múi giờ: EET (UTC+2)
 • Mùa hè (DST): EEST (UTC+3)
Büyükkarabağ là một thị trấn thuộc huyện Bolvadin, tỉnh Afyonkarahisar, Thổ Nhĩ Kỳ. Dân số thời điểm năm 2011 là 1.427 người.
Chú thích

↑  “Cities, towns and villages in Afyonkarahisar”. Viện thống kê Thổ Nhĩ Kỳ. Bản gốc lưu trữ ngày 16 tháng 7 năm 2012. Truy cập ngày 17 tháng 9 năm 2012.
Licaria oppositifolia

| Licaria oppositifolia> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Magnoliidae
Bộ (ordo): Laurales
Họ (familia): Lauraceae
Chi (genus): Licaria
Loài (species): L. oppositifolia
Danh pháp hai phần
Licaria oppositifolia (Nees) Kosterm., 1937 
Licaria oppositifolia là loài thực vật có hoa trong họ Nguyệt quế. Loài này được (Nees) Kosterm. miêu tả khoa học đầu tiên năm 1937.
Chú thích

↑  The Plant List (2010). “Licaria oppositifolia”. Truy cập ngày 14 tháng 6 năm 2013.
Centrotoclytus spinifer

| Centrotoclytus spinifer> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Phân bộ (subordo): Polyphaga
Liên họ (superfamilia): Cerambycoidea
Họ (familia): Cerambycidae
Chi (genus): Centrotoclytus
Loài (species): C. spinifer
Danh pháp hai phần
Centrotoclytus spinifer Aurivillius, 1925 
Centrotoclytus spinifer là một loài bọ cánh cứng trong họ Cerambycidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 24 tháng 9 năm 2012.
Thiền viện Vạn Hạnh (định hướng)

Thiền viện Vạn Hạnh có thể chỉ:
Thiền viện Vạn Hạnh ở đường Phù Đổng Thiên Vương, thành phố Đà Lạt, Lâm Đồng.
Thiền viện Vạn Hạnh ở đường Nguyễn Kiệm, quận Phú Nhuận, Thành phố Hồ Chí Minh.
Mermessus dominicus

| Mermessus dominicus> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Linyphiidae
Chi (genus): Mermessus
Loài (species): M. dominicus
Danh pháp hai phần
Mermessus dominicus (Millidge, 1987) 
Mermessus dominicus là một loài nhện trong họ Linyphiidae.
Loài này thuộc chi Mermessus. Mermessus dominicus được Alfred Frank Millidge miêu tả năm 1987.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Orthorrhynchium balanseanum

| Orthorrhynchium balanseanum> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
Ngành (divisio): Bryophyta
Lớp (class): Bryopsida
Phân lớp (subclass): Bryidae
Bộ (ordo): Hypnales
Họ (familia): Orthorrhynchiaceae
Chi (genus): Orthorrhynchium
Loài (species): O. balanseanum
Danh pháp hai phần
Orthorrhynchium balanseanum Müll. Hal., 1896 
Orthorrhynchium balanseanum là một loài Rêu trong họ Orthorrhynchiaceae. Loài này được Müll. Hal. miêu tả khoa học đầu tiên năm 1896.
Chú thích

↑  The Plant List (2010). “Orthorrhynchium balanseanum”. Truy cập ngày 10 tháng 8 năm 2013.
John Pemberton

Dược sĩ người Mỹ, người phát minh ra Coca-Cola (1831–1888)Bản mẫu:SHORTDESC:Dược sĩ người Mỹ, người phát minh ra Coca-Cola (1831–1888)
Bài này viết về dược sỹ Mỹ. Đối với những người khác tên John Pemberton, xem John Pemberton (định hướng).
| John Pemberton |
| --- | --- |
Pemberton, trước năm 1888
Sinh: (1831-07-08)8 tháng 7, 1831 Knoxville, Georgia, Hoa Kỳ
Mất: 16 tháng 8, 1888(1888-08-16) (57 tuổi) Atlanta, Georgia, Hoa Kỳ
Nơi an nghỉ: Old City Cemetery
Quốc tịch: Hoa Kỳ
Học vị: Reform Medical College of Georgia
Nghề nghiệp: Biochemist
Nổi tiếng vì: Người phát minh Coca-Cola
Phối ngẫu: Ann Eliza Clifford Lewis
Con cái: Charles Nay Pemberton

Sự nghiệp quân sự
Quân chủng:  Lục quân Liên minh miền Nam
Năm tại ngũ: 1861–65
Cấp bậc:  Lieutenant Colonel
Đơn vị: Third Cavalry Battalion of the Georgia State Guard
Tham chiến: Nội chiến Hoa Kỳ Trận Columbus   
 
John Stith Pemberton (8 tháng 7 năm 1831 – 16 tháng 8 năm 1888) là một dược sĩ của Mỹ, và cựu chiến binh Quân đội Liên bang, người nổi tiếng bởi việc phát minh ra Coca-Cola. Vào tháng 5 năm 1886, ông đã phát triển phiên bản đầu tiên của một loại nước giải khát mà sau này trở thành Coca-Cola, nhưng đã bán quyền sử dụng loại đồ uống này không lâu trước khi ông qua đời.
Ông bị một vết thương do kiếm vào tháng 4 năm 1865, trong Trận chiến Columbus. Những nỗ lực của anh để kiểm soát cơn đau mãn tính của mình đã dẫn đến chứng nghiện morphin. Anh bắt đầu thử nghiệm với nhiều loại thuốc giảm đau và chất độc. Cuối cùng, sau khi phát triển một loại nước giải khát pha trộn rượu và cocaine trước đó, điều này đã dẫn đến công thức sau này được điều chỉnh để tạo ra Coca-Cola.
Thời niên thiếu

Pemberton được sinh bởi James Clifford Pemberton (sinh năm 1803 ở Bắc Carolina) và Martha L. Gant (sinh năm 1803 ở Virginia). Mặc dù được sinh ra tại Knoxville, Georgia, Pemberton, khi còn là một đứa trẻ đã chuyển đi với gia đình mình.
Sáng tạo ra Coca-Cola

Vào năm 1865, Pemberton đã bị thương trong trận chiến ở Columbus, Georgia, và như nhiều chiến binh bị thương khác, ông bắt đầu thử nghiệm với coca và những loại rượu coca, cuối cùng tạo ra một mẫu mới của Vin Mariani, gồm hạt kola và damiana, ông gọi là Rượu Coca kiểu Pháp của Pemberton.
Ban đầu, Pemberton chỉ định sáng chế ra một loại thuốc bình dân giúp chống đau đầu và mệt mỏi. Ông đã mày mò và thử nghiệm, pha chế thành công một loại siro có màu đen như cà phê. Loại siro này trộn với nước lạnh sẽ có thể được một thứ nước chống nhức đầu và tăng sảng khoái.
Pemberton giữ lại công thức sáng chế này, chỉ biết rằng thành phần quan trọng nhất của loại đồ uống này chứa một tỷ lệ nhất định tinh dầu được chiết suất từ quả và lá của cây kola. Đây là loại cây chỉ có ở khu vực rừng nhiệt đới Nam Mỹ, thành phần chứa một lượng đáng kể cocaine và caffeine. Vì thế thuốc có tác dụng làm sảng khoái, chống đau đầu, mệt mỏi. Cái tên Coca-Cola cũng bắt nguồn từ đó. Pemberton đã thay chữ "K" bằng chữ "C" có vẻ dễ nhìn và quen thuộc hơn.
Sau khi sáng chế ra Coca-Cola, Pemberton rất vui sướng và đã đi khắp nơi chào bán loại nước uống này, đặc biệt tại các quán "Soda-bar" đang thịnh hành ở thành phố Atlanta. Tuy nhiên, Pemberton đã rất thất vọng vì không ai chịu uống thử Coca-Cola. Nó có màu nâu đen và mọi người đều coi đó là thuốc chứ không phải một loại nước giải khát đơn thuần. Công thức Coca-Cola chỉ thực sự trở thành nước giải khát nhờ một nhân viên trong quán bar "Jacobs Phamarcy" khi nhân viên này đã nhầm lẫn pha siro Coca-Cola với nước có ga thay vì nước lọc bình thường theo công thức của Pemberton.
John Pemberton trong văn hóa

Năm 2010, Công ty Coca-Cola đã đặt Pemberton là nhân vật chính với một chiến dịch quảng cáo mang tên "Công thức bí mật". Tập trung vào những thành phần bí mật của Coca-Cola, hình tượng liên quan tới Pemberton đã được sử dụng để khiến mọi người nhớ về lịch sử và huyền thoại của hãng Coca-Cola.
Con cháu của Pemberton hiện đang sống ở Columbus, Georgia và một số sống ở Nam Carolina.
Chú thích

↑  “Ancestry of John Pemberton”. Bản gốc lưu trữ 30 tháng Chín năm 2010. Truy cập 3 Tháng mười một năm 2012.
↑  “Bản sao đã lưu trữ”. Bản gốc lưu trữ 30 tháng Chín năm 2010. Truy cập 3 Tháng mười một năm 2012.
↑  Dominic Streatfeild, Cocaine: An Unauthorized Biography, Macmillan (2003), p. 80.
↑  Richard Davenport-Hines, The Pursuit of Oblivion, Norton (2004), p. 152.
Tên chữ

Tên chữ có thể là:
Tên chữ (người)
Tên chữ (địa danh)
Cheraia

| Cheraia |
| --- | --- |
—  Đô thị  —
 
 

CheraiaVị trí ở Algérie
Quốc gia:  Algérie
Tỉnh: Skikda
Dân số (2002)
 • Tổng cộng: 13,788 người
Múi giờ: + 1
Cheraia là một đô thị thuộc tỉnh Skikda, Algérie. Dân số thời điểm năm 2002 là 13.788 người.
Các cuộc chiến tranh Ý

Các cuộc chiến tranh Ý, thường được gọi là Các cuộc chiến tranh Ý vĩ đại hay Các cuộc chiến tranh vĩ đại của Ý và đôi khi là Chiến tranh Habsburg-Valois hay Chiến tranh Phục Hưng, là một loạt các mâu thuẫn từ năm 1494 đến năm 1559 có liên quan, vào những thời điểm khác nhau, phần lớn Các thành bang của Ý, các Lãnh địa Giáo hoàng, Cộng hòa Venice, hầu hết các bang lớn của Tây Âu (Pháp, Tây Ban Nha, Đế chế La Mã, Anh Quốc và Scotland) cũng như Đế quốc Ottoman. Ban đầu nó phát sinh từ các tranh chấp dai dẳng đối với Công quốc Milano và Vương quốc Napoli, cuộc chiến tranh nhanh chóng trở thành một cuộc đấu tranh giành quyền lực và lãnh thổ giữa các thành viên khác nhau của họ, và được đánh dấu bằng một số liên minh gia tăng, liên minh và phản bội.
Sau cuộc chiến ở Lombardy giữa Venice và Milan, kết thúc năm 1454, miền bắc Ý phần lớn đã được hoà bình trong thời trị vì của Cosimo de Medici và Lorenzo de Medici ở Florence, ngoại trừ chiến tranh Ferrara năm 1482, 1484.
Charles VIII của Pháp đã cải thiện quan hệ với các nhà cai trị châu Âu khác trong cuộc Chiến tranh Italia đầu tiên bằng cách đàm phán một loạt các hiệp ước: năm 1493, Pháp đã đàm phán Hiệp ước Senlis với Đế quốc La Mã; Vào ngày 19 tháng 1 năm 1493, Pháp và Hoàng gia Aragon ký Hiệp ước Barcelona; Và sau đó vào năm 1493, Pháp và Anh ký hiệp định Étaples.
Caudicornia

| Caudicornia> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Phân bộ (subordo): Ditrysia
Liên họ (superfamilia): Sesioidea
Họ (familia): Sesiidae
Phân họ (subfamilia): Tinthiinae
Chi (genus): Caudicornia Bryk, 1947
Các loài
 Xem trong bài.
Caudicornia là một chi bướm đêm thuộc họ Sesiidae.
Các loài

Caudicornia aurantia (Hampson, 1919)
Caudicornia flavicincta (Hampson, 1919)
Caudicornia flava (Xu & Liu, 1992)
Caudicornia tonkinensis Kallies & Arita, 2001
Caudicornia xanthopimpla Bryk, 1947
Chú thích

↑  “Checklist of the Sesiidae of the World”. Bản gốc lưu trữ ngày 26 tháng 3 năm 2012. Truy cập ngày 19 tháng 1 năm 2011.
Cnidoscolus rupestris

| Cnidoscolus rupestris> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Malpighiales
Họ (familia): Euphorbiaceae
Chi (genus): Cnidoscolus
Loài (species): C. rupestris
Danh pháp hai phần
Cnidoscolus rupestris Fern.Casas 
Cnidoscolus rupestris là một loài thực vật có hoa trong họ Đại kích. Loài này được Fern.Casas mô tả khoa học đầu tiên năm 2006.
Chú thích

↑  The Plant List (2010). “Cnidoscolus rupestris”. Truy cập ngày 3 tháng 6 năm 2013.
Centruropsis dorcadionoides

| Centruropsis dorcadionoides> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Phân bộ (subordo): Polyphaga
Liên họ (superfamilia): Cerambycoidea
Họ (familia): Cerambycidae
Chi (genus): Centruropsis
Loài (species): C. dorcadionoides
Danh pháp hai phần
Centruropsis dorcadionoides (Pic, 1928) 
Centruropsis dorcadionoides là một loài bọ cánh cứng trong họ Cerambycidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 24 tháng 9 năm 2012.
Trematocranus placodon

| Trematocranus placodon> Tình trạng bảo tồn |
| --- | --- |
 Ít quan tâm  (IUCN 3.1)
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Actinopterygii
Bộ (ordo): Perciformes
Họ (familia): Cichlidae
Chi (genus): Trematocranus
Loài (species): T. placodon
Danh pháp hai phần
Trematocranus placodon (Regan, 1922) 
Trematocranus placodon là một loài cá thuộc họ Cichlidae. Nó được tìm thấy ở Malawi, Mozambique, and Tanzania. Môi trường sống tự nhiên của chúng là hồ nước ngọt.
Logic mô tả

Lôgíc mô tả (tiếng Anh: Description logics, viết tắt DL) là một họ các ngôn ngữ biểu diễn tri thức có thể sử dụng để biểu diễn tri thức thuật ngữ của một miền ứng dụng theo một cách có cấu trúc và được hiểu rõ một cách hình thức. Mặt khác, cái tên lôgíc mô tả có ý nói đến các mô tả về khái niệm được dùng để mô tả một miền và ngữ nghĩa dựa lôgic (logic-based semantics) mà có thể thu được từ việc dịch từ lôgic mệnh đề bậc nhất.
Lôgic mô tả được thiết kế như là một mở rộng của khung ngữ nghĩa (semantic frame) và lưới ngữ nghĩa (semantic network), hai loại này đã không được trang bị một ngữ nghĩa dựa lôgic hình thức.
Lôgic mô tả được đặt cái tên hiện dùng từ năm 1980. Trước đó, nó đã được gọi là các hệ thống thuật ngữ (terminological system), và tiếp đó là các ngôn ngữ khái niệm (concept language). Ngày nay, lôgic mô tả đã trở thành một nền móng của Web Ngữ nghĩa (Semantic Web) do việc sử dụng nó trong thiết kế các bản thể (ontology).
Hệ thống dựa lôgic mô tả đầu tiên là KL-ONE (do Brachman và Schmolze xây dựng năm 1985).
Một số hệ thống lôgic mô tả khác xuất hiện sau đó là LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998) và gần đây là RACER (2001), CEL (2005), và KAON 2 (2005).
Ý tưởng cho sự phát triển của Tầng Suy luận Bản thể (Ontology Inference Layer - OIL) đã xuất phát từ lôgic mô tả.
Cú pháp

Cú pháp của lôgic mô tả bao gồm
Một tập các ký hiệu mệnh đề dùng để ký hiệu các tên khái niệm (concept name);
Một tập các ký hiệu mệnh đề đôi để ký hiệu các tên vai trò (role name);
Một định nghĩa đệ quy để định nghĩa các thuật ngữ khái niệm từ các tên khái niệm và tên vai trò bằng cách sử dụng các tạo tử (constructor)
Trong lôgic mô tả, các tên khái niệm được xem là các khái niệm nguyên tử, các tên vai trò được coi là các vai trò nguyên tử. Nhìn chung, một khái niệm đại diện cho tập các cá thể thuộc về nó, và một vai trò đại diện cho một quan hệ giữa các khái niệm.
Cú pháp của một thành viên trong gia đình lôgic mô tả được đặc trưng bởi định nghĩa đệ quy của nó, các định nghĩa đệ quy này định nghĩa các tạo tử có thể được dùng để tạo các thuật ngữ khái niệm.
Một số tạo tử thông dụng bao gồm các tạo 
tử lôgic trong logic bậc nhất như phép giao (intersection) hay tuyển (conjunction) của các khái niệm, phép hợp (union) hay hội (disjunction) của các khái niệm, phép phủ định (negation) hay lấy phần bù (complement) của các khái niệm, hạn chế giá trị (hạn chế với mọi - universal restriction), hạn chế tồn tại (existential resctriction), v.v.. Các tạo tử khác có thể còn bao gồm các hạn chế đối với các vai trò thường thấy trong các quan hệ nhị phân, ví dụ, tính đảo (inverse), tính bắc cầu (transitivity), chức năng (functionality), v.v.. Đặc biệt đối với phép giao và phép hợp, lôgic mô tả sử dụng các ký hiệu  \sqcap  và  \sqcup  để phân biệt chúng với ∧ và ∨ trong lôgic bậc nhất.
Dưới đây là một ví dụ về định nghĩa cú pháp của lôgic mô tả AL.
một khái niệm nguyên tử là một khái niệm-AL;
khái niệm đỉnh ( \top ) là một khái niệm-AL;
khái niệm đáy ( \bot ) là một khái niệm-AL;
phần bù của một khái niệm-AL C cũng là một khái niệm-AL (ký hiệu là ¬C);
giao của hai khái niệm-AL C và D cũng là một khái niệm-AL (ký hiệu là  C\sqcap D);
nếu C là một khái niệm-AL và R là một tên vai trò, thì ∀R.C (hạn chế giá trị) cũng là một khái niệm-AL;
nếu R là một tên vai trò, thì  \exists R.\top  (hạn chế tồn tại) cũng là một khái niệm-AL.
Ví dụ,  A\sqcap B là một khái niệm-AL, nhưng  A\sqcup B không phải. Còn nữa,  \exists S.\top  là một khái niệm-AL, nhưng  \exists S.A thì không phải.
Ngữ nghĩa

Ngữ nghĩa của lôgic mô tả được định nghĩa bằng cách giải nghĩa các khái niệm như là các tập hợp gồm các cá thể, và các vai trò như là các tập gồm các cặp cá thể. Các cá thể đó thường được cho là thuộc một miền xác định cho trước. Sau đó, ngữ nghĩa của các khái niệm và vai trò không nguyên tử được định nghĩa theo các khái niệm và vai trò nguyên tử. Điều này được thực hiện bằng một định nghĩa đệ quy tương tự như trong cú pháp.
Ví dụ, cho trước miền xác định là một tập hợp. Trước hết, một cách giải nghĩa các khái niệm-AL được định nghĩa qua các khái niệm và vai trò nguyên tử như sau:
Một khái niệm nguyên tử được giải nghĩa là một tập các cá thể - một tập con của miền xác định.
Mỗi vai trò nguyên tử được giải nghĩa là một tập các cặp cá thể thuộc miền xác định, nghĩa là một quan hệ nhị phân trên miền xác định. Trong trường hợp đó, nếu một cá thể x có quan hệ với y qua một vai trò R, thì y được gọi là một R-successor của x.
Tiếp theo, cách giải nghĩa này được mở rộng tới khái niệm và vai trò không nguyên tử, bằng cách sử dụng các tạo tử. Việc này được thực hiện như sau.
Khái niệm đỉnh được giải nghĩa là toàn bộ miền xác định.
Khái niệm đáy được giải nghĩa là tập rỗng.
¬C được giải nghĩa là tập của mọi cá thể trong miền xác định mà không thuộc về giải nghĩa của C.
Giao của hai khái niệm C và D được giải nghĩa là tập hợp giao, nghĩa là tập hợp gồm tất cả các cá thể trong miền xác định mà thuộc về cả giải nghĩa của C và giải nghĩa của D.
Hạn chế giá trị ∀R.C được giải nghĩa là tập gồm mọi cá thể trong miền xác định mà tất cả các R-successor của chúng (nếu có) đều nằm trong giải nghĩa của C.
Hạn chế tồn tại  \exists R.\top  được giải nghĩa là tập gồm mọi cá thể trong miền xác định mà cá thể đó có ít nhất một R-successor.
Do đó, theo cách giải nghĩa các khái niệm và vai trò như trên, nếu P được giải nghĩa là tập tất cả mọi người và F được giải nghĩa là tập tất cả phụ nữ, thì tập tất cả những người không phải phụ nữ có thể được biểu diễn bằng khái niệm
Mô hình hóa bằng lôgic mô tả

Trong các lôgic mô tả, có sự phân biệt giữa cái gọi là TBox (hộp thuật ngữ) và ABox (hộp khẳng định). Nói chung, TBox chứa các câu mô tả các cây phả hệ của các khái niệm (nghĩa là quan hệ giữa các khái niệm) trong khi ABox chứa các câu có nội dung xác định mỗi cá thể thuộc về vị trí nào trên cây phả hệ (nghĩa là quan hệ giữa các cá thể và các khái niệm). Ví dụ, khẳng định:
(1) Mỗi nhân viên là một người
thuộc về TBox, còn khẳng định:
(2) Hà là một nhân viên
thuộc về ABox. Lưu ý rằng sự phân biệt TBox/ABox trong lôgic mô tả không có ý nghĩa như vậy trong logic bậc nhất (hầu hết các lôgic mô tả đều có thể xếp vào loại lôgic này). Hai "loại" câu này được đối xử như nhau. Khi dịch sang lôgic bậc nhất, một tiên đề xếp loại như (1) chỉ là một hạn chế có điều kiện cho các mệnh đề đơn (khái niệm) mà trong đó chỉ có các biến. Rõ ràng, một câu thuộc dạng này không được ưu tiên đặc biệt so với các câu chỉ chứa các hằng như (2).
Vậy tai sao lại phân biệt như thế? Lý do chính là vì sự tách biệt đó có thể có ích khi mô tả và hệ thống hóa các quy trình-quyết định cho các lôgic mô tả khác nhau. Ví dụ, một bộ lập luận có thể xử lý TBox và ABox riêng rẽ, phần vì một số bài toán suy luận quan trọng được gắn chặt với chỉ một trong hai hộp (bài toán 'phân loại' liên quan đến TBox, bài toán 'kiểm tra thực thể' (instant checking) gắn với ABox). Một ví dụ khác là độ phức tạp của TBox có thể ảnh hưởng lớn tới hiện quả làm việc của một quy trình-quyết định cho trước của một hệ lôgic mô tả nào đó, mà không phụ thuộc vào ABox. Do đó, đây là một cách hữu dụng để có thể nói về phần cụ thể đó của cơ sở tri thức.
Lý do phụ là sự phân biệt đó là có nghĩa nếu nhìn từ góc độ người mô hình hóa cơ sở tri thức. Đối với họ, việc phân biệt giữa quan niệm của ta về các thuật ngữ/khái niệm trong thế giới (các tiên đề phân loại trong TBox) và các thể hiện cụ thể của các thuật ngữ/khái niệm đó (các khẳng định thực thể trong ABox.)
So sánh với OWL > Thuật ngữ

Một khái niệm trong lôgic mô tả tương ứng với một lớp(class) trong OWL.
Một vai trò trong lôgic mô tả là một tính chất(property) trong OWL.
Các bộ lập luận dành cho lôgic mô tả

Có một số bộ lập luận (reasoner) để làm việc với OWL và lôgic mô tả. Dưới đây là một số chương trình thông dụng nhất:
CEL - bộ lập luận viết bằng LISP, là phần mềm tự do cho sử dụng phi thương mại.
Cerebra Engine Lưu trữ 2006-04-19 tại Wayback Machine - bộ lập luận thương mại viết bằng C++.
FaCT++  - phần mềm tự do mã nguồn mở viết bằng C++.
KAON2 - phần mềm tự do cho mục đích phi thương mại, viết bằng Java.
MSPASS - phần mềm tự do mã nguồn mở viết bằng C++, dành cho nhiều hệ lôgic mô tả.
Pellet - phần mềm tự do mã nguồn mở viết bằng Java.
RacerPro bộ lập luận viết bằng LISP, phần mềm thương mại (có dùng thử miễn phí và giấy phép cho công việc nghiên cứu)
Các công cụ khác có liên quan dành cho Lôgic mô tả:
Protégé - hệ soạn thảo bản thể và khung làm việc cho cơ sở tri thức, có thể sử dụng các bộ lập luận lôgic mô tả cho phép giao diện DIG cho việc kiểm tra tính nhất quán (consistency check), phần mềm tự do mã mở.
Cài đặt DIG - một giao diện XML cho các hệ lôgic mô tả, được khuyên dùng bởi DL Implementation Group (nhóm cài đặt lôgic mô tả).
Büyükkaramuklu, Pınarbaşı

| Büyükkaramuklu |
| --- | --- |
—  Xã  —
 
BüyükkaramukluVị trí ở Thổ Nhĩ Kỳ
Quốc gia:  Thổ Nhĩ Kỳ
Tỉnh: Kayseri
Huyện: Pınarbaşı
Dân số (2008)
 • Tổng cộng: 98 người
Múi giờ: EET (UTC+2)
 • Mùa hè (DST): EEST (UTC+3)
Mã bưu chính: 38710 
Büyükkaramuklu là một xã thuộc huyện Pınarbaşı, tỉnh Kayseri, Thổ Nhĩ Kỳ. Dân số thời điểm năm 2008 là 98 người.
Chú thích

↑  “Cities, towns and villages in Kayseri”. Viện thống kê Thổ Nhĩ Kỳ. Truy cập ngày 17 tháng 9 năm 2012.[liên kết hỏng]
Orthorrhynchidium planifrons

| Orthorrhynchidium planifrons> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
Ngành (divisio): Bryophyta
Lớp (class): Bryopsida
Phân lớp (subclass): Bryidae
Bộ (ordo): Hypnales
Họ (familia): Pterobryaceae
Chi (genus): Orthorrhynchidium
Loài (species): O. planifrons
Danh pháp hai phần
Orthorrhynchidium planifrons (Renauld & Paris) Renauld & Cardot, 1909 
Orthorrhynchidium planifrons là một loài Rêu trong họ Pterobryaceae. Loài này được (Renauld & Paris) Renauld & Cardot miêu tả khoa học đầu tiên năm 1909.
Chú thích

↑  The Plant List (2010). “Orthorrhynchidium planifrons”. Truy cập ngày 10 tháng 8 năm 2013.