"is a"에 표준 기호가 있습니까?

Question

간단한 질문입니다. "is a"관계에 대해 허용되는 표준 기호가 있습니까? 나는 수학에서 ⊆ - 부분 집합, ⊂ - 적절한 부분 집합, ∈ - 상징 요소가 있다는 것을 알고있다. 나는 그것들 중 하나를 사용 하는가, 아니면 더 많은 코드를 사용할 것인가?

이것은 sedan === car으로 작성된 진술에 응답하려고 시도한 때였으며 나는 ===에 사용할 더 좋은 기호가 무엇인지 궁금했습니다.

Answer 1

내가 이해하는 한, 당신은 intensional membership 기호를 찾고 있습니다. 확장자가 자연이기 때문에 전통적인 집합 이론 "ε"을 사용하고 싶지 않습니다.

오른쪽, 설정 이론 "∈"(뿐만 아니라 집합 이론 자체)에 의한 이러한 공리에 신장이다

1. ∀P∃A∀X (X∈A ⇔ P (X)) - 매우 순진한 형식의 이해력 공리,
2. ∀A∀B (∀X (X∈A ⇔ X∈B) ⇔ A = B) - 내구성의 공리.
집합 이론의 전문 용어에서

는 하나 이런 식으로 뭔가 작성할 수 있습니다

• my_sedan ∈ 자동차을, 또는

• my_sedan ∈ {X : 자동차 (X)}, 또는

• 자동차 (my_sedan).

"intensional membership"에 대한 표준 기호는 허용되지 않습니다. 당신은 시도 할 수 있습니다 :

1. my_sedan : 자동차 - type theory 방식으로;

2. my_sedan의 η 자동차-here 또는 here을 사용;

3. my_sedan 자동차 - RDF 1.1 Turtle Syntax과 같이;

4. my_sedan cop. 자동차.