Domanov О. . А. Things, Properties, Relations in Type-Theoretical Ontology. RL 2025, 6, 83-92.