Quiz 8
Condições de conclusão
\( Car(myCar) \)
\( driveAxle(myCar, axle1) \)
\( driveAxle(myCar, axle2) \)
Vencimento: segunda-feira, 13 nov. 2023, 00:00
Escolha uma questão?
- Das características abaixo, quais uma propriedade do tipo DataProperty pode ter? Explique.
- reflexive
- transitive
- functional
- symmetric
- inverses
- Usando os axiomas abaixo, é possível determinar se o myCar é um FourByFour? Explique.
\( FourByFour \subseteq Car\)
\( Single \subseteq Car \)
\( Single \subseteq \leq _{1} driveAxle. T \)
\( Single \subseteq Car \)
\( Single \subseteq \leq _{1} driveAxle. T \)
\( Car(myCar) \)
\( driveAxle(myCar, axle1) \)
\( driveAxle(myCar, axle2) \)
\( axle1 \neq axle2 \)