Artificial intelligent assistant

How to express "exactly one" in the universe of discourse? Lets say we have a proposition: There is exactly one car parked out side that is black. How can I express this in the universal discourse?

There are many ways to say it. For one thing, it very much depends on the predicate symbols available. Let $C(t)$ stand for $t$ is a car that is parked outside, and $B(t)$ be the predicate that says $t$ is black. So we want to say that there is an $x$ which is a car parked outside, and which is black, and such that for any $y$, if $y$ is a car that is parked outside, and $y$ is black, then $y=x$. Here goes: $$\exists x((C(x)\land B(x))\land \forall y((C(y)\land B(y))\longrightarrow (y=x))).$$

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 5974626c99cc3834d0b8543c1a25daed