8.3 Quiz: Concept types

Question:

Which of the following is not a kind of type label?

Choose an answer:
A primitive type label
A lambda expression
A defined type label

Hints at: 8.1 Concept types.

Question:

What is a defined type label?

Choose an answer:
A monadic lambda expression
A dyadic lambda expression
A triadic lambda expression
A lambda expression with any valence

Hints at: 8.1 Concept types.

Question:

Can a concept type be anything other than a type label?

Choose an answer:
Yes
No

Hints at: 8.1 Concept types, 8.2 Examples of type labels.

Question:

Can there be 0 primitive types in a type hierarchy?

Choose an answer:
Yes
No

Hints at: 8.1 Concept types.


Prev: 8.2 Examples of type labels
Up: 8 Ontology in conceptual graphs
Next: 8.4 Relation types