Подобным конструированием формальных языков, требуемых для нужд формальной онтологии, занимаются Б. Смит и К. Маллиган, стремясь при этом избежать «логизации», т.е. стремясь строить языки на совершенно иных основаниях, в отличие от того, как это делается в логике, соблюдая тем самым различие между формальной логикой и формальной онтологией, о котором говорил Гуссерль. Так, в работе [Smith Mulligan 1983] они разрабатывают онтологический язык типа диаграмм Венна, который можно представить следующим образом.
(1) Два объекта s и t существуют и они материально перекрываются:
| (2) Два объекта s и t существуют и они раздельны: |
|---|
 |
(3) Две целостности тождественны:
(4) Целостность .v является собственной частью второй целостности t:
(5) Онтологический вывод
(7)
Во второй части своей работы они предлагают еще одну версию языка для формальной онтологии, так называемый онтологический язык зависимостей, основные моменты которого можно представить следующим образом.
Онтологический язык зависимостей
Момент = абстрактно выделимые, но материально неотделимые части материальной вещи (от немецкого das Moment, обычно переводимого как «элемент», или «фактор», и контрастирующего с der Moment, обозначающего момент или мгновение времени).
(8)
s
t -
Интегральное целое s является частью интегрального целого t.
| (9) Односторонняя зависимость: | |
|---|---|
| -1 | |
| 1 | а |
| 1 | |
| ■ | |
Специфический синяк, синева или баронский титул основывается или зависит от его носителя, Альфредо.
| -1 | |
| 1 | |
| 1 | а |
| ■ | |
| Мереологическая разделенность | |
(Ю) Ъ _
(П) У
| -1 | -1 | |
| 1 | 1 | |
| 1 | а | |
| 1 | 1 |
Суждение j (специфический ментальный акт суждения, осуществленного Альфредо в некоторый момент) основывается на определенной
компетенции (включающей знание языка, в котором j формализовано). которая в свою очередь основывается на Альфредо.
(12) Взаимная зависимость
Муж Ганс и жена Эрна взаимно основываются друг на друге. Взаимная зависимость северного и южного полюсов магнита. (13) Реляционная зависимость
s
| 1- | -1 | ||
| 1 | 1 | ||
| h | 1 | 1 | е |
| 1_ | _1 | ||
| Фехтование на мечах между Гансом и Эрной (14) | |||
| 1- | -1 | ||
| 1 | 1 | ||
| а | 1 | 1 | Ъ |
| 1____ | ___J |
Материальное отношение состоит, в сущности, из требования (с) Бернадетто к Альфредо, взаимно основанное на обязательстве (о) со стороны Альфредо по отношению к Бернадетто.
Моменты протяженности
(16) с е
Момент цвета не может существовать иначе как цвет некоторого момента визуального диапазона, который в свою очередь не может существовать иначе как носитель некоторого цвета.
(17)
 |
| Каждый момент цвета выражает конститутивный момент оттенка, яркости и насыщенности. Оттенок цвета не может по своей природе существовать иначе как ограниченный некоторой яркостью и насыщенностью: яркость и насыщенность не могут существовать иначе как ограниченные некоторым оттенком. |
d
Момент тона зависит от некоторого момента темпорального диапазона (каждый актуально существующий тон имеет некоторую длительность).
 |
| Тон также проявляет конститутивные моменты (высота, тембр и громкость), взаимно зависящие друг от друга. |