Ontify
⌘
S
⌘
S
Share
Coq
Family name.
Statements about
Coq
Instance Of
Family Name
Different From
Native Label
Coq
Writing System
Latin Script
Coq
Criterion Used
:
Family Name Has to Use a Different Item than Disambiguation Page
