Create sumo2.md

LD2/OWL/class3/sumo2.md

@@ -0,0 +1,40 @@
+google
+## 1
+
+В Suggested Upper Merged Ontology (SUMO) все перечисленные вами понятия (за исключением специфического уточнения для классов) относятся к категории Abstract (Абстрактные сущности).  
+Корневой элемент онтологии Entity делится на два непересекающихся класса: Physical (Физические объекты и процессы) и Abstract. [1](https://dl.acm.org/doi/pdf/10.1145/505168.505170), [2](https://en.wikipedia.org/wiki/Suggested_Upper_Merged_Ontology)  
+Ниже приведено описание каждого из этих базовых понятий в рамках архитектуры SUMO:
+
+1. Quantity (Количество)
+
+Quantity в SUMO обозначает любое свойство или признак, который можно измерить или посчитать. Важно, что это числовое выражение не зависит от конкретной системы измерения (например, метров или футов). [1](https://www.researchgate.net/figure/Top-level-SUMO-concepts_fig1_228690273)
+- Подклассы: Делится на Number (числа, такие как целые или вещественные) и PhysicalQuantity (физические величины, привязанные к единицам измерения, например, скорость, длина или масса).
+
+2. Proposition (Пропозиция / Суждение)
+
+Proposition выражает смысловое или информационное содержание. Это абстрактная сущность, которая несет в себе конкретное утверждение о мире и может быть истинной либо ложной. [1](https://inariksit.github.io/cclaw-zettelkasten/sumo.html), [2](https://www.researchgate.net/figure/Top-level-SUMO-concepts_fig1_228690273)
+- Особенность: Важно отличать само суждение от его языкового выражения (предложения или строки текста). Одно и то же суждение (Proposition) может быть записано на русском, английском или на языке логики SUO-KIF. [1](https://dl.acm.org/doi/pdf/10.1145/505168.505170)
+
+3. Attribute (Атрибут)
+
+Attribute представляет собой качественные характеристики или свойства, которыми могут обладать сущности. В отличие от Quantity, атрибуты описывают свойства, которые нельзя напрямую измерить числами. [1](https://www.e-informatyka.pl/attach/e-Informatica_-_Volume_10/eInformatica2016Art3.pdf)
+- Пример: Цвета (Red, Blue), социальные роли (Plumber, Teacher) или черты характера являются экземплярами класса Attribute. В SUMO связь сущности с атрибутом задается предикатом (attribute Entity Attribute). [1](https://inariksit.github.io/cclaw-zettelkasten/sumo.html)
+
+4. Relation (Отношение)
+
+Relation — это математическое или логическое отношение, которое связывает между собой две или более сущностей. Отношения определяют структуру и правила взаимодействия элементов в онтологии. [1](https://en.wikipedia.org/wiki/Suggested_Upper_Merged_Ontology)
+- Подклассы:
+	- Predicate (Предикаты) — возвращают логическое значение (истина/ложь), например, равенство или пространственное положение.
+	- Function (Функции) — принимают аргументы и возвращают конкретную сущность (например, функция «отец от Х» вернет человека).
+
+5. Set (Множество) и Class (Класс)
+
+В SUMO эти понятия тесно связаны, но имеют фундаментальное логическое различие:
+- Set (Множество): Математическое множество в классическом понимании (теория множеств Цермело-Френкеля). Множество полностью определяется своими элементами (экстенсионально). Если у двух множеств одинаковые элементы, то это одно и то же множество.
+- Class (Класс): Понятие, определяемое интенсионально — то есть через общее свойство или правило, которому должны соответствовать его члены. Класс может быть пустым или содержать элементы. Связь объекта с классом задается предикатом (instance Entity Class).
+
+Если вы проектируете базу данных или пишете аксиомы, какой именно аспект этих категорий вас интересует? Я могу помочь вам:
+- Написать синтаксические правила на SUO-KIF для связи Attribute и Relation
+- Показать примеры выражения предикатов через множества (Set)
+- Разобрать иерархию подклассов для любого из этих элементов [1](https://arxiv.org/pdf/2305.07903), [2](https://dl.acm.org/doi/pdf/10.1145/505168.505170), [3](https://en.wikipedia.org/wiki/Suggested_Upper_Merged_Ontology), [4](https://link.springer.com/chapter/10.1007/978-3-031-43369-6_14)
+